Online Library TheLib.net » On Formally Undecidable Propositions of Principia Mathematica and Related Systems
cover of the book On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Ebook: On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Author: Kurt Gödel

00
26.01.2024
0
0
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.
Download the book On Formally Undecidable Propositions of Principia Mathematica and Related Systems for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen