Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

  • Books & Arts
  • Published:

In Retrospect: Gödel's proof

Nature volume 454, page 829 (2008)Cite this article

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.

This is a preview of subscription content, access via your institution

Access options

Buy this article

  • Purchase on SpringerLink
  • Instant access to the full article PDF.

USD 39.95

Prices may be subject to local taxes which are calculated during checkout

Author information

Authors and Affiliations

  1. 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 ,

    Andrew Hodges

Authors
  1. Andrew Hodges
    View author publications

    Search author on:PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hodges, A. In Retrospect: Gödel's proof. Nature 454, 829 (2008). https://doi.org/10.1038/454829a

Download citation

  • Published:

  • Issue date:

  • DOI: https://doi.org/10.1038/454829a

Search

Advanced search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing