【摘要】：借澄清對哥德爾不完全性定理若干誤解的機(jī)會,以直觀與簡明的方式闡述哥德爾不完全定理的內(nèi)容、意義及哥德爾的相關(guān)工作。哥德爾不完全性定理包括兩個內(nèi)容:第一,一個不弱于初等數(shù)論的形式系統(tǒng),如果一致,則不完全;第二,這樣的形式系統(tǒng)如果一致,則這種一致性在系統(tǒng)內(nèi)不可證。
[Abstract]:By clarifying some misunderstandings of Godel's incompleteness theorem, this paper expounds the contents, significance and related work of Godel's incomplete theorem in an intuitive and concise manner. Godel's incompleteness theorem includes two parts: first, a formal system which is not weaker than elementary number theory, if consistent, is incomplete; second, if such formal system is consistent, such consistency is unproved in the system.
【作者單位】： 中國人民大學(xué)哲學(xué)系
【分類號】：B813

【共引文獻(xiàn)】

相關(guān)期刊論文 前8條

1 李慧華;;弗雷格《概念文字》的構(gòu)造及其意義[J];畢節(jié)學(xué)院學(xué)報(bào);2009年03期

2 溫邦彥;;說謊者悖論的排除和哥德爾定理的質(zhì)疑[J];重慶工學(xué)院學(xué)報(bào)(社會科學(xué)版);2008年03期

3 張建軍;;論當(dāng)代中國辯證邏輯研究的歷史發(fā)展[J];河南社會科學(xué);2011年06期

4 姜贊臣;從標(biāo)準(zhǔn)分析中的悖論看非標(biāo)準(zhǔn)分析的必然性[J];淄博師專學(xué)報(bào);1994年02期

5 劉大為;孫明湘;;哥德爾不完全性定理和“心靈與機(jī)器”的關(guān)系問題[J];中南大學(xué)學(xué)報(bào)(社會科學(xué)版);2009年06期

6 吳樹仙;;哥德爾定理與邏輯認(rèn)知進(jìn)化[J];自然辯證法研究;2011年01期

7 張玲;;心理邏輯經(jīng)典實(shí)驗(yàn)的認(rèn)知思考——認(rèn)知科學(xué)背景下邏輯學(xué)與心理學(xué)的融合發(fā)展[J];自然辯證法研究;2011年11期

8 任燕;蔡歷亮;張智偉;;一則教學(xué)片斷引發(fā)的解題探究[J];中學(xué)數(shù)學(xué);2011年20期

相關(guān)碩士學(xué)位論文 前2條

1 蔣新雨;歐內(nèi)斯特·內(nèi)格爾科學(xué)哲學(xué)思想研究[D];湘潭大學(xué);2011年

2 張欽亞;論中國特色社會主義理論體系的開放性[D];華東師范大學(xué);2009年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 宋春艷;;維特根斯坦后期思想轉(zhuǎn)變與哥德爾定理有關(guān)系嗎——再議維特根斯坦對哥德爾定理的評論[J];自然辯證法研究;2009年01期

2 李秀敏;評本格對辯證法否定觀的批判[J];內(nèi)蒙古社會科學(xué)(漢文版);2004年03期

3 賈國恒;;哥德爾不完全性定理評析[J];天中學(xué)刊;2008年02期

4 劉大為;孫明湘;;哥德爾不完全性定理和“心靈與機(jī)器”的關(guān)系問題[J];中南大學(xué)學(xué)報(bào)(社會科學(xué)版);2009年06期

5 溫邦彥;;也談?wù)_理解哥德爾不完全性定理——與陳慕澤先生商榷[J];重慶工學(xué)院學(xué)報(bào)(社會科學(xué)版);2009年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號：2130262