Get Free Shipping on orders over $79
Godel's Proof - Ernest Nagel

Godel's Proof

By: Ernest Nagel, James Newman

Paperback | 18 April 2023

At a Glance

Paperback


$32.75

or 4 interest-free payments of $8.19 with

 or 

Ships in 10 to 15 business days

Godel's Proof was first published in the US in 1958. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title "On Formally Undecidable propositions of Principia Mathematica and Related Systems". Its author was Kurt Godel, then a young mathematician of 25 at the University of Vienna who since 1938 was a permanent member of the Institute for Advanced Study at Princeton. The paper is a milestone in the history of logic and mathematics. When Harvard University awarded Godel an honorary degree, the citation described the work as one of the most important advances in logic in modern times. At the time of its appearance, however, neither the title of Godel's paper nor its content was intelligible to most mathematicians.

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.37

30%
OFF
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott
MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE - SMULLYAN RAYMOND