数理逻辑和算法理论课件：数理逻辑主要内容的形成.pptx

数理逻辑主要内容的形成

1希尔伯特的四个中心问题和哥德尔的卓越贡献2数理逻辑主要内容的形成3哥德尔完全性定理4哥德尔不完全性定理目录哥德尔不完全性定理的历史意义5哥德尔的数学思想6

希尔伯特的四个中心问题和

哥德尔的卓越贡献4.1

4.1希尔伯特的四个中心问题和哥德尔的卓越贡献4.1.1希尔伯特提出了四个中心问题希尔伯特是形式公理主义的鼻祖，在有关数学基础问题三大派之争中提出了“证明论设想（希尔伯特规划）”，这是一种用数学方法研究“数学证明”的全新数学理论。其目的是试图一劳永逸地消除对数学基础可靠性的怀疑，将数学基础建立在公理集合论和他的证明论之上。1928年,在