发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“如何通俗地解释停机问题（Halting Problem）？” 的更多相关文章
算法系列教程02-从罗素悖论到图灵机
计算的极限（二）：自我指涉与不可判定
信息时代的前尘往事（二）：两千年的接力赛
哥德尔定理及其哲学义蕴_
逻辑和计算机
“不确定性问题”（Nondeterministic Problem，NP）与＇哥德尔不完全定理“
人类数学中的结界，永远无法跨越的障碍！—哥德尔不完备性定理！
人工智能无法逾越的一条鸿沟——哥德尔不完备性定理
视频 | 数学核心的悖论：哥德尔不完备性定理
康托尔、哥德尔、图灵——永恒的金色对角线
巅峰对话：哥德尔论图灵（连载一）
今天是世界逻辑日 | 张建军：哥德尔不完全性定理及其意义辨析
计算机是数学家一次失败思考的产物
数学史上10个备受质疑的伟大时刻
故事里的思维方法
图灵停机问题，引出哥德尔不完备性定理，领悟异乎寻常的逻辑哲学
科学松鼠会 ? 计算的极限（五）：有限的障壁
不完美的世界才完美——读马兆远著《人工智能之不能》
12第12章
可计算性：希尔伯特，哥德尔，图灵
逻辑的极限与数学的困境，罗素用了362页才推导出1＋1＝2
逻辑的极限与数学的困境，罗素用了362页才推导出1 1=2
Kolmogorov复杂度(转)
只用文字把悖论的作用说清楚
悖论边缘的世界图景：从哥德尔不完全性定理到非严格决定论
哥德尔的证明，一个人不能既当演员又当观众——数学（四）
数学最让人难以理解的一点，就是它竟然可以让人理解
微博
【干货】这些年科学家玩过的人工智能
人工智能的逻辑极限
