Date of Original Version
12-11-2001
Type
Technical Report
Abstract or Table of Contents
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.
Comments
Carnegie Mellon Technical Report CMU-PHIL-120.