On Formally Undecidable Propositions of Principia Mathematica and Related Systems 在線電子書 圖書標籤: 數學 哥德爾 Kurt_Gödel 邏輯 經典 數學 原版 邏輯
發表於2024-12-23
On Formally Undecidable Propositions of Principia Mathematica and Related Systems 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
The cognition of complex systems can't be solved by formal methods
評分not easy to read...
評分not easy to read...
評分The cognition of complex systems can't be solved by formal methods
評分The cognition of complex systems can't be solved by formal methods
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
評分
評分
評分
評分
On Formally Undecidable Propositions of Principia Mathematica and Related Systems 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024