哥德爾
哥

哥德爾　　　gē dé ěr

原籍奧地利的美國數(shù)學(xué)家。維也納大學(xué)哲學(xué)博士，并留校任教。1940年移居美國，任普林斯頓大學(xué)、普林斯頓高級研究所教授。對數(shù)理邏輯有重大貢獻(xiàn)。1930年證明了謂詞演算系統(tǒng)完全性定理。對*模型論的產(chǎn)生和發(fā)展有很大影響。1931年證明了形式數(shù)論系統(tǒng)不完全性定理，否定了希爾伯特方案的某些設(shè)想，對*遞歸論的產(chǎn)生和發(fā)展起了重要作用。1938—1939年證明了連續(xù)統(tǒng)假設(shè)和選擇公理的相對協(xié)調(diào)性定理。對公理集合論有重大影響，對模型論也有影響，而且直接導(dǎo)致了集合和序數(shù)上的遞歸論的產(chǎn)生。著有《選擇公理和廣義連續(xù)統(tǒng)假設(shè)的相容性》等。