file.pdf (314.86 kB)
Download file"Clarifying the Nature of the Infinite": the Development of Metamathematics and Proof Theory
journal contribution
posted on 2001-12-11, 00:00 authored by Jeremy AvigadJeremy Avigad, Erich H. ReckWe discuss the development of metamathematics in the Hilbert school,
and Hilbert’s proof-theoretic program in particular. We place this program
in a broader historical and philosophical context, especially with
respect to nineteenth century developments in mathematics and logic.
Finally, we show how these considerations help frame our understanding
of metamathematics and proof theory today.