文档介绍：科学大家星期六 2012 年 6 月 30 日 11
责编院蔡玉冰 gdkjb@
美编院晓阳
广东工程职业技术学院特约
影响世界历史的科学巨匠之
20世纪最伟大的数理逻辑学家
自幼聪慧
库尔特窑弗里德里希窑哥德尔渊Kurt
被人称为野为什么先生冶
FriedrichGodel冤数学家尧逻辑学家和哲学
家袁1906 年 4 月 28 日出生于捷克的布尔诺遥早年
1906年 4 月 28 日袁库尔野为什么先生冶(MrWhy)遥在维也纳大学修读理论物理尧基础数学袁后来转
特窑哥德尔出生于奥匈帝国 1912 年袁六岁的小哥德为研究数理逻辑尧集合论遥 1940 年代中将注意力
的布尔诺渊今属捷克斯洛伐尔进入布尔诺的巴黎学校上
投放在哲学上袁并参加哲学小组活动遥 1930 年获
克冤遥哥德尔的父亲在青年时学遥从 1916 年到 1924 年袁他
博士学位其博士论文证明了狭谓词演算的有
代即从维也纳迁移到兴旺的的学习成绩一直非常优秀袁遥野
纺织工业基地布尔诺定居袁特别是在数学尧语言和神学效公式皆可证冶遥
他富有自力更生的创业精方面表现尤为突出遥 1938 年到美国普林斯顿高等研究院任职袁
神袁后来成了那里一家主要然而袁幸福的生活并没 1948 年加入美国籍遥 1953 年成为该研究院所的
纺织厂管理方面的领导者遥有这样一直持续下去遥第一教授遥哥德尔发展了冯窑诺伊曼和伯奈斯等人的
哥德尔的母亲一家由莱茵河次世界大战直接影响了哥德工作袁其主要贡献在逻辑学和数学基础方面遥在
地区到布尔诺从事纺织工尔及其家人遥虽然布尔诺地 20 世纪初袁他证明了形式数论渊即算术逻辑冤系
业袁她曾在布尔诺一所法语区远离战争前线袁但战后袁奥
统的野不完全性定理冶院即使把初等数论形式化
学校读书袁受过较好的教育袁匈帝国解体了袁出现了新的
终生对文化事业保持兴趣遥国家院奥地利尧捷克斯洛伐之后袁在这个形式的演绎系统中也总可以找出
哥德尔的母亲生育了哥德尔克尧匈牙利等遥一个合理的命题来袁在该系统中既无法证明它
兄弟二人袁哥德尔的哥哥比随后袁1924 年袁哥德尔为真袁也无法证明它为假遥而其最杰出的贡献正
他大四岁袁后来成了一位放从布尔诺大学预科毕业袁然是哥德尔不完全性定理和连续统假设的相对协
射学家遥后到维也纳大学继续学习遥调性证明遥
哥德尔有一个幸福的童维也纳作为 1919 年新创立
年袁但他胆小又爱吵闹遥六七的奥地利共和国的首都袁是库尔特窑弗里德里希窑哥德尔
岁时患上的急性风湿性关节当时的政治尧经济尧文化中
炎袁危害了他的健康袁特别是心遥在维也纳大学里袁哥德尔
影响了他的心脏遥不过袁身体先学物理袁后主攻数学遥他参他并不赞成逻辑实证论观定居美国
上的疾病并没有遮挡住哥德加了以攻读 B援罗素的专著点袁随后便逐渐离开了这一号称野最伟大的数理逻辑学家冶
尔的聪慧所散发出的光芒袁叶数学的哲学导论曳为中心的小组袁而他离开施利克小组
他的才智很早就显露了出讨论班遥在 1926 年至 1928 的主要原因是当时哥德尔已
来遥由于他经常提出各式各年期间哥德尔也参加了维也建立了自己的独到的哲学观之所以称哥德尔为 20 世纪源不在于实无穷袁而在于对实无
样的