by Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Gödel's Proof» is the logic-mathematical popular science essay by Ernest Nagel and James R. Newman, published by NYU Press in hardcover (129 pages, in English).
Nagel and Newman present Kurt Gödel's 1931 discovery: the existence of formally undecidable propositions in Principia Mathematica and related systems. In an accessible way, they review the notion of consistency, the coding of formal logic, and the arithmetization of metamathematics to show the implications of this proof.
This revised edition includes a new foreword by Douglas R. Hofstadter; the work was originally published in 1958.
Aimed at students, academics, and professionals in mathematics, computer science, logic, and philosophy, and at any reader interested in these subjects.
