網(wǎng)站首頁(yè) 高考復(fù)習(xí)資料 高考英語(yǔ)詞匯 高考漢語(yǔ)字詞 高考文言文 古詩(shī)文閱讀 舊版資料
美國(guó)數(shù)學(xué)家。生于奧地利。以其數(shù)理邏輯的研究成果聞名于世。1930年證明了謂詞演算系統(tǒng)完全性定理，對(duì)模型論的產(chǎn)生和發(fā)展有很大影響。1931年證明了形式數(shù)論學(xué)說(shuō)不完全性定理，對(duì)遞歸論的產(chǎn)生和發(fā)展起了重要作用。1938～1939年證明了連續(xù)假設(shè)和選擇公理的相對(duì)協(xié)調(diào)性定理，對(duì)公理集合論有重大影響，而且直接導(dǎo)致了集合序數(shù)上的遞歸論的產(chǎn)生。
高三復(fù)習(xí)網(wǎng)英漢詞典收錄370961條英漢翻譯詞條，基本涵蓋了全部常用英語(yǔ)單詞的釋義及用法，是英語(yǔ)學(xué)習(xí)的有利工具。