Skip to main content
  • Book
  • © 1995

The Foundational Debate

Complexity and Constructivity in Mathematics and Physics

Part of the book series: Vienna Circle Institute Yearbook (VCIY, volume 3)

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 chapters)

  1. Front Matter

    Pages I-XIV
  2. Articles

    1. Complexity

      1. How Far Can We Formalize Language Games?
        • Rohit Parikh
        Pages 89-100
      2. What is a Random String?
        • Cristian Calude
        Pages 101-113
      3. Strong Determinism vs. Computability
        • Cristian Calude, Douglas I. Campbell, Karl Svozil, Doru Ştefănescu
        Pages 115-131
    2. Constructivism

      1. Why Constructive Mathematics?
        • Dirk van Dalen
        Pages 141-157
      2. Verificationism Then and Now
        • Per Martin-Löf
        Pages 187-196
      3. Logic and Mathematics
        • Jan Wolénski
        Pages 197-210

About this book

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics.
This `foundational debate' in computer science, mathematics and physics was already fully developed in 1930 in the Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics.

Editors and Affiliations

  • University of Vienna, Austria

    Werner Depauli-Schimanovich, Eckehart Köhler, Friedrich Stadler

  • Institut ‘Wiener Kreis’, Vienna, Austria

    Friedrich Stadler

Bibliographic Information

  • Book Title: The Foundational Debate

  • Book Subtitle: Complexity and Constructivity in Mathematics and Physics

  • Editors: Werner Depauli-Schimanovich, Eckehart Köhler, Friedrich Stadler

  • Series Title: Vienna Circle Institute Yearbook

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

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1995

  • Hardcover ISBN: 978-0-7923-3737-9Published: 30 September 1995

  • Softcover ISBN: 978-90-481-4617-8Published: 04 December 2010

  • eBook ISBN: 978-94-017-3327-4Published: 14 March 2013

  • Series ISSN: 0929-6328

  • Series E-ISSN: 2215-1818

  • Edition Number: 1

  • Number of Pages: XIV, 354

  • Topics: Logic, Mathematical Logic and Foundations, Quantum Physics, Artificial Intelligence, History, general

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access