《數理邏輯原理》是水牛出版的圖書，作者是David Hilbert
基本介紹
- ISBN：9786665991631
- 作者：David Hilbert
- 出版社：水牛
- 原作品：Principles of mathematical logic
數理邏輯原理
相關詞條
- 數理邏輯原理
《數理邏輯原理》是水牛出版的圖書，作者是David Hilbert...
- 數理邏輯:基本原理與形式演算(第二版)
《數理邏輯：基本原理與形式演算（第二版）》是2018年01月科學出版社出版的圖書，作者是李未。內容簡介 本書的內容共分十章，系統介紹數理邏輯的基本原理與形式演算。前五章涵蓋了經典數理邏輯的核心內容，包括一階語言的語法與模型，...
- 哥德爾不完全性定理(數理邏輯術語)
事情要從崇尚理性的文藝復興時期談起，當時的學者如笛卡兒、萊布尼茨等都想創造一個理論解決一切問題。萊布尼茨甚至構想把邏輯學用數學符號表示，以後每逢爭論，拿支筆一算就見分曉了。事實證明，萊布尼茨對符號邏輯的建立起了很大作用。萊布尼...
- 數字邏輯(人民郵電出版社)
數字邏輯的部分理論建立在數理邏輯，特別是布爾代數和時序機的理論基礎上。數字邏輯可分為組合邏輯和時序邏輯。在一個邏輯系統中，輸出結果僅取決於當前各輸入值的稱組合邏輯；輸出結果既由當前各輸入值，又由過去的輸入值來決定的稱時序...
- 邏輯學(哲學分支學科)
17世紀末，德國哲學家萊布尼茲構想用數學方法處理傳統演繹邏輯，進行思維演算，數理邏輯由此發端。19世紀40年代，英國數學家布爾的邏輯代數首先使該構想成為現實。但直到20世紀初，在弗雷格等人研究的基礎上，羅素和懷德海的《數學原理》建立了...
- 自然演繹(數理邏輯)
在數理邏輯中，自然演繹是證明論中嘗試提供象“自然”發生一樣的邏輯推理形式模型的一種方式。這種方式對比於使用公理的公理系統。動機 自然演繹來源自對共通於弗雷格、羅素和希爾伯特系統的判句公理化(希爾伯特演繹系統)的不滿。這種公理化...
- 邏輯類型論
1925年，在《數學原理》第二版出版之後不久，羅素的學生蘭姆賽(Ramsey)發表了一篇論文《數學基礎》，1926年又發表了一篇論文《數理邏輯》。他廢除了可化歸性公理，並成功地保留了《數學原理》的符號部分，幾乎沒有變動。蘭姆賽還提出，...
- 二階邏輯
在數理邏輯中，二階邏輯是命題邏輯或一階邏輯的擴展，它包含在謂詞位置上（而不是像一階邏輯那樣只能在項的位置上）的變數，和約束它們的量詞。所以： 我們可以表達關於 Jones 的二值原理： 對於所有性質，Jones 要么有它要么沒有它。
- 邏輯推理學
筆者以為，要想在因果關係研究上有所突破，應當借用數理邏輯的思想，從基本假設和定義出發，建構起“基本因果關係模型”（理論），以此為基礎對複雜因果關係給予解釋。作為建構模型基礎的基本假設和定義，都必須從現實世界中歸納出來。模型...
- 邏輯(思維的規律和規則)
邏輯（logic）是一個音譯詞，指的是思維，是一個外來詞語音譯。狹義上，邏輯即指思維的規律、理清事物的本身。廣義上，邏輯泛指規律，包括思維規律和客觀規律。邏輯包括形式邏輯和數理邏輯（符號邏輯）。形式邏輯包括歸納邏輯與演繹邏輯。...
- 三值邏輯關係
這種古典邏輯在西方邏輯發展史上一直居於統治地位，成為當時人們所承認的唯一的邏輯。近代產生的數理邏輯也是在古典邏輯基礎上發展起來的。1879年，弗雷格建構了第一個初步自足的邏輯演算系統，1910—1913年，羅素與懷特海合著出版的《數學原理...
- 機率邏輯
在邏輯上，由於引入形式化和數學的方法，到20世紀初演繹邏輯已發展得較為完善。B.羅素與A.N.懷特海在1910年完成的《數學原理》一書，可以看作是數理邏輯完善到一定程度的一項成果。在哲學史上，D.休謨曾對歸納提出非難。以F.培根、...
- 宇宙悖論原理
“邏輯定律悖論集”是一種“千變萬化”的萬能代入模型，是宇宙事物本身存在關係狀態的真實描述，也是宇宙悖論原理的形式化表述。人類已經發現的三種邏輯 不矛盾邏輯 其代表有傳統經典的形式邏輯、數理邏輯等。矛盾邏輯 其代表有陰陽太極思想...
- 公理集合論
公理集合論（axiomatic set theory），是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。19世紀70年代，德國數學家G.康托爾給出了一個比較完整的集合論，對無窮集合的...
- 德·摩根定律
德·摩根定律在數理邏輯的定理推演中，在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。他的發現影響了喬治·布爾從事的邏輯問題代數解法的研究。這鞏固了德摩根作為該規律的發現者的地位，儘管亞里士多德也曾注意到類似現象，...
- 新基礎集合論
在數理邏輯中，新基礎集合論(NF)是公理化集合論的一種，由蒯因構想出來作為對英國哲學家羅素和其老師懷特海的巨著《數學原理》中邏輯類型論的簡化。蒯因 1937 年於《數理邏輯的新基礎》一文中首次提及NF（此即其名稱的由來）。請注意，...
- 離散數學教程(2010年5月1日清華大學出版社出版的圖書)
1.1.6 其他邏輯連線詞 1.1.7 邏輯連線詞及其完備功能集 1.1.8 對偶原理 1.1.9 範式 1.2 命題邏輯中的推理規則和證明方法 1.2.1 自然推理 1.2.2 證明方法 1.2.3 形式邏輯中的一些主要定律在數理邏輯中的表示 1.3 ...
- 反推數學及相關可計算性理論問題
研究工作基本按計畫展開，不過過程並非完全順利，進度略慢，但我們也取得若干深刻且出人意外的成果，並建立起反推數學和數理邏輯的其它研究領域 —— 一階算術模型論、算法隨機性 —— 的聯繫。在反推數學方面，我們引入一種分析組合原理...
- 王氏悖論
念高中時他偶然得到金岳霖寫的《邏輯》(1935)，其中約80頁介紹羅素(B．Russel)的名著《數學原理》第一卷的內容，他感到這些內容既吸引入又容易懂，因此想："應該首先嘗試學習較容易的數理邏輯，為以後學習辯證法作較好的準備．"大學一...
