Livraço sobre o famoso teorema de Gödel, tão discutido (bem e mal) por legiões de cientistas e historiadores da ciência.
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
Kurt Gödel
Dover Publications edition 1992 PDF 79 pages 13 mb
