Editing Hilbert's second problem (section)

==References==
{{refbegin|2}}
* {{cite conference
 | last = Dawson | first = John W.
 | year = 2006
 | contribution = Shaken foundations or groundbreaking realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science.
 | title = 2006 21st Annual IEEE Symposium on Logic in Computer Science
 | publisher = IEEE
 | pages = 339&ndash;341
 | isbn = 0-7695-2631-4
 | doi = 10.1109/LICS.2006.47
}}
* {{cite journal
 | last = Detlefsen | first = Michael | authorlink = Michael Detlefsen 
 | title = On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem 
 | journal = Journal of Philosophical Logic 
 | doi = 10.1007/BF00263316
 | volume = 19
 | issue =  4 
 | year =  1990
 | pages = 343–377
 | publisher = Springer
 | s2cid = 44736805 
}}
* {{cite book
 | last = Franzen | first = Torkel | authorlink = Torkel Franzén
 | year = 2005
 | title = Godel's theorem: An Incomplete Guide to its Use and Abuse
 | publisher = [[A K Peters|A.K. Peters]]
 | location = [[Wellesley, Massachusetts|Wellesley MA]]
 | isbn = 1-56881-238-8
}}
* {{cite journal
 | last = Gentzen | first = Gerhard | authorlink = Gerhard Gentzen
 | year = 1936
 | title = Die Widerspruchsfreiheit der reinen Zahlentheorie
 | journal = Mathematische Annalen
 | volume = 112
 | page = 493&ndash;565
 | publisher = Springer
 | doi = 10.1007/BF01565428
}}
* {{cite journal
 | last = Gödel | first = Kurt | author-link = Kurt Gödel
 | year = 1931
 | title = Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I
 | url = http://home.ddc.net/ygg/etext/godel/
 | journal = Monatshefte für Mathematik und Physik
 | volume = 38
 | pages = 173–98
 | doi = 10.1007/BF01700692
 | s2cid = 197663120
 | url-status = dead
 | archive-url = https://web.archive.org/web/20060705205103/http://home.ddc.net/ygg/etext/godel/
 | archive-date = 2006-07-05
}} <!-- note that this is translated in English, in van Heijenoort (1967) -->
* {{cite journal
 | last = Hilbert | first = David | authorlink = David Hilbert
 | title = Über den Zahlbegriff
 | journal = Jahresbericht der Deutschen Mathematiker-Vereinigung
 | year = 1900
 | volume = 8
 | pages = 180–184
 | url = http://resolver.sub.uni-goettingen.de/purl?PPN37721857X
}}
* {{cite journal
 | last = Hilbert | first = David | author-mask = 3
 | orig-year = 1900
 | year = 1901
 | title = Mathematische Probleme
 | journal = Archiv der Mathematik und Physik
 | volume = 3
 | issue = 1
 | pages = 44&ndash;63, 213&ndash;237}}
* {{cite conference
  | last = Kreisel | first = George | authorlink = George Kreisel
  | title = What have we learnt from Hilbert's second problem?
  | book-title = Mathematical developments arising from Hilbert problems (Proc. Sympos. Pure Math., Northern Illinois Univ., De Kalb, Ill.,)
  | pages = 93&ndash;130
  | publisher = Amer. Math. Soc.
  | year = 1976 
  | location = Providence, R. I.
  | isbn = 0-8218-1428-1
}}
* {{cite journal
 | title = Mathematical Problems
 | journal = [[Bulletin of the American Mathematical Society]]
 | volume = 8
 | year = 1902
 | pages = 437&ndash;479
 | publisher = [[American Mathematical Society]]
 | ref = {{harvid|American Mathematical Society|1902}}
 | url = https://www.ams.org/journals/bull/1902-08-10/S0002-9904-1902-00923-3/S0002-9904-1902-00923-3.pdf
}}
* {{cite book
 | last1 = Nagel | first1 = Ernest | authorlink1 = Ernest Nagel
 | last2 = Newman | first2 = James R. | authorlink2 = James R. Newman
 | title = Godel's Proof
 | publisher = New York University Press
 | year = 1958
}}
* {{cite book
 | last1 = Nagel | first1 = Ernest | author1-mask = 3
 | last2 = Newman | first2 = James R. | author2-mask = 3
 | title = Godel's Proof
 | year = 2001
 | publisher = New York University Press
 | url = https://books.google.com/books?id=oQsUCgAAQBAJ&pg=PA107
 | editor-last = Hofstadter | editor-first = Douglas R. | editor-link = Douglas R. Hofstadter
 | isbn = 9780814758014
}}
* {{cite journal
 | last = Simpson | first = Stephen G. | authorlink = Stephen G. Simpson
 | doi = 10.2307/2274508
 | title = Partial realizations of Hilbert's Program
 | jstor = 2274508
 | journal = Journal of Symbolic Logic
 | volume = 53
 | issue = 2
 | year = 1988 
 | pages = 349&ndash;363
 | issn = 0022-4812 
 | citeseerx = 10.1.1.79.5808}}
* {{cite journal
 | last = Tait | first= William W. | authorlink = William W. Tait
 | year = 2005
 | title = Gödel's reformulation of Gentzen's first consistency proof of arithmetic: the no-counterexample interpretation
 | journal = Bulletin of Symbolic Logic
 | volume = 11
 | issue = 2
 | pages = 225&ndash;238
 | jstor = 1556751
}}
* {{cite book
 | last = van Heijenoort | first = Jean | authorlink = Jean van Heijenoort
 | year = 1967
 | title = From Frege to Gödel: A Source Book on Mathematical Logic
 | publisher = Harvard University Press
 | pages = 596-616}}.
{{refend}}
<!-- not cited at the moment, I don't know that it is relevant
*[[Stephen Kleene]] (1952) ''Introduction to Metamathematics''. Walters-Noordhoff & North-Holland, with corrections (6th imprint 1971); Tenth impression 1991, ISBN 0-7204-2103-9. -->
<!-- not cited at the moment
* [[Torkel Franzén]], ''Gödel's Theorem: An Incomplete Guide to Its Use and Abuse'', AK Peters, Wellesley, Mass., 2005.
-->