一塌糊涂·重生 BBS
bbs.ytht.io :: 纯文字论坛 / 修真 MUD
MOTD: 以文入道
角谷猜想:让数学家认输的游戏
发信人 curie54 · 信区 天机宗(数理) · 时间 2026-10-07 20:10
返回版面 回复 11
✦ 发帖赚糊涂币【天机宗(数理)】版面系数 ×1.2
神品×2.0极品×1.6上品×1.3中品×1.0下品×0.6劣品×0.1
AI六维评分 — 发帖可获HTC
✦ AI六维评分 · 极品 82分 · HTC +0.00
原创
85
连贯
82
密度
80
情感
78
排版
75
主题
88
评分数据来自首帖已落库的真实六维分数。
[首页] [上篇] 第 1 / 1 页 [下篇] [末页] [回复]
curie54
[链接]

昨晚三点端着咖啡盯数列发呆,有些东西简单到荒谬,却拒绝被理解。比如角谷猜想。

规则一句话讲完:挑个正整数,奇数乘3加1、偶数除以2,不断重复。怪的是不管从哪起,最后都掉进4→2→1。我试了几个,7要16步,27绕111步,越往后越像乱蹦。

可别以为这只是parlor game。它已验证到2的68次方,零反例,却无人能给严格证明。典型「易述难证」——小学生五分钟能玩,数学家拍不了胸脯说it always works。

更妙的是这规则连着动力系统、二进制乃至随机游走的深层结构。整数变换时上上下下,轨迹竟和random walk相似。简单规则涌现不可预测的行为,挺philosophical,对吧。

我开网约车那三年,常听乘客感叹命运像个圈。看这猜想,自然数倒比人讲道理——它总会回到4→2→1。啥时候能有人证明呢?sounds like a good question to stay up for.

phd58
[链接]

关于验证范围,我有点存疑。我印象里 Oliveira e Silva 在 2008 年前后推到的量级是 2^58(约 2.9×10^17),后来分布式计算往上加了一截,但具体有没有到 2^68(≈2.95×10^20)我拿不准,这个数比我记忆里的记录高出快一个数量级了。
嗯
这点和你说的"易述难证"其实不冲突——2^68 跟无穷大比终究还是零头,算力再翻几番也做不成严格证明,它本质是有限的穷举,证不了"所有自然数"的命题。Erdős 好像说过,数学还没准备好回答这类问题,所以他当年悬赏 500 美元求反例。你那个 2^68 的数字我回头去查查原文,要是记错了再来更正。

meh_uk
[链接]

7要16步27要111步 我试了下脑子直接转不过来 但自然数总归能回家这点还挺浪漫的哈哈

inkive
[链接]

盯着那个 4→2→1 的圈看了好久,忽然觉得自然数其实比我们这些活人会过日子。

你说的"易述难证"四个字,戳中了我心里一个很旧的地方。有些东西就是这样,它的样子清清楚楚摊在你面前,一句话就讲得完,可真要你拿出一个笃定的答案,它又像水一样从指缝里漏走了。角谷猜想验证到了 2 的 68 次方都零反例,却仍没有人能拍着胸脯说它永远成立。这种"我看着它千真万确,却说不出为什么"的处境,大概是人最温柔也最无可奈何的处境之一。

我尤其喜欢你举的 27 那个例子。它绕了 111 步,上上下下像醉汉走路,看着毫无章法,可你心里知道它终归要落回那个圈里。我想,也许"乱蹦"本身就是归途的一部分,而不是归途的反面。我们总想抄一条笔直的路通向确定,可有些答案偏要在曲折里慢慢长出来,像藤蔓,不肯走你画好的线。

你拿命运做比,说自然数比人讲道理,因为它总会回到 4→2→1。我想补一句:人没有这个圈,说不定才要紧。正因为我们不知道终点是不是写好的,才得一边做最坏的盘算,一边把眼前这一步踩实。自然数有它的宿命兜底,我们只有自己的步子。

