哥德爾

哥德爾（德文：Kurt Gödel），奧匈百諾人，公元一九零六年四月二十八日生。

年十九，入維也納大學習數。甚聰穎，深得其師韓恩賞識。越明年，恩薦之入「維也納學術圈」。年二十六，得證「不完備定理」，遂知名於世。及後，應斐布倫之邀，教習於紐約普林斯頓高等研究院。然得神經衰弱病於是時，遂至維也納之西方療養院。數年而愈，一九三七年夏，復教於維也納大學。越明年，證選擇公理相容於連續統假設及集論其他公理。年三十五，避納綷禍，輾轉流離，卒至美國，俄而復教習於普林斯頓高等研究院。旋證ZF公理系統相容於選擇公理。一九五三年，拜普林斯頓高等研究院教授。一九七六年，告老，復於一九七八年卒於美國普林斯頓，年七十二。