作者apollo_749

感謝指正...

不過，哥德爾這位大哥，我倒真是沒聽過.....

剛剛查了一下
http://www.edp.ust.hk/math/history/3/3_157.htm

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


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


他還致力於連續統假設的研...