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
-
Direct Molecular Detection of Proteins and Nucleic Acids
This Challenge is looking for novel approaches to protein and nucleic acid detection. This is an Id...
-
Methods of Modeling Adaptation in Populations
The analysis of adaptation with a population is a frequently encountered computational modeling scen...
- More Challenges
- Powered by:
nature jobs
Post Doctoral Research Assistant
- University of Bedfordshire
- Bedford, UK
Physician / Senior Physician - Clinical Unit, Drug Discovery, R&D
- GlaxoSmithKline
- Cambridge, United Kingdom
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)
