"Clarifying the Nature of the Infinite": the Development of Metamathematics and Proof Theory
journal contributionposted on 11.12.2001, 00:00 by Jeremy AvigadJeremy Avigad, Erich H. Reck
We 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.