Acta Structuralica

international journal for structuralist research

Series | Book

COPR

Bookmark

The foundational debate

complexity and constructivity in mathematics and physics

edited byWerner Depauli Schimanovich Eckehart Köhler Friedrich Stadler

Details | Table of Contents

New interpretations of quantum mechanics and the theory of knowledge Roland Omnès

pp.1-11

https://doi.org/10.1007/978-94-017-3327-4_1

Experiment, entanglement and the foundations of quantum mechanics Anton Zeilinger

pp.13-19

https://doi.org/10.1007/978-94-017-3327-4_2

Constructivism and operationalism in the foundations of quantum mechanics Giulio Cattaneo

pp.21-31

https://doi.org/10.1007/978-94-017-3327-4_3

Computability in quantum mechanics Wayne C. Myrvold

pp.33-46

https://doi.org/10.1007/978-94-017-3327-4_4

Levels of physical theories Michael Stöltzner

pp.47-64

https://doi.org/10.1007/978-94-017-3327-4_5

A constructivist manifesto for the physical sciences — constructive re-interpretation of physical undecidability Karl Svozil

pp.65-88

https://doi.org/10.1007/978-94-017-3327-4_6

How far can we formalize language games? Rohit Parikh

pp.89-100

https://doi.org/10.1007/978-94-017-3327-4_7

What is a random string? Cristian Calude

pp.101-113

https://doi.org/10.1007/978-94-017-3327-4_8

Strong determinism vs. computability Cristian Calude Douglas Campbell Karl Svozil Doru Ştefănescu

pp.115-131

https://doi.org/10.1007/978-94-017-3327-4_9

Capturing relativized complexity classes with Lindström quantifiers Janos A. Makowsky

pp.133-140

https://doi.org/10.1007/978-94-017-3327-4_10

Why constructive mathematics? Dirk van Dalen

pp.141-157

https://doi.org/10.1007/978-94-017-3327-4_11

Hypothetical extensions of constructive mathematics Peter H. Krauss

pp.159-174

https://doi.org/10.1007/978-94-017-3327-4_12

Constructions as the subject matter of mathematics Pavel Tichý

pp.175-185

https://doi.org/10.1007/978-94-017-3327-4_13

Verificationism then and now Per Martin-Löf

pp.187-196

https://doi.org/10.1007/978-94-017-3327-4_14

Logic and mathematics Jan Woleński(Jagellonian University)

pp.197-210

https://doi.org/10.1007/978-94-017-3327-4_15

A connection between Leibniz' infinitely small quantities and the analytical hierarchy Karel Čuda

pp.211-218

https://doi.org/10.1007/978-94-017-3327-4_16

Extensional equality in the classical theory of types William W. Tait

pp.219-234

https://doi.org/10.1007/978-94-017-3327-4_17

Hans Hahn and the foundational debate Karl Sigmund

pp.235-245

https://doi.org/10.1007/978-94-017-3327-4_18

Crisis and return of intuition in Hans Hahn's philosophy of mathematics Erhard Oeser

pp.247-258

https://doi.org/10.1007/978-94-017-3327-4_19

How can or should the recent developments in mathematics influence the philosophy of mathematics? Hans-Christian Reichel

pp.259-268

https://doi.org/10.1007/978-94-017-3327-4_20

On the Vienna circle in exile

an eyewitness report

Gerald Holton

pp.269-292

https://doi.org/10.1007/978-94-017-3327-4_21

Philipp Frank and the German physical society Michael Stöltzner

pp.293-302

https://doi.org/10.1007/978-94-017-3327-4_22

Barry Smith, Austrian philosophy

pp.303-304

https://doi.org/10.1007/978-94-017-3327-4_23

Gustav Bergmann, New foundations of ontology Barry Smith

pp.304-306

https://doi.org/10.1007/978-94-017-3327-4_24

Kurt Baier, The rational and the moral order Uwe Czaniera

pp.306-310

https://doi.org/10.1007/978-94-017-3327-4_25

Thomas Oberdan, Protocols, truth and convention Thomas Uebel

pp.310-313

https://doi.org/10.1007/978-94-017-3327-4_26

Julian B. Barbour, Herbert Pfister, Mach's principle Michael Stöltzner

pp.313-315

https://doi.org/10.1007/978-94-017-3327-4_27

Vienna-Berlin-Prague

centenaries Carnap, Reichenbach, Zilsel

Michael Stöltzner

pp.317-342

https://doi.org/10.1007/978-94-017-3327-4_28

Publication details

Publisher: Springer

Place: Dordrecht

Year: 1995

Pages: 354

Series: Vienna Circle Institute Yearbook

Series volume: 3

DOI: 10.1007/978-94-017-3327-4

ISBN (hardback): 978-90-481-4617-8

ISBN (digital): 978-94-017-3327-4

Full citation:

Depauli Schimanovich Werner, Köhler Eckehart, Stadler Friedrich (1995) The foundational debate: complexity and constructivity in mathematics and physics. Dordrecht, Springer.