Webtagr
前沿科技资讯摘要
QB64
搜索技巧
核手提箱
文字记录
海洋云增白
开源地图
Bliss
AI 搜索答案
深海沉船
自由职业
policy
小团队
颈挂空调
Chumby
个人电脑
极端主义
团队
世界
PostgreSQL
AI工具
证券
DirectX
防溢
DrawingPics
Zulip
儿童读物
化学
连续滚动
代码审查
三菱电机
更多
推荐
最新
详情
图灵是否证明了停机问题的不可判定性?
(
arxiv.org
)
原文:
[2407.00680] Did Turing prove the undecidability of the halting problem?
这篇论文探讨了通常认为图灵在 1936 年的论文“论可计算数...”中证明了停机问题的可计算不可判定性的说法是否准确,最终得出了一个细致的结论。
35
图灵
停机问题
可计算性理论
上一篇: GitHub - vslavik/diff-pdf: 一个用于直观比较两个 PDF 文件的简单工具
下一篇: 档案如何成就或毁掉哲学家的声誉
评论已经关闭!
返回首页