【20世紀美國數學家●伯克霍夫，G.D.(Birkhoff，GeorgeDavid)】

楊籍富

【20世紀美國數學家●伯克霍夫，G.D.(Birkhoff，GeorgeDavid)】

 

出生年代：1906~1978

國籍：美國

著作： 主要貢獻在邏輯學和數學基礎方面。

 

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

 

這一著名結果發表在1931年的論文中。

 

他還致力於連續統假設的研究，在1930年採用一種不同的方法得到選擇公理的相容性証明。

 

三年以後又証明了﹝廣義﹞連續統假設的相容性定理。

 

並於1940年發表。

 

他的工作對公理集合論有重要影響，而且直接導致了集合和序數上的遞歸論的產生。

 

生平： 奧地利─美國數學家、邏輯學家。

 

1906年4月28日生於捷克克斯洛伐克的布爾諾，1978年1月4日卒於美國普林斯頓。

 

早年在維也納大學攻讀物理、數學，1930年獲博士學位。

 

1938年在美國普林斯頓高等研究所任職，1948年加入美國籍。

 

資料出處：網站名稱--稱狼居WolfClub

 

引用：http://140.128.17.1/mkuo/%E6%95% ... 0/america.htm#Maria