數理邏輯與數學基礎及四大數學哲學流派
Posted 公理
篇首语：丈夫志四海，万里犹比邻。本文由小常识网(cha138.com)小编为大家整理，主要介绍了數理邏輯與數學基礎及四大數學哲學流派相关的知识，希望对你有一定的参考价值。
數理邏輯與數學基礎及四大數學哲學流派
數理邏輯【mathematical logic】
執筆：金人麟 校閱：史念東
選自《數學大辭典》
亦稱符號邏輯(symbolic logic)
處於數學和數學哲學的交叉部分。數理邏輯一方面使用形式邏輯的思想方法研究數學及數學推理的基本原則和規律;另一方面使用數學工具來表示和研究形式邏輯的性質和結構。
數理邏輯包含了很多分支和研究方向
其中最主要的分支為：
模型論、
證明論、
集合論和
遞歸論(即可計算理論)。
這四個分支的發展都和哥德爾(K.Godel)在20世紀30年代完成的工作有著密切的聯繫。
數理邏輯是伴隨著數學公理化進程而不斷發展的。在19世紀後期到20世紀初
弗雷格(G.Frege)和羅素(B.Russell)致力於用符號邏輯替代自然語言來描述數學原理和數學推理
他們發展了命題演算和謂詞演算
使得數學更加系統化和嚴格化
從而使得數學和邏輯成為一體。
他們的工作也使得人們更加了解了數學推導中邏輯語義和邏輯語法的差別。這推動了數學公理化的進程。
但在此發展中產生了對數學公理化過於樂觀的傾向
即認為最終可以找到一個相容的、完備的公理系統使得所有的數學定理
包括這個公理系統的相容性
都成為這個公理系統的推論。這就是所謂的希爾伯特計劃。
但是這個傾向卻被哥德爾所否定。
數學基礎
【foundations of mathematics】
執筆：馮琦校閱：金人麟
數學哲學四大流派
相关参考
轉自：量子認知哲學園鳴謝在上篇文章里我們介紹了模糊邏輯：研究人的大腦認知思維形式的邏輯科學。有人可能會問，傳統邏輯、模糊邏輯與量子邏輯是什麼樣的基本關係呢？這是一個頗為有趣的問題。具體深入地討論這個問
理性、非理性與合理性——科學合理性的概念基礎楊耀坤作者簡介：楊耀坤，1944年1月生，湖北大學哲學研究所科學哲學研究室主任、教授。郵編：430062內容提要：理性是人所特有的「理解和思考的智慧和能力」
1、牛頓（IsaacNewton，1643~1727）英國物理學家、天文學家、數學家和自然哲學家，經典力學體系的奠基人，被稱為力學之父。在物理學的很多分支都有很大的成就。他在伽利略等人工作的基礎上，對
1、牛頓（IsaacNewton，1643~1727）英國物理學家、天文學家、數學家和自然哲學家，經典力學體系的奠基人，被稱為力學之父。在物理學的很多分支都有很大的成就。他在伽利略等人工作的基礎上，對
物理學中有兩個非常成功的理論——廣義相對論和量子力學。簡略地說，前者是關於引力和宇宙大尺度結構的理論，後者是關於物質的基本構成、亞原子粒子及其相互作用的理論。在過去的一個多世紀里，這兩個理論在各自領域
圖為此次發現的清代木質雕版。資料圖片本報太原12月16日電（記者邢兆遠、李建斌）在第一次全國可移動文物普查中，山西省垣曲縣自然博物館發現了338塊清代木質雕版。經專家考證，確認這批雕版是清代知名數學家
圖為此次發現的清代木質雕版。資料圖片本報太原12月16日電（記者邢兆遠、李建斌）在第一次全國可移動文物普查中，山西省垣曲縣自然博物館發現了338塊清代木質雕版。經專家考證，確認這批雕版是清代知名數學家
文案策劃、監製：袁載譽；文案：11等於幾，聽到這個問題，不用經過大腦思考，我們就可以說出答案2。然而就是這樣一個在我們常人看來簡單的不得了，甚至都不用思考就可以得出答案的11=2，在數學家們看來，那是
北大數學天才入美國籍，稱在中國無法專心搞研究，寧可在美國刷碗
在看這篇文章前，小編想先問大家一個問題：你是願意在異國他鄉送外賣、洗盤子；還是願意回國擔任數學教授？我相信絕大部分人都會毫不猶豫地選擇後者，然而28年前，一位數學天才卻選擇了前者，並且一干就是7年，他
當大家的生活逐步恢復正常以後，在家帶娃的鄧超和孫儷夫婦又開始分享那些逗比搞笑的日常了。近期，鄧超曬出在家做飯的照片，「孩子們想吃生煎包，祝我成功。」鄧超說。鄧超拍了自己和面和把生煎放到鍋里的畫面，這時