色avav色av爱avav亚洲色拍,色琪琪av中文字幕一区二区,全免费a敌肛交毛片免费,色偷偷亚洲天堂av,人妻无码中文专区久久五月婷

首頁(yè) 歷史上的今天 1978年 1月14日 數(shù)學(xué)家、邏輯學(xué)家哥德?tīng)柺攀?/span>

1978年1月14日

數(shù)學(xué)家、邏輯學(xué)家哥德?tīng)柺攀?/p>

????在41年前的今天,1978年1月14日(農(nóng)歷1977年12月6日),數(shù)學(xué)家、邏輯學(xué)家哥德?tīng)柺攀馈?/p>

哥德?tīng)柌煌耆远ɡ?/font>

庫(kù)爾特·哥德?tīng)?/font>(Kurt Gödel)(1906年4月28日—1978年1月14日)是位數(shù)學(xué)家、邏輯學(xué)家和哲學(xué)家。其最杰出的貢獻(xiàn)是哥德?tīng)柌煌耆远ɡ砗瓦B續(xù)統(tǒng)假設(shè)的相對(duì)協(xié)調(diào)性證明。

生于捷克的布爾諾,卒于美國(guó)普林斯頓。早年在維也納大學(xué)攻讀修讀理論物理、基礎(chǔ)數(shù)學(xué),后來(lái)又轉(zhuǎn)研數(shù)理邏輯、集合論。1951年獲愛(ài)因斯坦勛章。哥德?tīng)栆簧l(fā)表論著不多。他發(fā)表于1931年的論文《〈數(shù)學(xué)原理〉(指懷德海和羅素所著的書(shū))及有關(guān)系統(tǒng)中的形式不可判定命題》是20世紀(jì)在邏輯學(xué)和數(shù)學(xué)基礎(chǔ)方面最重要的文獻(xiàn)之一。

www.weixinyidu.com   免責(zé)聲明
版權(quán)聲明:本站收錄微信公眾號(hào)和微信文章內(nèi)容全部來(lái)自于網(wǎng)絡(luò),僅供個(gè)人學(xué)習(xí)、研究或者欣賞使用。版權(quán)歸原作者所有。禁止一切商業(yè)用途。其中內(nèi)容并不代表本站贊同其觀點(diǎn)和對(duì)其真實(shí)性負(fù)責(zé),也不構(gòu)成任何其他建議。如果您發(fā)現(xiàn)頭條易讀網(wǎng)站上有侵犯您的知識(shí)產(chǎn)權(quán)的內(nèi)容,請(qǐng)與我們聯(lián)系,我們會(huì)及時(shí)修改或刪除。
本站聲明:本站與騰訊微信、微信公眾平臺(tái)無(wú)任何關(guān)聯(lián),非騰訊微信官方網(wǎng)站。
";