术语slug: g-del-s-incompleteness-theorems

哥德尔不完备定理

Gödel's Incompleteness Theorems

哥德尔 1931 年提出的两条元数学定理，证明任何足够强的形式系统中存在无法判定真伪的命题

收录情报动态

共 1 篇 · 第 1/1 页

Hacker News AIT2·基座大模型

71 分2026/11/14

研究者借助 AI 对库尔特·哥德尔遗留的 1009 页密集手稿进行识别与形式化处理，其中大量内容以已废弃的速记符号书写。据称这批手稿中蕴含数百条此前从未公开的已证明定理，被视为数学史与 AI for Science 交叉的标志性进展。