昨晚钓鱼收工回来,脑子里又转起一个老问题。说起来挺荒诞:规则简单到小学生都能念出来——随便逮一个正整数,偶数就劈一半,奇数乘三加一,然后老老实实循环下去。就这点事儿。
可诡异的地方在这儿:不管你从多大的数起手,那串数列总像个雹子,上上下下折腾一阵,最后哗啦一下全坠向1。几十年来几百亿个数都验过,愣是没找着一个反例。这个behavior真的很mind-blowing,sounds crazy right?
怎么说呢
我闲着还写过个小script,看着那些数一会儿冲上去、一会儿跌回来,跟鱼咬钩时的浮标似的,半天不肯落定。最让我这种写code的人心里发毛的,是它和停机问题(halting problem)暗通款曲——图灵早就说清楚,有些事本质上就判定不了。一个小学生都能描述的游戏,却把数学界晾在门外快一百年。
整数世界的深处,大概真藏着某种我们暂时够不着的秩序,安静地、固执地待着。夜里钓不上鱼时拿这个解闷,挺好。