1931年哥德?tīng)栐诰S也納大學(xué)當(dāng)助教,這篇文章成為就職論文而受到了很高的評(píng)價(jià)。從1933年到1938年,他在維也納大學(xué)當(dāng)講師。1932年他到過(guò)哥丁根,見(jiàn)到過(guò)愛(ài)米·諾特、西格爾、甘岑等人。他沒(méi)見(jiàn)到早逝的天才厄布朗,但他們交換過(guò)信件,厄布朗的信中有最早的遞歸函數(shù)想法。但是厄布朗只收到哥德?tīng)栆环庑拧?/p>
1933年到1934年,哥德?tīng)柕谝淮蝸?lái)到普林斯頓大學(xué)高等研究院。他在這里見(jiàn)到丘奇、克林和羅塞爾。他在普林斯頓大學(xué)發(fā)表了《論形式數(shù)學(xué)系統(tǒng)的不可判定命題》的演講,這對(duì)后來(lái)美國(guó)研究遞歸論是極大的推動(dòng)。
1937年,哥德?tīng)栐诰S也納講授“公理化集合論”,這時(shí)他開(kāi)始集中力量研究這個(gè)題目。在他秋天來(lái)到高等研究院時(shí),他已經(jīng)對(duì)選擇公理的無(wú)矛盾性有所考慮,并把自己的思想同馮·諾依曼交談過(guò)。不過(guò),他的可構(gòu)造集的思想、廣義連續(xù)統(tǒng)假設(shè)和選擇公理與NGB系統(tǒng)的無(wú)矛盾性,一直到1938年秋天才在高等研究院講演,并在1938到1940年發(fā)表。這時(shí)他已經(jīng)開(kāi)始定居美國(guó)了。
1938年3月,希特勒兼并奧地利,這時(shí)哥德?tīng)杽倓偨Y(jié)婚。1939年9月,二次大戰(zhàn)爆發(fā),他于1939年底橫貫蘇聯(lián)的西伯利亞太鐵路經(jīng)日本到了美國(guó),從此再也沒(méi)有回奧地利。在美國(guó),除了1940年春季在圣母大學(xué)任教外,一直在普林斯頓高等研究院工作。由于研究院里有人反對(duì)和阻撓,直到1947年他才被批準(zhǔn)為常任研究員,1953年才成為教授。對(duì)于這樣偉大的數(shù)學(xué)家來(lái)說(shuō),得到這種稱(chēng)號(hào)的時(shí)間實(shí)在是太晚了。到這時(shí),他在數(shù)理邏輯方面的主要工作都已經(jīng)完成了,他的興趣已經(jīng)轉(zhuǎn)向其他方面了。
1947年到1951年,哥德?tīng)栭_(kāi)始注意和研究廣義相對(duì)論。他同愛(ài)因斯坦是多年老鄰居,他們幾乎天天一起散步回家。但是哥德?tīng)柋硎荆麑?duì)相對(duì)論的興趣并非來(lái)自同愛(ài)因斯坦的談話,而是來(lái)自對(duì)康德時(shí)空哲學(xué)的興趣。1950年,他在國(guó)際數(shù)學(xué)家大會(huì)上做的報(bào)告,就是關(guān)于“旋轉(zhuǎn)宇宙”的論文。
后來(lái),哥德?tīng)柕呐d趣轉(zhuǎn)向哲學(xué)。他認(rèn)為,健全的哲學(xué)思想對(duì)科學(xué)研究的成功有很密切的關(guān)系。他說(shuō),數(shù)學(xué)及元數(shù)學(xué)的(特別是關(guān)于超窮推理的)客觀主義觀點(diǎn),對(duì)于他的邏輯研究是最根本的。1959年起,哥德?tīng)栭_(kāi)始閱讀德國(guó)哲學(xué)家胡塞爾的哲學(xué)著作,并一直保持著強(qiáng)烈的興趣。他認(rèn)為有些哲學(xué)家,特別是拍拉圖和笛卡爾,在他們一生中具有一種與日常生活的世界觀完全不同的直觀的世界觀,也許胡塞爾也曾達(dá)到過(guò)這種境界。
晚年,哥德?tīng)栭g或?qū)?shù)理邏輯作些工作。美國(guó)符號(hào)邏輯協(xié)會(huì)正在組織力量搜集整理他的著作,準(zhǔn)備出版他的全集。他已經(jīng)出版的邏輯方面的論著不過(guò)二十余篇,大都很簡(jiǎn)短,不過(guò)它們?cè)跉v史上的作用是十分巨大的。
1978年1月14日下午,哥德?tīng)栐谄樟炙诡D醫(yī)院的椅子上坐著候診時(shí)去世,享年72歲!
|