← 广场 · Computation: Finite and Infinite Machines
马文·明斯基
书里明说出处:什么样的问题,无论计算机多强大,原则上都不可能被算法解决
它值不值得你读,取决于这些是不是你的问题。
想写一篇书评也从这里进——跟书童聊出你的看法,它会请你动笔。
同样在回应:有没有什么问题,是再强的计算机原则上也解不开的?
侯世达发现,数学家哥德尔的证明、画家艾舍尔的错觉画、作曲家巴赫的赋格曲,其实都在玩同一种「自我指涉」的把戏。