本文選題：哥德爾不完備定理 + 維特根斯坦�。� 參考：《內蒙古大學》2015年碩士論文

【摘要】：“哥德爾不完備定理”證明在形式化過程中,通過有窮公理無法得出所有“真”的命題都“可證”。維特根斯坦對哥德爾不完備定理的證明提出了反對意見,本文將通過維特根斯坦后期所持有的數學哲學觀點解析哥德爾不完備定理在無窮問題上以及非直謂定義的使用等方面進行剖析,理解維特根斯坦所持有的數學哲學思想,進而認識到維特根斯坦對哥德爾不完備定理的評論的重要認識論意義。
[Abstract]:In the process of formalization, it is impossible to obtain all the propositions of "truth" by means of finite axioms in the proof of "Godel's incomplete Theorem". Wittgenstein objected to the proof of Godel's incomplete theorem. In this paper, we will analyze the problem of infinity and the use of the definition of non-direct predicate by analyzing Godel's incomplete theorem in the view of mathematical philosophy held by Wittgenstein in the later period, and understand the philosophy of mathematics held by Wittgenstein. Furthermore, the important epistemological significance of Wittgenstein's comments on Godel's incomplete theorem is recognized.
【學位授予單位】：內蒙古大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：O1-0;O141

【參考文獻】

相關期刊論文 前3條

1 王浩 ,鄧慶生;哥德爾的數學客觀主義[J];北京大學學報(哲學社會科學版);1987年01期

2 王路;;分析哲學與哲學分析——從最新出版的兩部分析哲學著作談起[J];清華大學學報(哲學社會科學版);2007年01期

3 魏屹東;樊岳紅;;遵守規(guī)則與人工智能——維特根斯坦與圖靈人工智能理論的交集[J];山西大學學報(哲學社會科學版);2011年05期

相關碩士學位論文 前1條

1 唐芳芳;哥德爾定理的意義[D];清華大學;2005年

，

本文編號：2074848