{"markup":"\u003C?xml version=\u00221.0\u0022 encoding=\u0022UTF-8\u0022 ?\u003E\n \u003Chtml version=\u0022HTML+RDFa+MathML 1.1\u0022\n xmlns:content=\u0022http:\/\/purl.org\/rss\/1.0\/modules\/content\/\u0022\n xmlns:dc=\u0022http:\/\/purl.org\/dc\/terms\/\u0022\n xmlns:foaf=\u0022http:\/\/xmlns.com\/foaf\/0.1\/\u0022\n xmlns:og=\u0022http:\/\/ogp.me\/ns#\u0022\n xmlns:rdfs=\u0022http:\/\/www.w3.org\/2000\/01\/rdf-schema#\u0022\n xmlns:sioc=\u0022http:\/\/rdfs.org\/sioc\/ns#\u0022\n xmlns:sioct=\u0022http:\/\/rdfs.org\/sioc\/types#\u0022\n xmlns:skos=\u0022http:\/\/www.w3.org\/2004\/02\/skos\/core#\u0022\n xmlns:xsd=\u0022http:\/\/www.w3.org\/2001\/XMLSchema#\u0022\n xmlns:mml=\u0022http:\/\/www.w3.org\/1998\/Math\/MathML\u0022\u003E\n \u003Chead\u003E\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022\/\/cdn.jsdelivr.net\/qtip2\/2.2.1\/jquery.qtip.min.js\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/highwire\/highwire\/plugins\/highwire_markup_process\/js\/highwire_article_reference_popup.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/highwire\/highwire\/plugins\/highwire_markup_process\/js\/highwire_article_glossary_popup.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/highwire\/highwire\/plugins\/highwire_markup_process\/js\/highwire_at_symbol.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022\u003E\n\u003C!--\/\/--\u003E\u003C![CDATA[\/\/\u003E\u003C!--\nwindow.MathJax = { menuSettings: { zoom: \u0022Click\u0022 } };\n\/\/--\u003E\u003C!]]\u003E\n\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/themes\/shared\/science_jcore\/library\/js\/swfobject.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/contrib\/google_analytics\/googleanalytics.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022\u003E\n\u003C!--\/\/--\u003E\u003C![CDATA[\/\/\u003E\u003C!--\n(function(i,s,o,g,r,a,m){i[\u0022GoogleAnalyticsObject\u0022]=r;i[r]=i[r]||function(){(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)})(window,document,\u0022script\u0022,\u0022\/\/www.google-analytics.com\/analytics.js\u0022,\u0022ga\u0022);ga(\u0022create\u0022, \u0022UA-189672-10\u0022, {\u0022cookieDomain\u0022:\u0022auto\u0022});ga(\u0022set\u0022, \u0022anonymizeIp\u0022, true);ga(\u0022send\u0022, \u0022pageview\u0022);\n\/\/--\u003E\u003C!]]\u003E\n\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022\u003E\n\u003C!--\/\/--\u003E\u003C![CDATA[\/\/\u003E\u003C!--\njQuery.extend(Drupal.settings, {\u0022basePath\u0022:\u0022\\\/\u0022,\u0022pathPrefix\u0022:\u0022\u0022,\u0022highwire\u0022:{\u0022ac\u0022:{\u0022\\\/sci\\\/298\\\/5600\\\/1899.atom\u0022:{\u0022access\u0022:{\u0022full\u0022:true},\u0022pisa_id\u0022:\u0022\u0022,\u0022apath\u0022:\u0022\\\/sci\\\/298\\\/5600\\\/1899.atom\u0022,\u0022jcode\u0022:\u0022sci\u0022}},\u0022processed\u0022:[\u0022highwire_math\u0022],\u0022markup\u0022:[{\u0022requested\u0022:\u0022long\u0022,\u0022variant\u0022:\u0022full-text\u0022,\u0022view\u0022:\u0022full\u0022,\u0022pisa\u0022:\u0022sci;298\\\/5600\\\/1899\u0022}]},\u0022instances\u0022:\u0022{\\u0022highwire_abstract_tooltip\\u0022:{\\u0022content\\u0022:{\\u0022text\\u0022:\\u0022\\u0022},\\u0022style\\u0022:{\\u0022tip\\u0022:{\\u0022width\\u0022:20,\\u0022height\\u0022:20,\\u0022border\\u0022:1,\\u0022offset\\u0022:0,\\u0022corner\\u0022:true},\\u0022classes\\u0022:\\u0022qtip-custom hw-tooltip hw-abstract-tooltip qtip-shadow qtip-rounded\\u0022,\\u0022classes_custom\\u0022:\\u0022hw-tooltip hw-abstract-tooltip\\u0022},\\u0022position\\u0022:{\\u0022at\\u0022:\\u0022right center\\u0022,\\u0022my\\u0022:\\u0022left center\\u0022,\\u0022viewport\\u0022:true,\\u0022adjust\\u0022:{\\u0022method\\u0022:\\u0022shift\\u0022}},\\u0022show\\u0022:{\\u0022event\\u0022:\\u0022mouseenter click \\u0022,\\u0022solo\\u0022:true},\\u0022hide\\u0022:{\\u0022event\\u0022:\\u0022mouseleave \\u0022,\\u0022fixed\\u0022:1,\\u0022delay\\u0022:\\u0022100\\u0022}},\\u0022highwire_author_tooltip\\u0022:{\\u0022content\\u0022:{\\u0022text\\u0022:\\u0022\\u0022},\\u0022style\\u0022:{\\u0022tip\\u0022:{\\u0022width\\u0022:15,\\u0022height\\u0022:15,\\u0022border\\u0022:1,\\u0022offset\\u0022:0,\\u0022corner\\u0022:true},\\u0022classes\\u0022:\\u0022qtip-custom hw-tooltip hw-author-tooltip qtip-shadow qtip-rounded\\u0022,\\u0022classes_custom\\u0022:\\u0022hw-tooltip hw-author-tooltip\\u0022},\\u0022position\\u0022:{\\u0022at\\u0022:\\u0022top center\\u0022,\\u0022my\\u0022:\\u0022bottom center\\u0022,\\u0022viewport\\u0022:true,\\u0022adjust\\u0022:{\\u0022method\\u0022:\\u0022\\u0022}},\\u0022show\\u0022:{\\u0022event\\u0022:\\u0022mouseenter \\u0022,\\u0022solo\\u0022:true},\\u0022hide\\u0022:{\\u0022event\\u0022:\\u0022mouseleave \\u0022,\\u0022fixed\\u0022:1,\\u0022delay\\u0022:\\u0022100\\u0022}},\\u0022highwire_reflinks_tooltip\\u0022:{\\u0022content\\u0022:{\\u0022text\\u0022:\\u0022\\u0022},\\u0022style\\u0022:{\\u0022tip\\u0022:{\\u0022width\\u0022:15,\\u0022height\\u0022:15,\\u0022border\\u0022:1,\\u0022mimic\\u0022:\\u0022top center\\u0022,\\u0022offset\\u0022:0,\\u0022corner\\u0022:true},\\u0022classes\\u0022:\\u0022qtip-custom hw-tooltip hw-ref-link-tooltip qtip-shadow qtip-rounded\\u0022,\\u0022classes_custom\\u0022:\\u0022hw-tooltip hw-ref-link-tooltip\\u0022},\\u0022position\\u0022:{\\u0022at\\u0022:\\u0022bottom left\\u0022,\\u0022my\\u0022:\\u0022top left\\u0022,\\u0022viewport\\u0022:true,\\u0022adjust\\u0022:{\\u0022method\\u0022:\\u0022flip\\u0022}},\\u0022show\\u0022:{\\u0022event\\u0022:\\u0022mouseenter \\u0022,\\u0022solo\\u0022:true},\\u0022hide\\u0022:{\\u0022event\\u0022:\\u0022mouseleave \\u0022,\\u0022fixed\\u0022:1,\\u0022delay\\u0022:\\u0022100\\u0022}}}\u0022,\u0022qtipDebug\u0022:\u0022{\\u0022leaveElement\\u0022:0}\u0022,\u0022googleanalytics\u0022:{\u0022trackOutbound\u0022:1,\u0022trackMailto\u0022:1,\u0022trackDownload\u0022:1,\u0022trackDownloadExtensions\u0022:\u00227z|aac|arc|arj|asf|asx|avi|bin|csv|doc(x|m)?|dot(x|m)?|exe|flv|gif|gz|gzip|hqx|jar|jpe?g|js|mp(2|3|4|e?g)|mov(ie)?|msi|msp|pdf|phps|png|ppt(x|m)?|pot(x|m)?|pps(x|m)?|ppam|sld(x|m)?|thmx|qtm?|ra(m|r)?|sea|sit|tar|tgz|torrent|txt|wav|wma|wmv|wpd|xls(x|m|b)?|xlt(x|m)|xlam|xml|z|zip\u0022,\u0022trackColorbox\u0022:1},\u0022ajaxPageState\u0022:{\u0022js\u0022:{\u0022\\\/\\\/cdn.jsdelivr.net\\\/qtip2\\\/2.2.1\\\/jquery.qtip.min.js\u0022:1,\u0022sites\\\/all\\\/modules\\\/highwire\\\/highwire\\\/plugins\\\/highwire_markup_process\\\/js\\\/highwire_article_reference_popup.js\u0022:1,\u0022sites\\\/all\\\/modules\\\/highwire\\\/highwire\\\/plugins\\\/highwire_markup_process\\\/js\\\/highwire_article_glossary_popup.js\u0022:1,\u0022sites\\\/all\\\/modules\\\/highwire\\\/highwire\\\/plugins\\\/highwire_markup_process\\\/js\\\/highwire_at_symbol.js\u0022:1,\u00220\u0022:1,\u0022sites\\\/all\\\/themes\\\/shared\\\/science_jcore\\\/library\\\/js\\\/swfobject.js\u0022:1,\u0022sites\\\/all\\\/modules\\\/contrib\\\/google_analytics\\\/googleanalytics.js\u0022:1,\u00221\u0022:1}}});\n\/\/--\u003E\u003C!]]\u003E\n\u003C\/script\u003E\n\u003Clink type=\u0022text\/css\u0022 rel=\u0022stylesheet\u0022 href=\u0022\/\/science.sciencemag.org\/sites\/default\/files\/advagg_css\/css__uXgUByez87OKDsgffPHe7u5qNUzr7zOnqWrSJ87THKk__RR-QNYl6SsTObm37M1MaRCUwwzIP19wUZLcqO_pRc1Q__XsalFtZsbNPALLax-8fH7HixiHHvzDq9qZh16uC5hvM.css\u0022 media=\u0022all\u0022 \/\u003E\n\u003Clink type=\u0022text\/css\u0022 rel=\u0022stylesheet\u0022 href=\u0022\/\/cdn.jsdelivr.net\/qtip2\/2.2.1\/jquery.qtip.min.css\u0022 media=\u0022all\u0022 \/\u003E\n\u003Clink type=\u0022text\/css\u0022 rel=\u0022stylesheet\u0022 href=\u0022\/\/science.sciencemag.org\/sites\/default\/files\/advagg_css\/css__ZxTSZxjFQhhxxAhSyQPbuNxMmdGnYQLyBtNQMEFbqiw__WiBSO_e7YseMUGvgpc7twz_z2KywHYH43RFy-bJtEIc__XsalFtZsbNPALLax-8fH7HixiHHvzDq9qZh16uC5hvM.css\u0022 media=\u0022all\u0022 \/\u003E\n\u003Clink rel=\u0027stylesheet\u0027 type=\u0027text\/css\u0027 href=\u0027\/sites\/all\/modules\/contrib\/panels\/plugins\/layouts\/onecol\/onecol.css\u0027 \/\u003E\u003C\/head\u003E\u003Cbody\u003E\u003Cdiv class=\u0022panels-ajax-tab-panel panels-ajax-tab-panel-jnl-sci-tab-art\u0022\u003E\u003Cdiv class=\u0022panel-display panel-1col clearfix\u0022 \u003E\n \u003Cdiv class=\u0022panel-panel panel-col\u0022\u003E\n \u003Cdiv\u003E\u003Cdiv class=\u0022panel-pane pane-highwire-markup\u0022\u003E\n \n \n \n \u003Cdiv class=\u0022pane-content\u0022\u003E\n \u003Cdiv class=\u0022highwire-markup\u0022\u003E\u003Cdiv xmlns=\u0022http:\/\/www.w3.org\/1999\/xhtml\u0022 id=\u0022content-block-markup\u0022 data-highwire-cite-ref-tooltip-instance=\u0022highwire_reflinks_tooltip\u0022 data-highwire-glossary-tooltip-instance=\u0022highwire_reflinks_tooltip\u0022 xmlns:xhtml=\u0022http:\/\/www.w3.org\/1999\/xhtml\u0022\u003E\u003Cdiv class=\u0022article fulltext-view \u0022\u003E\u003Cspan class=\u0022highwire-journal-article-marker-start\u0022\u003E\u003C\/span\u003E\u003Cp id=\u0022p-2\u0022\u003E\u003Cstrong\u003EI\u003C\/strong\u003En 1931, a young Austrian mathematician published a paper that sent shock waves through the mathematical community and forced mathematicians to take a fresh look at their discipline. The mathematician was Kurt G\u00f6del, and the result proved in his paper became known as the G\u00f6del Incompleteness Theorem, or more simply G\u00f6del\u0027s Theorem\u2014although it was by no means the only major theorem he proved during his highly successful career. He is also known as one of the inventors of the theory of recursive functions (which formed part of the foundation for computers).\u003C\/p\u003E\u003Cp id=\u0022p-3\u0022\u003EG\u00f6del was born on 28 April 1906, in what was then Br\u00fcnn in Austria, now Brno in the Czech Republic. By all accounts he was an outstanding pupil in high school and a star student at the University of Vienna, where he continued after graduation to obtain a doctoral degree in 1929. He went straight to a faculty position in Vienna, and it was there that he proved his Incompleteness Theorem. G\u00f6del remained in Vienna until 1940, when he fled the worsening Nazi atrocities to take up a position at the Institute for Advanced Study in Princeton, which he had already visited in 1934. He remained at Princeton until his death on 14 January 1978. It was an unlikely death for the man who was arguably the world\u0027s foremost expert in logic. A hypochondriac for much of his adult life, as he grew older, G\u00f6del became convinced that he was being poisoned. He eventually stopped eating altogether, and starved to death.\u003C\/p\u003E\u003Cp id=\u0022p-4\u0022\u003EG\u00f6del\u0027s decidedly illogical end did nothing to diminish his reputation. When \u003Cem\u003ETime\u003C\/em\u003E magazine conducted a poll 2 years ago to determine the most influential thinkers of the 20th century, G\u00f6del was one of just two mathematicians who made the top 20, along with Alan Turing.\u003C\/p\u003E\u003Cp id=\u0022p-5\u0022\u003EThe Incompleteness Theorem forced mathematicians to question what it means to say something is true in mathematics. The resulting change in our understanding of mathematics was every bit as dramatic as the change in our conception of geometry that followed the discovery of non-Euclidean geometries in the 19th century.\u003C\/p\u003E\u003Cp id=\u0022p-6\u0022\u003EBoth of these major discoveries involved axiomatic systems, and neither can be properly understood without an appreciation of what mathematicians means by the word \u201caxiom\u201d and the role axioms play in mathematics. A misunderstanding of the nature of axioms is what lies behind a significant amount of nonsense that has been written about G\u00f6del\u0027s Theorem over the years.\u003C\/p\u003E\u003Cp id=\u0022p-7\u0022\u003EIn brief, G\u00f6del\u0027s Theorem says that in any axiomatic mathematical system that is sufficiently rich to do elementary arithmetic, there will be some statements that are true but cannot be proved (from the axioms). In technical terminology, the axiom system must be incomplete.\u003C\/p\u003E\u003Cfigure class=\u0022fig pos-float odd figure figure--data\u0022 id=\u0022F1\u0022\u003E\n \u003Cdiv class=\u0022figure__head highwire-figure\u0022\u003E\n \u003Cdiv class=\u0022fig-inline\u0022\u003E\u003Ca href=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F1.medium.gif?width=800\u0026amp;height=600\u0026amp;carousel=1\u0022 title=\u0022Kurt G\u0026#xF6;del (1906\u0026#x2013;1978) \u0022 class=\u0022fragment-images colorbox-load\u0022 rel=\u0022gallery-fragment-images-794485692\u0022 data-figure-caption=\u0022\u0026lt;div class=\u0026quot;highwire-markup\u0026quot;\u0026gt;\u0026lt;span class=\u0026quot;caption-title\u0026quot;\u0026gt;Kurt G\u0026#xF6;del (1906\u0026#x2013;1978)\u0026lt;\/span\u0026gt;\u0026lt;q class=\u0026quot;attrib\u0026quot; id=\u0026quot;attrib-1\u0026quot;\u0026gt;CREDIT: INSTITUTE FOR ADVANCED STUDY, PRINCETON, NJ\u0026lt;\/q\u0026gt;\u0026lt;div class=\u0026quot;sb-div caption-clear\u0026quot;\/\u0026gt;\u0026lt;\/div\u0026gt;\u0022 data-icon-position=\u0022\u0022 data-hide-link-title=\u00220\u0022\u003E\u003Cspan class=\u0022hw-responsive-img\u0022\u003E\u003Cimg class=\u0022fragment-image lazyload\u0022 aria-describedby=\u0022F1-caption\u0022 src=\u0022data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\u0022 data-src=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F1.medium.gif\u0022\/\u003E\u003Cnoscript\u003E\u003Cimg class=\u0022fragment-image\u0022 aria-describedby=\u0022F1-caption\u0022 src=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F1.medium.gif\u0022\/\u003E\u003C\/noscript\u003E\u003C\/span\u003E\u003C\/a\u003E\u003C\/div\u003E \u003Cdiv class=\u0022figure__options\u0022\u003E\n \u003Cul class=\u0022highwire-figure-links\u0022\u003E\u003Cli class=\u00220 first\u0022\u003E\u003Ca href=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F1.medium.gif?download=true\u0022 class=\u0022highwire-figure-link highwire-figure-link-download link-icon\u0022 title=\u0022Download Figure1\u0022\u003E\u003Ci class=\u0022fa fa-download\u0022\u003E\u003C\/i\u003E \u003Cspan class=\u0022title\u0022\u003EDownload high-res image\u003C\/span\u003E\u003C\/a\u003E\u003C\/li\u003E\n\u003Cli class=\u00221\u0022\u003E\u003Ca href=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F1.medium.gif\u0022 class=\u0022highwire-figure-link highwire-figure-link-newtab link-icon\u0022 target=\u0022_blank\u0022\u003E\u003Ci class=\u0022fa fa-external-link\u0022\u003E\u003C\/i\u003E \u003Cspan class=\u0022title\u0022\u003EOpen in new tab\u003C\/span\u003E\u003C\/a\u003E\u003C\/li\u003E\n\u003Cli class=\u00222 last\u0022\u003E\u003Ca href=\u0022\/highwire\/powerpoint\/533625\u0022 class=\u0022highwire-figure-link highwire-figure-link-ppt link-icon\u0022\u003E\u003Ci class=\u0022fa fa-download\u0022\u003E\u003C\/i\u003E \u003Cspan class=\u0022title\u0022\u003EDownload Powerpoint\u003C\/span\u003E\u003C\/a\u003E\u003C\/li\u003E\n\u003C\/ul\u003E \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cfigcaption class=\u0022fig-caption attrib\u0022 id=\u0022F1-caption\u0022\u003E\n \u003Cspan class=\u0022caption-title\u0022\u003EKurt G\u00f6del (1906\u20131978)\u003C\/span\u003E\u003Cq class=\u0022attrib\u0022 id=\u0022attrib-1\u0022\u003ECREDIT: INSTITUTE FOR ADVANCED STUDY, PRINCETON, NJ\u003C\/q\u003E\u003Cdiv class=\u0022sb-div caption-clear\u0022\u003E\u003C\/div\u003E \u003C\/figcaption\u003E\n \u003C\/figure\u003E\u003Cp id=\u0022p-8\u0022\u003EAt the time G\u00f6del proved this theorem, it was widely believed that, with sufficient effort, mathematicians would eventually be able to formulate axioms to support all of mathematics. The Incompleteness Theorem flew in the face of this expectation, and many took it to imply that there is a limit to the mathematical knowledge we may acquire. Few mathematicians think that way now, however. The change in our conception of mathematical truth that Godel\u0027s theorem brought about was so complete, that today most of us view the result itself as merely a technical observation about the limitations of axiom systems.\u003C\/p\u003E\u003Cp id=\u0022p-9\u0022\u003ETo appreciate the initial impact of G\u00f6del\u0027s Theorem, you have to adopt the mind-set of the time. During the 19th century, mathematicians learned that many seemingly intuitive concepts were problematic, among them, the structure of the real continuum and the nature of continuous functions. To avoid what could be a misleading dependency on unreliable assumptions and intuitions, they began to put greater emphasis on a mode of doing mathematics introduced by the ancient Greeks, but which had been left largely on the sidelines ever since then: the axiomatic method. Here, the idea is to begin by writing down, precisely, an initial set of assumptions\u2014or axioms (from the Greek word \u003Cem\u003Eaxioma\u003C\/em\u003E)\u2014that you believe to capture the concept or system you are interested in. You then proceed to establish truths about that concept or system by means of logical deduction from those axioms.\u003C\/p\u003E\u003Cp id=\u0022p-10\u0022\u003EThe most familiar examples of this approach are Euclid\u0027s axioms for geometry. In his mammoth work \u003Cem\u003EElements\u003C\/em\u003E, Euclid began by listing five principles from which all truths about plane geometry were supposed to be deduced. Because axioms are intended to be the starting point of a quest for truth, their own validity should not be in any doubt, of course. The axioms should be simple assertions that are self-evident.\u003C\/p\u003E\u003Cp id=\u0022p-11\u0022\u003EThe fifth of Euclid\u0027s five axioms states that \u201cFor every line \u003Cem\u003El\u003C\/em\u003E and for every point \u003Cem\u003EP\u003C\/em\u003E that does not lie on \u003Cem\u003El\u003C\/em\u003E, there exists a unique line \u003Cem\u003Em\u003C\/em\u003E through \u003Cem\u003EP\u003C\/em\u003E that is parallel to \u003Cem\u003El\u003C\/em\u003E.\u201d Questions about this Parallel Postulate dogged Euclidean geometry for hundreds of years. The axiom was in doubt because it was far more difficult to state than the other four. Attempts to resolve the issue by deducing it from simpler assumptions continued in vain, until the shocking discovery that its inclusion\u2014while arguably in line with a natural human intuition about parallel lines\u2014was entirely arbitrary. The familiar geometry of Euclid, in which the Parallel Postulate was taken as an axiom, was just one of a number of possible geometries. Deciding between them was purely a matter of taste or of intended application.\u003C\/p\u003E\u003Cp id=\u0022p-12\u0022\u003EIn fact, there was a far greater problem with Euclid\u0027s axioms than his inclusion of the Parallel Postulate. His axiom system omitted many basic assumptions that he, and generations of subsequent scholars, unconsciously used in deriving the theorems that supposedly followed from the axioms. It was left to the German mathematician David Hilbert to set the record straight in the late 19th century, by writing down those crucial missing axioms.\u003C\/p\u003E\u003Cp id=\u0022p-13\u0022\u003ETo give some idea of the kind of problem that Hilbert noticed, consider one of Euclid\u0027s most elementary ruler-and-compass constructions, that of an equilateral triangle. You begin with a straight line, and then draw arcs from the ends of the line, with radius set equal to the line. The point where the arcs intersect marks the third vertex of your equilateral triangle. It all seems fairly sound. You can, after all, carry out these steps and draw an equilateral triangle.\u003C\/p\u003E\u003Cp id=\u0022p-14\u0022\u003EBut as Hilbert observed, how can you be sure that the two arcs really do intersect? That is, how do you know they have a point in common? Just because the arcs you draw on a sheet of paper look as though they meet, that does not guarantee that there really is a point of intersection. After all, unlike the pencil lines you actually draw, the idealized lines and arcs of geometry have no thickness. How can you be sure that two arcs having no thickness have a point in common? The answer is that you cannot. If you want the two arcs to intersect, you need to have an axiom that implies that they do. It is a reasonable axiom, completely in line with our intuitions about drawing arcs. But its status is that of an assumption, not something that can be proved.\u003C\/p\u003E\u003Cfigure class=\u0022fig pos-float odd figure figure--data\u0022 id=\u0022F2\u0022\u003E\n \u003Cdiv class=\u0022figure__head highwire-figure\u0022\u003E\n \u003Cdiv class=\u0022fig-inline\u0022\u003E\u003Ca href=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F2.medium.gif?width=800\u0026amp;height=600\u0026amp;carousel=1\u0022 title=\u0022\u0022 class=\u0022fragment-images colorbox-load\u0022 rel=\u0022gallery-fragment-images-794485692\u0022 data-figure-caption=\u0022\u0026lt;div class=\u0026quot;highwire-markup\u0026quot;\u0026gt;\u0026lt;q class=\u0026quot;attrib\u0026quot; id=\u0026quot;attrib-2\u0026quot;\u0026gt;CREDIT: JOE SUTLIFF\u0026lt;\/q\u0026gt;\u0026lt;div class=\u0026quot;sb-div caption-clear\u0026quot;\/\u0026gt;\u0026lt;\/div\u0026gt;\u0022 data-icon-position=\u0022\u0022 data-hide-link-title=\u00220\u0022\u003E\u003Cspan class=\u0022hw-responsive-img\u0022\u003E\u003Cimg class=\u0022fragment-image lazyload\u0022 aria-describedby=\u0022F2-caption\u0022 src=\u0022data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\u0022 data-src=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F2.medium.gif\u0022\/\u003E\u003Cnoscript\u003E\u003Cimg class=\u0022fragment-image\u0022 aria-describedby=\u0022F2-caption\u0022 src=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F2.medium.gif\u0022\/\u003E\u003C\/noscript\u003E\u003C\/span\u003E\u003C\/a\u003E\u003C\/div\u003E \u003Cdiv class=\u0022figure__options\u0022\u003E\n \u003Cul class=\u0022highwire-figure-links\u0022\u003E\u003Cli class=\u00220 first\u0022\u003E\u003Ca href=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F2.medium.gif?download=true\u0022 class=\u0022highwire-figure-link highwire-figure-link-download link-icon\u0022 title=\u0022Download Figure2\u0022\u003E\u003Ci class=\u0022fa fa-download\u0022\u003E\u003C\/i\u003E \u003Cspan class=\u0022title\u0022\u003EDownload high-res image\u003C\/span\u003E\u003C\/a\u003E\u003C\/li\u003E\n\u003Cli class=\u00221\u0022\u003E\u003Ca href=\u0022http:\/\/science.sciencemag.org\/content\/sci\/298\/5600\/1899\/F2.medium.gif\u0022 class=\u0022highwire-figure-link highwire-figure-link-newtab link-icon\u0022 target=\u0022_blank\u0022\u003E\u003Ci class=\u0022fa fa-external-link\u0022\u003E\u003C\/i\u003E \u003Cspan class=\u0022title\u0022\u003EOpen in new tab\u003C\/span\u003E\u003C\/a\u003E\u003C\/li\u003E\n\u003Cli class=\u00222 last\u0022\u003E\u003Ca href=\u0022\/highwire\/powerpoint\/533633\u0022 class=\u0022highwire-figure-link highwire-figure-link-ppt link-icon\u0022\u003E\u003Ci class=\u0022fa fa-download\u0022\u003E\u003C\/i\u003E \u003Cspan class=\u0022title\u0022\u003EDownload Powerpoint\u003C\/span\u003E\u003C\/a\u003E\u003C\/li\u003E\n\u003C\/ul\u003E \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cfigcaption class=\u0022fig-caption attrib\u0022 id=\u0022F2-caption\u0022\u003E\n \u003Cq class=\u0022attrib\u0022 id=\u0022attrib-2\u0022\u003ECREDIT: JOE SUTLIFF\u003C\/q\u003E\u003Cdiv class=\u0022sb-div caption-clear\u0022\u003E\u003C\/div\u003E \u003C\/figcaption\u003E\n \u003C\/figure\u003E\u003Cp id=\u0022p-15\u0022\u003EThe lesson to be learned from Hilbert\u0027s work is that it can be extremely difficult to identify all the assumptions that are used in any branch of mathematics. Following his work on the axioms for geometry, Hilbert put forward a view of mathematics that was to gain considerable acceptance. According to this view, which became known as formalism, mathematics should be regarded as being, at heart, nothing other than a collection of formal games, each one played according to completely specified rules.\u003C\/p\u003E\u003Cp id=\u0022p-16\u0022\u003ETo do Euclidean geometry, for instance, was to play the Euclidean geometry game. In that game, you start with the axioms for Euclidean geometry and then deduce all the truths of Euclidean geometry by means of mechanistic manipulations of symbols according to totally specified rules. Nothing could be used that was not specified by the axioms or the manipulation rules. In particular, no intuition about the nature of points or lines could or should be used. As Hilbert himself remarked, you could replace all talk about points and lines by reference to beer mugs and bar tables, provided you formulated the axioms in terms of those objects, and the resulting theory would be identical in all respects except for the actual words being used.\u003C\/p\u003E\u003Cp id=\u0022p-17\u0022\u003EBy removing all intuitions so that points and lines are no different from beer mugs and bar tables, the reasoning went, mathematics would be forever free from the dangers of unrecognized and possibly misleading assumptions. It would, in principle, be possible to design mechanical devices\u2014which, of course, have no intuitions\u2014to follow the rules and deduce all the truths for you. (This, remember, was before computers were invented.)\u003C\/p\u003E\u003Cp id=\u0022p-18\u0022\u003EThis approach to mathematics, to formulate all the axioms you need to deduce all the truths in a particular branch of mathematics mechanistically, became known as the Hilbert Program. For many, the search for axioms became something of a Holy Grail, although Hilbert, who had great respect for the role played by human intuition in the practice of mathematics, was not one of them, and never himself proposed that the program to which others attached his name should be carried out.\u003C\/p\u003E\u003Cp id=\u0022p-19\u0022\u003EOne of the most sustained efforts to carry out the Hilbert Program was made by the English philosophers Bertrand Russell and Alfred North Whitehead. Their mammoth, three-volume work, \u003Cem\u003EPrincipia Mathematica\u003C\/em\u003E, published from 1910 to 1913, was an attempt to develop basic arithmetic and logical reasoning itself from axioms.\u003C\/p\u003E\u003Cp id=\u0022p-20\u0022\u003EIt was the axiom system in \u003Cem\u003EPrincipia Mathematica\u003C\/em\u003E that G\u00f6del took, by way of an exemplar, to demonstrate beyond any doubt that the goal of the Hilbert Program was unattainable. He called his dramatic paper \u201cOn formal undecidable statements of Principia Mathematica and related systems.\u201d At the time that G\u00f6del proved it, the Incompleteness Theorem gained a reputation of being difficult to follow. But that has long ago given way to a realization that it is really a rather simple result. The complexities of G\u00f6del\u0027s original proof are largely irrelevant, a consequence of the particular way he presented the argument. In essence, G\u00f6del took the familiar Liar Paradox and showed how to reproduce it within any axiom system that supported arithmetic.\u003C\/p\u003E\u003Cp id=\u0022p-21\u0022\u003EThe Liar Paradox, which goes back to ancient Greece, arises when a person stands up and says \u201cI am lying.\u201d If the person is lying, then the statement is true, so they are not lying; and if they are not lying, the statement is false, so they are lying. This is a seemingly inescapable paradox. G\u00f6del took a similar statement, \u201cThis statement is not provable,\u201d and showed how it could be formulated as a mathematical formula within arithmetic.\u003C\/p\u003E\u003Cp id=\u0022p-22\u0022\u003EThis required, first of all, coding statements as numbers\u2014a process known as G\u00f6del numbering. At the time, this was regarded as a deep and difficult step, but today any number of spy movies have depicted the way in which English words and sentences can be encoded as sequences of numbers, often as part of the process of encrypting messages. G\u00f6del\u0027s next step was to show how the concept of provability could be captured within arithmetic. This was a somewhat deeper move, but to today\u0027s mathematicians it too seems fairly routine.\u003C\/p\u003E\u003Cp id=\u0022p-23\u0022\u003EOnce the coding had been completed, the noose was tight. If one assumed that the axiom systems were consistent (that is, they did not lead to any internal contradictions), the statement clearly could not be provable (since it declared its own unprovability). Hence it was true\u2014but unprovable.\u003C\/p\u003E\u003Cp id=\u0022p-24\u0022\u003ETo those mathematicians (the formalists) who believed that mathematical truth was the same as provability\u2014that the true statements of mathematics are precisely the ones you can prove from the axioms once you have formulated them all properly\u2014G\u00f6del\u0027s theorem was devastating. Today, however, as I remarked earlier, mathematicians regard it simply as confirming the limitations of what can be achieved with axiom systems.\u003C\/p\u003E\u003Cp id=\u0022p-25\u0022\u003EBut they are able to do so only because contemporary mathematics has learned the lesson that G\u00f6del\u0027s Theorem taught us. G\u00f6del\u0027s result may not have changed mathematics very much. But it changed the way we view it. His selection as one of the most influential thinkers of the 20th century is undoubtedly well deserved.\u003C\/p\u003E\u003Cspan class=\u0022highwire-journal-article-marker-end\u0022\u003E\u003C\/span\u003E\u003C\/div\u003E\u003Cspan id=\u0022related-urls\u0022\u003E\u003C\/span\u003E\u003C\/div\u003E\u003C\/div\u003E \u003C\/div\u003E\n\n \n \u003C\/div\u003E\n\u003C\/div\u003E\n \u003C\/div\u003E\n\u003C\/div\u003E\n\u003C\/div\u003E\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/highwire\/highwire\/plugins\/highwire_markup_process\/js\/highwire_openurl.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/highwire\/highwire\/plugins\/highwire_markup_process\/js\/highwire_google_scholar_sprinkle.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 defer=\u0022defer\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/libraries\/lazysizes\/lazysizes.min.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003Cscript type=\u0022text\/javascript\u0022 src=\u0022http:\/\/science.sciencemag.org\/sites\/all\/modules\/highwire\/highwire\/plugins\/highwire_markup_process\/js\/highwire_figures.js?pjafrd\u0022\u003E\u003C\/script\u003E\n\u003C\/body\u003E\u003C\/html\u003E"}