【20世紀美國數學家●伯克霍夫，G.D.(Birkhoff，GeorgeDavid)】
本帖最後由 楊籍富 於 2013-1-5 05:06 編輯 <br /><br /><P align=center><STRONG><FONT size=5>【<FONT color=red>20世紀美國數學家●伯克霍夫，G.D.(Birkhoff，GeorgeDavid)</FONT>】</FONT></STRONG></P> <P><STRONG>出生年代：1906~1978<BR><BR>國籍：</STRONG><STRONG>美國<BR><BR>著作： 主要貢獻在邏輯學和數學基礎方面。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在本世紀初，他証明了形式數論﹝即算術邏輯﹞系統的不完全性定理：即使把初等數論形式化之後，在這個形式的演繹系統中也總可以找出一個合理的命題來，在該系統中既無法証明它為真，也無法証明它為假。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>這一著名結果發表在1931年的論文中。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>他還致力於連續統假設的研究，在1930年採用一種不同的方法得到選擇公理的相容性証明。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>三年以後又証明了﹝廣義﹞連續統假設的相容性定理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>並於1940年發表。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>他的工作對公理集合論有重要影響，而且直接導致了集合和序數上的遞歸論的產生。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>生平： 奧地利─美國數學家、邏輯學家。</STRONG>
<P><STRONG></STRONG> </P>
<P><STRONG>1906年4月28日生於捷克克斯洛伐克的布爾諾，1978年1月4日卒於美國普林斯頓。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>早年在維也納大學攻讀物理、數學，1930年獲博士學位。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>1938年在美國普林斯頓高等研究所任職，1948年加入美國籍。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>資料出處：網站名稱--稱狼居WolfClub</STRONG></P>
<P><STRONG></STRONG> </P>引用：<A href="http://140.128.17.1/mkuo/%E6%95%B8%E5%AD%B8%E5%AE%B6%E7%9A%84%E5%B0%8F%E6%95%85%E4%BA%8B/IV/20/america.htm#Maria" target=_blank>http://140.128.17.1/mkuo/%E6%95% ... 0/america.htm#Maria</A>
頁:
[1]