递归理论
逻辑
备选标题:递归函数理论,理论的算法
了解这个话题在这些文章中:
主要参考
-
在历史的逻辑:递归函数理论和可计算性
除了证明理论和模型理论,当代的第三个主要区域是递归函数理论和可计算性逻辑。专业的工作尽可能多的计算机科学属于逻辑。起源…
阅读更多
克林的贡献
元逻辑
-
在元逻辑:发现正式的数学系统
…递归理论的发展的结果,现在可以不仅证明某些类的问题是机械地解决(可以没有理论)而且某些其他机械无法解决(或绝对无法解决的)。这样的不可解性的最著名的例子是…
阅读更多
