著名数学家、逻辑学家哥德尔诞辰_工作

2021年5月4日11:59:31历史解密57阅读模式

1906年4月28日,库尔特·哥德尔出生于奥地利布尔诺。他是美籍奥地利裔著名数学家、逻辑学家和哲学家,1931年,他提出哥德尔不完全性定理,结束了近一个世纪来数学家们寻求能为全部数学提供严密基础公理的企图,平息了当时各数学哲学学派的争端,标志着20世纪数学的新开端。冯·诺依曼评价说:“哥德尔在现代逻辑中的成就是非凡的、不朽的——他的不朽甚至超过了纪念碑,他是一个里程碑,是永存的纪念碑。

库尔特·哥德尔1924年考入著名学府维也纳大学攻读物理,1926年转到数学系,并参加哲学小组活动。1930年获博士学位。

其博士论文证明了“狭谓词演算的有效公式皆可证”。之后在维也纳大学工作。1938年到美国普林斯顿高等研究院任职,1948年加入美国籍。

1953年成为该所教授。哥德尔发展了冯·诺依曼 和伯奈斯等人的工作,其主要贡献在逻辑学和数学基础方面,在数学基础研究要偏离轨道的时候,哥德尔提出了扭转乾坤的新思想.并以此推动了数理逻辑近60年的发展。