原文：科学和哲学中的两种根本信念：图灵信念和哥德尔信念
巅峰对话：哥德尔论图灵【心灵与机器：论可计算主义（完结篇）】
雾海中的漫游者    阅160    转8
可计算性：希尔伯特，哥德尔，图灵
taotao_2016    阅105
巅峰对话：哥德尔论图灵（连载二）
13916145554    阅72    转7
哥德尔定理及其哲学义蕴_
老域    阅993    转34
科学松鼠会 ? 计算的极限（五）：有限的障壁
芥舟    阅209    转9
算法系列教程02-从罗素悖论到图灵机
Lcbfki7jfgtrtw    阅94    转8
人工智能的逻辑极限
致虚守静666    阅100    转8
“不确定性问题”（Nondeterministic Problem，NP）与＇哥德尔不完全定理“
工农子弟兵    阅78    转4
计算机科学史前史简评：从莱布尼兹开始
haosunzhe    阅119    转3
清华大学教授：正视人工智能的“不能”
只摘不看    阅70    转2
数学的任何基础都必定只是一座纸牌屋
阿里山图书馆    阅7    转3
Kolmogorov复杂度(转)
dbn9981    阅439
宇宙是个计算机吗？｜Wolfram与他的「计算等价性原理」
黄元章dk9nvwne    阅643    转3
复杂性：混沌性的局部与整体之间 的非线性形式
东方文捷    阅14    转3
终极算法无法超越哥德尔不完全性定理
霍振丽    阅1316    转7
数学将被证明是错的，如果这程序停止运行
长沙7喜    阅142    转5
255期 | 贾开：“皇帝新脑”与强人工智能批判
颐源书屋    阅358    转6
刘晓力 | 计算主义质疑
yazhongwang    阅309    转5
邱奇-图灵论题
天于永在    阅531    转2
量子物理+复杂性科学+可计算性理论=？
lindan9997    阅81    转2
科学松鼠会 ? 计算的极限（四）：机械计算的圭臬
UNIVERSSKY    阅332    转11
数学的不完美之美——阿兰·图灵与图灵机
万语千言525    阅263    转10
《时间简史》人类凭借形式逻辑不可能完全理解这个世界”
我的书摘0898    阅196    转4
神经网络与图灵机的复杂度博弈
sa8ki    阅127    转2
如何通俗地解释停机问题（Halting Problem）？
pgl147258    阅3853    转11
数学核心悖论让量子物理学难题无解
timtxu    阅126    转10
计算复杂性理论
liluvu    阅441    转6
逻辑和计算机
灵山白水    阅1451    转17
图灵社区 : 图书 : 图灵的秘密：他的生平、思想及论文解读
james在温州    阅56    转2
超越数学的判定——通用图灵机的诞生
返朴    阅47    转7