當(dāng)前位置：首頁(yè) > 專業(yè)詞典 > 當(dāng)代西方哲學(xué) > 正文

不完全性定理
當(dāng)代西方哲學(xué)

        哥德?tīng)柼岢龅年P(guān)于形式演繹系統(tǒng)的元定理,于1931年在“論數(shù)學(xué)原理和有關(guān)系統(tǒng)中的形式不可判定命題”一文中提出論證。它可以表述為:如果形式數(shù)論系統(tǒng)是無(wú)矛盾的,那么它就是不完全的,形式數(shù)論系統(tǒng)的無(wú)矛盾性證明不可能在形式數(shù)    （本文共 499 字 ）     [閱讀本文] >>

開(kāi)通會(huì)員，享受整站包年服務(wù)立即開(kāi)通 >
說(shuō)明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)
推薦內(nèi)容
詞 典
論語(yǔ)孟子 中國(guó)學(xué)術(shù) 哲學(xué)著作 愛(ài)犬養(yǎng)護(hù) 百花百話 百科合稱 保定廟會(huì) 北大百聯(lián) 哺乳動(dòng)物 軍事常識(shí) 人文常識(shí) 藝術(shù)常識(shí) 中外名人 重大事件 藏傳佛教 三峽昆蟲(chóng) 城市供熱 傳世名方 詞名索引 大歷詩(shī)略 大學(xué)歷史 當(dāng)代科學(xué) 東方文化 東方文學(xué) 冬蟲(chóng)夏草 法律文書(shū) 佛源語(yǔ)詞 福州方言 港口經(jīng)濟(jì) 高等數(shù)學(xué) 公共關(guān)系 公證律師 古今謀略 古錢百詠 古詩(shī)百科 古詩(shī)評(píng)譯 古文鑒賞 關(guān)東文化 廣播電視 國(guó)防經(jīng)濟(jì) 國(guó)際關(guān)系 國(guó)際金融 國(guó)際政治 國(guó)史紀(jì)事 漢代長(zhǎng)安 漢英經(jīng)貿(mào) 漢族風(fēng)俗 河南蜻蜓 赫章彝族 紅河彝族 湖湘文化 畫(huà)說(shuō)西藏 環(huán)境科學(xué) 環(huán)球地名 皇帝內(nèi)經(jīng) 皇權(quán)興衰 皇權(quán)興衰 黃帝內(nèi)經(jīng) 黃節(jié)詩(shī)學(xué) 機(jī)械加工 薊州風(fēng)物 民間療法 精細(xì)化工 同義反義 文史知識(shí) 文學(xué)知識(shí) 西方哲學(xué) 建安詩(shī)文 建筑經(jīng)濟(jì) 交叉科學(xué) 教師百科 教育評(píng)價(jià) 金屬材料 京劇劇目 經(jīng)濟(jì)法學(xué) 經(jīng)濟(jì)科學(xué) 精細(xì)化工 決策科學(xué) 科技編輯 科學(xué)技術(shù) 孔子文化 老子鑒賞 李白詩(shī)歌 歷代典故 歷代絕句 歷代駢文 愛(ài)情佳句 文壇掌故 歷史大事 國(guó)史全鑒 名城杭州 名城臨海 名城衢州 連用成語(yǔ) 兩漢職官 領(lǐng)導(dǎo)干部 呂氏春秋 倫理百科 論語(yǔ)鑒賞 漫畫(huà)知識(shí) 美丑大典 美軍服裝 美食中國(guó) 美術(shù)辭林 唐墓壁畫(huà) 民間禁忌 民間文學(xué) 民族知識(shí) 名著縮微 明清西安 明清治藏 南社戲劇 寧波古韻 歐洲歷史 熱工技術(shù) 人口管理 人口科學(xué) 人類科學(xué) 人生哲學(xué) 儒林外史 三寶合璧 三國(guó)韜略 陜北方言 陜西烹飪 常用鋼材 商業(yè)會(huì)計(jì) 尚氏易學(xué) 神州秘方 詩(shī)歌美學(xué) 石油技術(shù) 實(shí)用方法 實(shí)用公文 外國(guó)文學(xué) 外國(guó)哲學(xué) 外臺(tái)秘要