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

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

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

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