Date of Original Version

12-11-2001

Type

Technical Report

Rights Management

All Rights Reserved

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.

Included in

Philosophy Commons

Share

COinS