“领先于时代”：人工智能帮助揭开隐藏在改变数学的人笔记本中的发现

原文：‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths

库尔特·哥德尔留下了 1009 页密密麻麻的文字——其中大部分都是过时的速记——现在据说包含数百个已证明的定理奥地利逻辑学家库尔特·哥德尔是 20 世纪最具原创性的思想家之一。他于 1931 年发表的两个不完备性定理彻底改变了数学并为数字时代铺平了道路。在 20 世纪 30 年代取得开创性成果之后，Göd

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。