直覺主義數學（intuitionistic mathematics）是1993年公布的數學名詞。
基本介紹
- 中文名：直覺主義數學
- 外文名：intuitionistic mathematics
- 所屬學科：數學
- 公布時間：1993年
- 見載刊物：《數學名詞》 科學出版社
公布時間,出處,
公布時間
1993年，經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
直覺主義數學
相關詞條
- 直觀主義
他在1907年發表《論數學基礎》，正式建立起直覺主義數學。他們否定排中律，也就是認為存在著既不能證明也不能否證的命題。他們堅持所有定義和命題都必須通過構造來實現，從而根本不承認無窮集合論。雖然他們因此消除了悖論，但是也因此否定了...
- 直覺主義派
1.直覺主義派強調能行性具有十分重大的現實意義，如所公認，計算機科學的發展離不開能行性.2.直覺主義數學對於非構造性數學和傳統邏輯的完全排斥是不科學的，因為這種完全排斥無法解釋後者在相當範圍內的套用上的有效性.因此，遭到絕大...
- 直覺主義
數學直覺主義 在數學哲學和邏輯中，直覺主義，或者新直覺主義 (對應於前直覺主義)，是用人類的構造性思維活動進行數學研究的方法。也可翻譯成直觀主義。任何數學對象被視為思維構造的產物，所以一個對象的存在性等價於它的構造的可能性。...
- 直覺主義學派數學哲學
直覺主義學派數學哲學（lntuitionism in phi-losophy of mathematics），是現代西方的一種數學哲學觀，是一種主張哲學的本原只與心智的構造有關的數學哲學思想。直覺主義的代表人物是荷蘭數學家、數學哲學家布勞威爾(Brouwer , L. E. J....
- 三大數學流派
對於直覺主義者，這是不正確的；不存在性的否定不表示可能找到存在性的構造證明。正因為如此，直覺主義是數學結構主義的一種；但它不是唯一的一類。直覺主義把數學命題的正確性和它可以被證明等同起來；如果數學對象純粹是精神上的構造，...
- 直覺主義數學
直覺主義數學 直覺主義數學（intuitionistic mathematics）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 數學哲學(現代數學哲學的研究內容)
L.E.Brouwer，1881—1966），布勞爾1907年在他的博士論文《論數學基礎》中搭建了直覺主義數學的框架，1912年以後又大大發展了這方面的理論，直覺主義學派的基本思想是數學獨立於邏輯，認為數學理論的真偽，只能用人的直覺去判斷，基本的...
- 數學基礎(研究整個數學的理論基礎及其相關問題的學科)
”，“數學的基礎是什麼？”，“數學是否和諧？”等等一些數學上的根本問題的學科。對於直覺主義、邏輯主義和形式主義的異同，可以追溯到近代哲學家康德對數學本質的思考。康德認為算術來自先驗主體對時間純形式的直觀，幾何則是對空間純形式...
- 構造性數學
但是，所有這些人提供的大都只是一種數學哲學的思想，他們實際的數學工作並未嚴格地遵循自己的哲學思想。因此，現代意義的構造性數學應以布勞威爾(Brouwer)的直覺主義數學為開端。學派 迄今，在構造性數學的研究領域裡，由於宗旨、觀點和方法...
- 無窮(數學術語)
沒有無窮的數學 利奧波德·克羅內克懷疑無限的概念，也懷疑1870年代及1880年代時數學家使用無限的方式。這種懷疑主義形成一種稱為有限主義的數學哲學，是屬於數學結構主義及數學直覺主義中的一種極端形式。物理無窮 在物理上，實數的近似會...
- godel定理
Hilbert計畫起源於以證明了不動點定理而聞名的荷蘭數學家Brouwer提出的一個數學哲學觀點，稱之為直覺主義。Brouwer認為存在性的證明是不完美的，或者說是值得懷疑的。比如其本人所證明的不動點定理，單位球到自身的連續映射必定有一個不動...
- 布勞威爾
從1912年起，布勞威爾重新開始研究數學基礎問題．從1918年起，他在各種學術刊物上發表一系列論文，宣傳和論證他的觀點．他發展了直覺主義數學；對經典數學作詳盡的批判；判別各個數學分支中究竟有哪些定理符合直覺主義；尋找構造數學的基本概念...
- 布勞維爾
布勞維爾，生於荷蘭，荷蘭數學家，數學基礎方面現代直覺主義的創始人。人物簡介 荷蘭數學家，數學基礎方面現代直覺主義的創始人。生於荷蘭，1897年入阿姆斯特丹大學，1907年獲"數學及科學"博士學位，1909年任講師，1912年任"集合論、函式論...
- 海丁謂詞演算公理系統
海丁謂詞演算公理系統是由海丁(Heyting, A.)於1934年建立的.該系統是直覺主義邏輯的形式化，它反映了在直覺主義框架中數學思維的邏輯規律.海丁謂詞演算公理系統(Heyting axiomatic system of predicate calculus)謂詞演算的一種公理系統.它...
- 數理邏輯發展史:從萊布尼茨到哥德爾
一 潛無窮論是直覺主義數學的出發點 二 在數學中不能普遍使用排中律 三 數學對象的可構造性 第三節 直覺主義邏輯 一 直覺主義的命題演算 二 直覺主義的一階謂詞演算 三 直覺主義邏輯與經典邏輯的關係 第十三章 形式公理學和證明論 ...
- 希爾伯特計畫
以L.E.J.布勞威爾為代表的直覺主義者（見數學基礎）從他們的直覺主義數學觀出發，否定實無窮，堅持“存在”即被構造，排斥康托爾集合論和傳統邏輯的排中律，否認古典數學中的大量的非構造性定義和純存在性證明，從而擯棄了大部分古典數學...
- 克羅內克指數
在數學基礎的大論戰中，他是直覺主義數學流派的代表人物之一，曾激烈反對過外爾斯特拉斯和G.康托爾等人的觀點，主張數學的算術化。他的數學觀對後世有極大影響。他的一句名言是：“上帝創造了整數，其他一切都是人為的。”反映了他對...
