The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994 (Q1581779)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Cattaneo, G.; Dalla Chiara, M. L.; Giuntini, R.}, Constructivism and operationalism in the foundations of quantum mechanics., 21-31 [Zbl 1057.81502] \textit{Myrvold, Wayne C.}, Computability in quantum mechanics., 33-46 [Zbl 1057.81511] \textit{Svozil, Karl}, A constructivist manifesto for the physical sciences -- constructive re-interpretation of physical undecidability, 65-88 [Zbl 0989.81509] \textit{Parikh, Rohit}, How far can we formalize language games?, 89-100 [Zbl 0966.03511] \textit{Calude, Cristian}, What is a random string?, 101-113 [Zbl 0960.68601] \textit{Calude, Cristian; Campbell, Douglas I.; Svozil, Karl; Ştefǎnescu, Doru}, Strong determinism vs. computability, 115-131 [Zbl 0970.03021] \textit{Makowsky, Janos A.}, Capturing relativized complexity classes with Lindström quantifiers, 133-140 [Zbl 0967.03507] \textit{van Dalen, Dirk}, Why constructive mathematics?, 141-157 [Zbl 0966.03523] \textit{Krauss, Peter H.}, Hypothetical extensions of constructive mathematics, 159-174 [Zbl 0966.03522] \textit{Tichý, Pavel}, Constructions as the subject matter of mathematics, 175-185 [Zbl 0966.03510] \textit{Martin-Löf, Per}, Verificationism then and now, 187-196 [Zbl 0966.03513] \textit{Wolénski, Jan}, Logic and mathematics, 197-210 [Zbl 0967.03002] \textit{Čuda, Karel}, A connection between Leibniz' infinitely small quantities and the analytical hierarchy, 211-218 [Zbl 0970.03043] \textit{Tait, William W.}, Extensional equality in the classical theory of types, 219-234 [Zbl 0966.03516] \textit{Sigmund, Karl}, Hans Hahn and the foundational debate, 235-245 [Zbl 0973.01029] \textit{Oeser, Erhard}, Crisis and return of intuition in Hans Hahn's philosophy of mathematics., 247-258 [Zbl 1057.00502] \textit{Reichel, Hans-Christian}, How can or should the recent developments in mathematics influence the philosophy of mathematics?, 259-268 [Zbl 0991.00001] \textit{Holton, Gerald}, On the Vienna circle in exile: An eyewitness report, 269-292 [Zbl 0973.01033]