【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
| 歡迎光臨 【五術堪輿學苑】 (http://124.156.177.65/) | Powered by Discuz! X3.1 |