大卫·希尔伯特和策梅洛-弗兰克尔集合论

快捷方式: 差异，相似，杰卡德相似系数，参考。

大卫·希尔伯特和策梅洛-弗兰克尔集合论之间的区别

大卫·希尔伯特 vs. 策梅洛-弗兰克尔集合论

大卫·希尔伯特（David Hilbert，），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。希尔伯特1862年出生于哥尼斯堡（今俄罗斯加里宁格勒），1943年在德国哥廷根逝世。他因为发明了大量的思想观念（例：不变量理论、、希尔伯特空间）而被尊为伟大的数学家、科学家。 他提出了希尔伯特空间的理論，是泛函分析的基礎之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于：1900年，在巴黎的国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。 希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。. 梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.

哥德尔不完备定理

在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性都可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。.

哥德尔不完备定理和大卫·希尔伯特 · 哥德尔不完备定理和策梅洛-弗兰克尔集合论 · 查看更多 »

恩斯特·策梅洛

恩斯特·策梅洛（德语：Ernst Friedrich Ferdinand Zermelo，），生于柏林，是德国数学家，其工作主要為数学基础，因而对哲学有重要影响。.

大卫·希尔伯特和恩斯特·策梅洛 · 恩斯特·策梅洛和策梅洛-弗兰克尔集合论 · 查看更多 »