On Formally Undecidable Propositions of Principia Mathematica and Related Systems 在线电子书 图书标签: 数学 哥德尔 Kurt_Gödel 逻辑 经典 數學 原版 邏輯
发表于2025-01-08
On Formally Undecidable Propositions of Principia Mathematica and Related Systems 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025
The cognition of complex systems can't be solved by formal methods
评分not easy to read...
评分The cognition of complex systems can't be solved by formal methods
评分not easy to read...
评分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 下载 2025