原文：可计算性：希尔伯特，哥德尔，图灵
哥德尔定理及其哲学义蕴_
老域    阅993    转34
科学松鼠会 ? 计算的极限（五）：有限的障壁
芥舟    阅209    转9
算法系列教程02-从罗素悖论到图灵机
Lcbfki7jfgtrtw    阅94    转8
“不确定性问题”（Nondeterministic Problem，NP）与＇哥德尔不完全定理“
工农子弟兵    阅78    转4
计算机科学史前史简评：从莱布尼兹开始
haosunzhe    阅119    转3
12第12章
太乙ocwfrzeutj    阅154
哥德尔的证明，一个人不能既当演员又当观众——数学（四）
ssyzwy    阅153    转4
一个无法证明的逻辑问题
残云伴鹤归    阅750    转28
数学的不完美之美——阿兰·图灵与图灵机
万语千言525    阅263    转10
人工智能的逻辑极限
致虚守静666    阅100    转8
清华大学教授：正视人工智能的“不能”
只摘不看    阅70    转2
巅峰对话：哥德尔论图灵（连载一）
13916145554    阅186    转9
如何理解哥德尔「不完备性定理」？为何它能冲击20世纪哲学_慧田哲学
rong_nirvana    阅240    转3
如何通俗地解释停机问题（Halting Problem）？
pgl147258    阅3853    转11
巅峰对话：哥德尔论图灵【心灵与机器：论可计算主义（完结篇）】
雾海中的漫游者    阅160    转8
科学和哲学中的两种根本信念：图灵信念和哥德尔信念
好人_haoren    阅22
走进无限美妙的数学世界
潇湘书院615    阅242    转6
计算的极限（二）：自我指涉与不可判定
eug    阅291    转15
超越数学的判定——通用图灵机的诞生
返朴    阅47    转7
科学松鼠会 ? 计算的极限（零）：逻辑与图灵机
whuhujiming    阅294    转9
逻辑的极限与数学的困境，罗素用了362页才推导出1＋1＝2
安喜的空间    阅31    转2
逻辑的极限与数学的困境，罗素用了362页才推导出1 1=2
zhangshoupen    阅38
孤独的破译者和他的计算机器
wdd166    阅385    转11
爱因斯坦和哥德尔
老夫不请自来也    阅811    转9
哥德尔纲领的若干版本
菌心说    阅80    转3
维基百科：希尔伯特规划(zslcn周生烈编译摘注评).doc
zslcn周生烈    阅86
不完美的世界才完美——读马兆远著《人工智能之不能》
云蔚志读书    阅68    转4
人类真的能掌握宇宙真理吗：罗素悖论与哥德尔不完备性定理
uczc68    阅1010    转31
哥德尔对数学做出的最主要的贡献（转载）
zshms    阅707    转28