读过《永恒的图灵》 🌕🌕🌕🌕🌕
硬核图灵的继承者们，都是各领域大佬啊。部分章节没学数理逻辑是看不懂的。感觉最开始马丁·戴维斯的不可解性定理的证明和12章斯科特·阿伦森用“奈特不确定性”对“自由”进行数学形式化的部分还是值得看的。其实感觉很多东西玩来玩去到最后还是碰壁新世纪七大数学难题、哥本哈根解释、哥德尔不完备定理这些硬东西，由此也可以看出当年图灵的洞察力(其实香农也类似)，一抓全是核心问题，还能在好几个核心问题上做出开辟，祖师爷级别的思维真不一样，他们会对问题进行特别的解构，绕过纠缠的部分，然后由此构建出新东西。