可计算性，在图灵机之前【人工智能

原帖：https://www.bilibili.com/video/BV1r39...

从如何获取数学真理出发，在梳理了「可计算性」理论的发展史之后，我们终于抵达了「图灵机」。
而这也是现代计算机和人工智能诞生的前夜。

文字版：
GoneMeme.com/archives/7737