×

Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31–November 1, 1997. (English) Zbl 0995.00008

Synthese Library. 292. Dordrecht: Kluwer Academic Publishers. xii, 244 p. (2002).

Show indexed articles as search result.

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

MSC:

00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
PDFBibTeX XMLCite