相關詞條
-
希爾伯特形式主義派
希爾伯特建議形式主義原則：所有符號完全看做沒有意義的內容，即使將符號、公式或證明的任何有意的意義或可能的解釋也不管，而只是把它們看作純粹的形式對象，研究...
-
三大數學流派
邏輯主義、形式主義和直覺主義三個學派。一、邏輯主義1.邏輯主義的歷史淵源...的方法是大家公認可靠的，整個數學才有牢固的基礎。直覺主義直覺主義的奠基者和...“數學和邏輯是全等的”這個邏輯主義論題，它可以分析為三部分內容：1、每條...
簡介 邏輯主義 形式主義 直覺主義 三大數學流派簡介 -
godel定理
這個任務。 附，Poincare的直覺主義和Weyl,Brouwer...的含義和我們通常理解的並不相同。 可以證明，確切地說，在某個給定...算術體系，是指在自然數集合上，賦予加法和乘法兩種運算的理論體系。 通常...
基本術語 直覺主義 一致性 變形規則 敘述方式 -
數理邏輯史
概述 現代演繹方法、形式化和公理系統的發展史。 以演繹方法為中心內容...階段。古典形式邏輯包括幾種常見的演繹推理和最簡單的量詞理論，也使用一些特有符號。它沒有探討關係邏輯和公理系統的邏輯性質。自17世紀後期G.W....
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案 -
數學基礎
的根本問題的學科。對於直覺主義、邏輯主義和形式主義的異同，可以追溯到近代...邏輯主義派、直覺主義派、形式主義派等不同的流派.另一方面，在如何避免悖論...後來又在胡塞爾那裡得到繼承和發展。胡塞爾就是從考慮“數在哪裡”的問題提出...
簡介 歷史及發展 現狀 三次數學危機 研究學派 -
布勞威爾
學術刊物上發表一系列論文，宣傳和論證他的觀點． 他發展了直覺主義數學...直覺主義和構造主義，而不談他那頗為得意的拓撲學，大大出乎人們的意料之外...必須的希臘文和拉丁文；進入大學後，他很快就掌握了當時通行的各門數學，受到...
人物貢獻 人物生平 相關理論 拓撲學貢獻 人物評價 -
西方數學哲學
數學的批判二、直覺主義數學的構造三、一般評論第四節 希爾伯特的形式主義一...”二、直覺主義的概念論及其“構造性”要求第四節 形式主義一、形式主義的數學觀二、形式主義的不同類型三、形式主義對數學研究的意義四、形式主義和...
-
二十世紀數學哲學：一個自然主義者的評述
》從自然主義的立場介紹、分析和評述了20世紀主要的數學哲學思想。第一章是當代數學...了20世紀幾種豐要的數學哲學思想，並從自然主義的角度對它們作出分析和批評... 從自然主義角度看類型論第五章 直覺主義5.1 與直覺主義相關的前期思想...
內容簡介 本書目錄 作者介紹 -
二十世紀數學哲學
了20世紀幾種豐要的數學哲學思想，並從自然主義的角度對它們作出分析和批評...公理及其問題4.4.4 從自然主義角度看類型論第五章 直覺主義5.1 與直覺主義相關的前期思想5.1.1 克羅內克的直覺主義思想5.1.2 龐加...
內容簡介 作者簡介 圖書目錄 -
布勞維爾，L.E.J.
體系排中律不可靠的見解。在1912年發表的《直覺主義和形式主義》論文中，他...根據直覺主義和構造主義觀點改寫集合論和函式論的許多定理的證明，其結果是...被少數數學家所接受。除了直覺主義和構造主義的觀點外，構造性數學從來就是...
布勞維爾，L.E.J. 正文 配圖 相關連線
