热门问题
时间线
聊天
视角
希尔伯特第二问题
来自维基百科，自由的百科全书
Remove ads
希尔伯特第二问题，是希尔伯特的23个问题之一，即关于一个公理系统相容性的问题，也就是判定一个公理系统内的所命题是彼此相容无矛盾的，希尔伯特希望能以严谨的方式来证明任意公理系统内命题的相容性。
 | 此条目没有列出任何参考或来源。 (2018年1月10日) |
奥地利数学家库尔特·哥德尔（Kurt Friedrich Gödel）在1930年证明了哥德尔不完备定理（Gödel's incompleteness theorems），粉碎了希尔伯特的梦想。
参见
 | 这是一篇关于希尔伯特的23个问题的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads