Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31--November 1, 1997 (Q1613672)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Hendricks, V. F.; Pedersen, S. A.; Jørgensen, K. F.}, Introduction, 1-7 [Zbl 1012.03518] \textit{Feferman, Solomon}, Highlights in proof theory, 11-31 [Zbl 1013.03068] \textit{Corry, Leo}, The empiricist roots of Hilbert's axiomatic approach, 35-54 [Zbl 1012.03004] \textit{Rowe, David}, The calm before the storm: Hilbert's early views on foundations, 55-93 [Zbl 1031.01009] \textit{Sieg, Wilfried}, Toward finitist proof theory, 95-114 [Zbl 1015.03004] \textit{van Dalen, Dirk}, The development of Brouwer's intuitionism, 117-152 [Zbl 1013.03003] \textit{Epple, Moritz}, Did Brouwer's intuitionistic analysis satisfy its own epistemological standards?, 153-178 [Zbl 1013.03002] \textit{Feferman, Solomon}, The significance of Weyl's \textit{Das Kontinuum}, 179-194 [Zbl 1012.03005] \textit{Scholz, Erhard}, Herman Weyl on the concept of continuum, 195-217 [Zbl 1012.03003] \textit{Feferman, Solomon}, Relationships between constructive, predicative and classical systems of analysis, 221-236 [Zbl 1017.03036]