Editing Hilbert's program (section)

== References ==
{{Reflist}}
*G. Gentzen, 1936/1969. Die Widerspruchfreiheit der reinen Zahlentheorie. ''[[Mathematische Annalen]]'' 112:493–565. Translated as 'The consistency of arithmetic', in ''The collected papers of Gerhard Gentzen'', M. E. Szabo (ed.), 1969.
*D. Hilbert. 'Die Grundlegung der elementaren Zahlenlehre'. ''Mathematische Annalen'' 104:485–94. Translated by W. Ewald as 'The Grounding of Elementary Number Theory', pp.&nbsp;266–273 in Mancosu (ed., 1998) ''From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s'', Oxford University Press. New York.
*[[Steve Simpson (mathematician)|S.G. Simpson]], 1988. [https://www.personal.psu.edu/t20/papers/hilbert-jsl-1988.pdf Partial realizations of Hilbert's program (pdf)]. ''[[Journal of Symbolic Logic]]'' 53:349–363.
*[[Richard Zach|R. Zach]], 2006. Hilbert's Program Then and Now. ''Philosophy of Logic'' 5:411–447, [https://arxiv.org/abs/math/0508572 arXiv:math/0508572] [math.LO].