fbpx
维基百科

希爾伯特第二問題

希爾伯特第二問題,是希爾伯特的23個問題之一,即關於一個公理系統相容性的問題,也就是判定一個公理系統內的所命題是彼此相容無矛盾的,希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。

奧地利數學家库尔特·哥德尔Kurt Friedrich Gödel)在1930年證明了哥德尔不完备定理Gödel's incompleteness theorems),粉碎了希爾伯特的夢想。

參見 编辑

希爾伯特第二問題, 此條目没有列出任何参考或来源, 2018年1月10日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 是希爾伯特的23個問題之一, 即關於一個公理系統相容性的問題, 也就是判定一個公理系統內的所命題是彼此相容無矛盾的, 希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性, 奧地利數學家库尔特, 哥德尔, kurt, friedrich, gödel, 在1930年證明了哥德尔不完备定理, gödel, incomple. 此條目没有列出任何参考或来源 2018年1月10日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 希爾伯特第二問題 是希爾伯特的23個問題之一 即關於一個公理系統相容性的問題 也就是判定一個公理系統內的所命題是彼此相容無矛盾的 希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性 奧地利數學家库尔特 哥德尔 Kurt Friedrich Godel 在1930年證明了哥德尔不完备定理 Godel s incompleteness theorems 粉碎了希爾伯特的夢想 參見 编辑希尔伯特计划 哥德尔不完备定理 nbsp 这是一篇关于希爾伯特的23個問題的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 希爾伯特第二問題 amp oldid 77161261, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。