Access
To read this story in full you will need to login or make a payment (see right).
Books and Arts
Nature 454, 829 (14 August 2008) | doi:10.1038/454829a; Published online 13 August 2008
Open Innovation Challenges
-
Single-cell Analysis Platform
This Challenge is looking for novel approaches to analyzing changes at a single-cell level. This is...
-
Methods to Analyze Consumer Emotions
The Seeker is looking for methods to analyze consumer emotions. This Challenge requires only a writ...
- More Challenges
- Powered by:
nature jobs
Faculty Positions
- University of Texas Medical Branch
- Galveston, TX United States
Scientist / Sr. Scientist - Biopharmaceutics
- Syngene International
- Bangalore, Karnataka 560099 India
In Retrospect: Gödel's proof
Andrew Hodges1
Abstract
In today's computer age, the implications of the discovery in formal logic that Newman and Nagel articulated in 1958 are of even broader interest, says Andrew Hodges.
BOOK REVIEWED-Gödel's Proof
by Ernest Nagel & James R. Newman
New York University Press: 1958. 118 pp.
Fifty years ago an unusual book appeared. Its bald and unapologetic title, Gödel's Proof, must have left the casual browser wondering who or what Gödel was.
To read this story in full you will need to login or make a payment (see right).
MORE ARTICLES LIKE THIS
These links to content published by NPG are automatically generated.
NEWS AND VIEWS
Philosophy of science Theories of almost everythingNature News and Views (16 Oct 2008)
