Math 版 (精华区)

发信人: zzzzz (思念), 信区: Math
标  题: 哥德爾﹝1906-1978﹞
发信站: BBS 哈工大紫丁香站 (Sat Aug 21 17:08:43 2004)

哥德爾﹝1906-1978﹞
        奧地利─美國數學家、邏輯學家。1906年4月28日生於捷克克斯洛伐克的布爾諾，
1978年1月4日卒於美國普林斯頓。早年在維也納大學攻讀物理、數學，1930年獲博士學位
。1938年在美國普林斯頓高等研究所任職，1948年加入美國籍。主要貢獻在邏輯學和數學
基礎方面。 
  

        在本世紀初，他証明了形式數論﹝即算術邏輯﹞系統的不完全性定理：即使把初
等數論形式化之後，在這個形式的演繹系統中也總可以找出一個合理的命題來，在該系統
中既無法証明它為真，也無法証明它為假。這一著名結果發表在1931年的論文中。 
  

        他還致力於連續統假設的研究，在1930年採用一種不同的方法得到選擇公理的相
容性証明。三年以後又証明了﹝廣義﹞連續統假設的相容性定理。並於1940年發表。他的
工作對公理集合論有重要影響，而且直接導致了集合和序數上的遞歸論的產生。 


※ 来源:·哈工大紫丁香 http://bbs.hit.edu.cn·[FROM: 61.54.231.*]