人的思维跳不出图灵机的“五指山”？顾森
赛先生
2022-06-17 17:58:58转自公众号：数学文化http://mp.weixin.qq.com/s?__biz=MzA3Nzc1OTY1OQ==&mid=2652164895&idx=1&sn=ee28b0a486e8a33f0212ef77c7...撰文｜顾森最近读完了The Annotated Turing一书，第一次完整地阅读了图灵最经典的那篇论文，理解了图灵机提出的动机和由此带来的一系列结论。
不过，这本书的最大价值，则是让我开始重新认识和思考这个世界。在这里，我想把我以前积累的哲学观点和最近一些新的思考记下来，与大家一同分享。
在同一时代,美国数学家阿隆佐•邱奇创立了λ算子(λ-calculus),用数学的方法去阐释“机械过程”的含义。后来人们发现,图灵机和λ算子是等价的,它们具有相同的表达能力,是描述“可计算性”的两种不同的模型。