file.pdf (314.86 kB)
Download file

"Clarifying the Nature of the Infinite": the Development of Metamathematics and Proof Theory

Download (314.86 kB)
journal contribution
posted 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.

History

Publisher Statement

All Rights Reserved

Date

11/12/2001

Usage metrics

Categories

Keywords

Exports