"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory (2001)
Cached
Download Links
- [www.andrew.cmu.edu]
- [www.andrew.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
Jeremy Avigad
,
Erich H. Reck
| Citations: | 4 - 2 self |
BibTeX
@MISC{Avigad01"clarifyingthe,
author = {Jeremy Avigad and Erich H. Reck},
title = {"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
