标签：图灵机
和图灵机相关的这个数字，已经大到整个宇宙原子都容不下了
衡量图灵机最大运行步数的海狸数纪录被刷新，一位神秘人突破了第六个海狸数的新下限，其数值大到难以用十进制表示，需用超复杂的五幂运算描述。海狸数即忙碌...
40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则
一群业余爱好者成功解决了困扰计算机科学家40多年的忙碌海狸难题，这一成就得到了数学家陶哲轩和计算机科学家Scott Aaronson的高度评价。忙碌海狸问题起源于1...
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
经过40多年的研究，计算机科学家们终于在“忙碌海狸”难题上取得了重大突破。这个突破得到了著名数学家陶哲轩的高度评价。“忙碌海狸”游戏是由数学家Tibor Radó...