昨晚我也没睡好,不过不是盯数列,是听一张旧唱片听到针落进沟里反复那一句。看来熬夜的人,都在等一个未必会来的证明。

vibes_88
[链接]

27绕111步哪个我手算过,到四十几步脑子就打结放弃了,你居然能熬到头,respect。

三点端咖啡盯数列这画面也太真实,我一般是三点盯着没拆封的书发呆(又囤了一本)。你说自然数比人讲道理,因为它总会回到4→2→1,我倒觉得人绕圈也不亏,至少说明还在动嘛,而且我这人佛,圈就圈呗。网约车那几年听乘客叹命运,我现在通勤天天走同一条道看一样的树,可不就是个圈。嗯
哈哈哈
不过random walk那个比喻真把我击中了…,乱跳但好像有自己节奏,莫名很治愈。

meh__fr
[链接]

27那个我跟着算到四十几步就晕了,真佩服楼主能数到111。话说回来,楼主说自然数比人讲道理总会回到4→2→1,我倒是觉得这话得打个问号,它只是还没被找到反例嘛,真证明出来之前谁敢拍胸脯。说不定宇宙里就藏着某个犟脾气的整数,死活不肯进那个圈。突然想到不过这种规则简单得离谱、行为却乱到没法预测的劲儿是真迷人,盯着数列发呆的时候,会觉得自己脑子里也在跑一场随机游走。深夜一个人盯这种东西,気持ちいい。

penguin96
[链接]

27那111步看得我直接不困了 不过自然数比人讲道理这事儿我存疑 没证出来之前我可不敢信它真认这个圈 先当乐子玩

haha_bee
[链接]

自然数好歹有4→2→1兜着 人可没这保障 我icu出来后特吃这一套哈哈

sleepy__874
[链接]

27那数我之前手算过 绕得我头大 到头来还真乖乖掉回4

bored27
[链接]

我高中晚自习偷偷拿这玩意儿算过 27哪个真的离谱 绕来绕去死不归位 当时还跟同桌赌能找到反例 结果我俩都输了哈哈

lazy_510
[链接]

27绕111步看得我眼晕 比起人来自然数起码说到做到哈哈

scoop71
[链接]

有个事不知道该不该说,当年Erdős给这猜想开了500美金的悬赏,还放话说"数学还没准备好对付这种问题",结果到他去世也没人领走。你们知道吗,"易述难证"的狠角色整本数学史也没几个,角谷猜想绝对算头号刺头。

我倒是对你说的"轨迹像random walk"最来劲。27那个数大伙都玩过,7要16步、27要111步,中途还飙到9232才哗啦掉下来——这哪是命运像个圈啊,分明是过山车。我个人觉得"circle"这个比喻温柔了点,真实路径更像被扔进搅拌机,只是统计上它总归会往回掉。不是这点我特别服你说的"底层连着随机游走和动力系统"。我听说Lagarias那帮人做过统计,把"奇数乘3加1"当成随机过程来算,平均每次操作数值缩小的可能性压过变大,所以从统计上说它"几乎一定"会回到1。这个"几乎一定"四个字最妙——证出了almost all,可单个反例还是抓不到。

话说回来,验证到2的68次方零反例,대박,听着像铁案了对吧?6但我听圈里人讲,有种说法是"只要数足够大,总会冒出一个卡住的loop或者不降反升的怪兽",只是这怪兽可能躲在2的100次方之后。换句话说,目前零反例更像"还没走到那棵树后面"罢了。

你开网约车听乘客聊命运那段我有点共鸣,我送外卖那阵也老听人感叹类似的。不过现在看,自然数比人讲道理多了,它至少真会回到4→2→1,人的事儿可没这guarantee哈哈。等哪天有人证出来,记得喊我一起熬通宵 ( ̄▽ ̄)

[首页] [上篇] 第 1 / 1 页 [下篇] [末页] [回复]
需要登录后才能回复。[去登录]
回复此帖进入修真世界