This document is unfortunately not available for download at the moment.
- Series
- Vienna Circle Institute Yearbook
- Date
- 1995
- Publisher
- Springer
- Place
- Dordrecht
- Pages
- 354
- ISBN
- 978-90-481-4617-8
Werner Depauli Schimanovich
Eckehart Köhler
Friedrich Stadler
The foundational debate
complexity and constructivity in mathematics and physics
Werner Depauli Schimanovich , Eckehart Köhler , Friedrich Stadler
1-11
13-19
21-31
33-46
Computability in quantum mechanics
Myrvold Wayne C.
47-64
Levels of physical theories
Stöltzner Michael
65-88
89-100
How far can we formalize language games?
Parikh Rohit
101-113
What is a random string?
Calude Cristian
115-131
Strong determinism vs. computability
Calude Cristian; Campbell Douglas; Svozil Karl; Ştefănescu Doru
133-140
Capturing relativized complexity classes with Lindström quantifiers
Makowsky Janos A.
141-157
Why constructive mathematics?
Dirk van Dalen
159-174
Hypothetical extensions of constructive mathematics
Krauss Peter H.
175-185
187-196
Verificationism then and now
Martin-Löf Per
197-210
Logic and mathematics
Woleński Jan
211-218
219-234
Extensional equality in the classical theory of types
Tait William W.
235-245
Hans Hahn and the foundational debate
Sigmund Karl
247-258
259-268
How can or should the recent developments in mathematics influence the philosophy of mathematics?
Reichel Hans-Christian
269-292
On the Vienna circle in exile
Holton Gerald
293-302
Philipp Frank and the German physical society
Stöltzner Michael
303-304
304-306
306-310
310-313
313-315
317-342
Vienna-Berlin-Prague
Stöltzner Michael
Not implemented yet !