Proof Theory: History and Philosophical Significance (repost)
Proof Theory: History and Philosophical Significance
Springer | 2000 | ISBN: 0792365445 | 256 pages | Djvu | 3,3 MB
Springer | 2000 | ISBN: 0792365445 | 256 pages | Djvu | 3,3 MB
The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert's original program to its modern, highly articulated form. This volume is a collection of papers presented at the conference.