Godel，Kurt1906～1978柯特·哥德爾美國數(shù)學(xué)家。生于奧地利。以其數(shù)理邏輯的研究成果聞名于世。1930年證明了謂詞演算系統(tǒng)完全性定理，對模型論的產(chǎn)生和發(fā)展有很大影響。1931年證明了形式數(shù)論學(xué)說不完全性定理，對遞歸論的產(chǎn)生和發(fā)展起了重要作用。1938～1939年證明了連續(xù)假設(shè)和選擇公理的相對協(xié)調(diào)性定理，對公理集合論有重大影響，而且直接導(dǎo)致了集合序數(shù)上的遞歸論的產(chǎn)生。 |