《數理邏輯與數學哲學》是武漢大學出版社出版的圖書，作者是（瑞士）J.M.波亨斯基，（美）H.B柯里
基本介紹
- ISBN：9787307010567
- 作者：（瑞士）J.M.波亨斯基、（美）H.B柯里
- 出版社：武漢大學出版社
- 出版時間：1991年4月
- 頁數：207
- 定價：3.9
數理邏輯與數學哲學
相關詞條
- 數理邏輯與數學哲學
《數理邏輯與數學哲學》是武漢大學出版社出版的圖書，作者是（瑞士）J.M.波亨斯基，（美）H.B柯里...
- 元數學
更進一步來說，元數學是一種用來研究數學和數學哲學的數學。“數學的數學”是於19世紀初由通常的數學分離出來的，它最初研究的對象是在所謂的數學危機。將二者混為一談會導致一些矛盾，典型例子有理查茲悖論。簡介 元數學是一門數理邏輯...
- 數理邏輯(第2版)
《數理邏輯（第2版）》是2010年9月出版的圖書，該書可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。圖書簡介 本書內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算的基本...
- 數理邏輯(用數學方法研究邏輯或形式邏輯的學科)
數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支，也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是基礎數學的一個不可缺少的組成部分...
- 希爾伯特數學哲學
)證明了著名的哥德爾不完全性定理，宣告希爾伯特計畫無法實現最終目標.但他所建立起來的證明論或元數學，後來發展成為數理邏輯的一個重要分支.他關於數學形式化的思想，也被魯賓孫(Robinson, A.)和科恩(Cohen,P.J.)等人發展為數學哲學...
- 數理邏輯(2020年中國人民大學出版社出版的圖書)
《數理邏輯》是2020年中國人民大學出版 社出版的圖書。內容簡介 《數理邏輯（新編21世紀哲學系列教材；中國人民大學“十三五”規劃教材—特色教材）》是為了給將來致力於數理邏輯研究的讀者奠定堅實基礎而寫的。概括地講，第1-4章為基礎...
- 作為哲學的數理邏輯
《作為哲學的數理邏輯》是2016年復旦大學出版社出版的圖書，作者是楊睿之。內容提要 現代邏輯起源於19與20世紀之交人類對於數學基礎問題的思考。其早期發展無疑是對人類理性事業的重大推動。弗雷格概念文字、希爾伯特公理系統、塔斯基真定義、...
- 數學、邏輯與哲學
如模態邏輯，多值邏輯、模糊邏輯、不協調邏輯等就是後一方向上的重要進展。正因為在這種研究中，邏輯與哲學的密切聯繫在一定程度上取代了與數學的密切聯繫，因此將這些理論稱為“哲學邏輯”，以與數學邏輯相區分。在這裡，作者首先對其中...
- 數理邏輯(2010年中國社會科學出版社出版的圖書)
。在經典邏輯、弗協調邏輯等方面創製了一批現代邏輯形式系統，著有《數理邏輯》（與胡耀鼎合作）、《哲學邏輯研究》（與郭世銘、李小五合作）與《弗協調邏輯》等，現主持中國社會科學院重大課題“模態邏輯研究”。
- 數理哲學導論(伯特蘭·羅素編著的哲學著作)
關於序的概念的概括，也說明數學不再專門關注數列了。羅素指出，通過區分實體的類型便可能避免曾困擾哲學家好幾個世紀的悖倫。數學真理是先驗的並與世界的事實無涉，它們是邏輯的重言式。作品影響 在《數理哲學導論》中，羅素把數理邏輯...
- 普通高等學校十一五規劃教材·數理邏輯
《普通高等學校十一五規劃教材?數理邏輯(第2版)》可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。目錄 再版前言 前言 引言 0 預備知識 0.1 集論初等概念 0.2 Peano自然數公理 0.3 ...
- 三大數學流派
愛因斯坦(1879～1955，偉大的物理學家)；弗蘭克(J．Franck，1882～1964．1925年獲諾貝爾物理學獎)；馮·諾依曼(1903～1957，傑出數學家之一)；柯朗(1888～1972，哥廷根數學研究所負責人)；哥德爾(1906～1976，數理邏輯學家)；諾特(1882～...
- 哥德爾不完全性定理(數理邏輯術語)
事情要從崇尚理性的文藝復興時期談起，當時的學者如笛卡兒、萊布尼茨等都想創造一個理論解決一切問題。萊布尼茨甚至構想把邏輯學用數學符號表示，以後每逢爭論，拿支筆一算就見分曉了。事實證明，萊布尼茨對符號邏輯的建立起了很大作用。萊布尼...
- 邏輯類型論
為了解決第三次數學危機， 羅素提出了邏輯主義的綱領， 並得到一些著名的邏輯學家的支持， 成為數理邏輯中的三大學派之一。理論內容 20世紀初, 在邏輯和數學中發現了許多悖論, 包括羅素本人所發現的悖論(後被稱為羅素悖論) 。這些悖論...
- 王浩(美國藝術與科學院院士,數學家,哲學家,邏輯學家,計算機學家)_百度...
王浩畢生致力於數理邏輯與數學哲學的研究。人物生平 1921年5月20日，王浩出生於山東省濟南市。1931年夏秋之交，入濟南師範學校附屬國小五年級。1933年，考入省立濟南一中國中部就讀。1936年，入國立中央大學實驗高中就讀。1939年，考入西南...
- 數學原理
《數學原理》是由英國哲學家伯特蘭·羅素（Bertrand Russell ）和其老師懷特海（Alfred North Whitehead）合著的一本於1910—1913年出版的關於哲學、數學和數理邏輯的三大卷皇皇巨著，該書對邏輯學、數學、集合論、語言學和分析哲學有著巨大...
- 現代數學哲學教程(第一冊)
在數學唯名論的基礎上，菲爾德和赫爾曼各自發展出了數學虛構主義和數學結構主義的思想。 薄謀，復旦大學哲學碩士、博士（數學哲學），南開大學數學博士後（數理邏輯）。任職於蘭州大學哲學系，專業方向為數學基礎、認知科學等。已發表論文5...
