webjb

图灵机的基础是数理逻辑的递归论，

送交者: xing0gong 于 2026-07-27 10:41:50

回答: 讨论宇宙真理或逻辑时羊拉屎就显得力有不逮由于 2026-07-27 08:52:58

机器证明（自动证明）的基础是数理逻辑的证明论和模型论。也就是说现代计算机理论完全建立在数理逻辑的基础之上，甚至可以说是其重要的组成部分。那么在此之上的AI理所当然应该是数理逻辑的发展成果。如果有一天AGI被实现了。那么就是说数理逻辑创造出硅基生命。第二，集合论和逻辑主义究竟是谁成就了谁，谁是谁的的基础？对于我来说，这不好回答。我只能说，公理化集合论是用一阶谓词逻辑写成的。所以谁是谁的基础，不能简单而论。

阅读次数：78

所有跟贴:

加跟贴