相關詞條
-
布勞維爾，L.E.J.
布勞維爾，L.E.J.是荷蘭 數學家，數學基礎方面現代直覺主義的創始人。生於荷蘭，1897年入阿姆斯特丹大學，1907年獲"數學及科學"博士學位，190...
布勞維爾，L.E.J. 正文 配圖 相關連線 -
布勞維爾
批評G.F.P.康托爾、B.A.W.羅素和D.希爾伯特關於數學基礎的理論...，1951年退休。 大學學習時期，布勞維爾在荷蘭語言效用學者G.曼諾利...爾主張，數學來源於先驗的初始直覺，是人類心靈的創造性構造；數學的存在等於...
-
西方邏輯史
的邏輯學家主要有：P.阿貝拉爾、西班牙的彼得、奧康的威廉、J.布里丹...。在人文主義者中，最著名的邏輯學家是拉拉梅的皮埃爾。他極力反對亞里士多德，但是在邏輯推導中卻引用了亞里士多德的絕大部分理論。皮埃爾把邏輯同語法、修辭...
西方邏輯史 正文 配圖 相關連線 -
數理邏輯史
的認識。70年代G.F.P.康托爾在研究函式論時需要區別不同的無窮集合。“和本身的真部分一一對應”，多年來是無窮集之謎。康托爾突破從有窮以衡量無窮...,1899年康托爾函告德國學者R.戴德金德(1831～1916)，認為包含著一切...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案 -
初始序數
的推廣和發展。基數概念是由康托爾(Cantor，G.F.P.)首先提出...”、“第二”等表示次序的數在概念上的推廣。康托爾原來把序數定義為良序集...，即A=={B|B～A}。這個定義雖然形式上簡單明了，而且滿足康托爾...
概念 集合論 序數 等勢 基數 -
子集公理模式
加以限制，即把集合論的創始人G.F.P.康托爾所認為的滿足一個性質的全體...
子集公理模式 正文 配圖 相關連線 -
無窮性公理
無窮性公理 正文 G.F.P.康托爾在建立集合論時，發現僅靠邏輯公理不能保證有無窮集合存在，因為沒有一個一階公式能在無窮個體域有效而在有窮個體域上不有效。而利用ZF系統中的公理①～⑥及⑧、⑨（見集合論）雖然...
無窮性公理 正文 配圖 相關連線
