In Retrospect: Gödel's proof

Andrew Hodges
Additional contact information
Andrew Hodges: Andrew Hodges is a Fellow of Wadham College, University of Oxford, Oxford OX1 3PN, UK. He is author of Alan Turing: the Enigma. andrew.hodges@wadh.ox.ac.uk

Nature, 2008, vol. 454, issue 7206, 829-829

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.

Date: 2008
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.nature.com/articles/454829a Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:nat:nature:v:454:y:2008:i:7206:d:10.1038_454829a

Ordering information: This journal article can be ordered from
https://www.nature.com/

DOI: 10.1038/454829a

Access Statistics for this article

Nature is currently edited by Magdalena Skipper

More articles in Nature from Nature
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().