The Foundational Debate

Complexity and Constructivity in Mathematics and Physics

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

Part of the Vienna Circle Institute Yearbook [1995] book series (VCIY, volume 3)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Articles

    1. Physics

    2. Complexity

      1. Rohit Parikh
        Pages 89-100
      2. Cristian Calude
        Pages 101-113
      3. Cristian Calude, Douglas I. Campbell, Karl Svozil, Doru Ştefănescu
        Pages 115-131
    3. Constructivism

    4. Hans Hahn

  3. Report — Documentation

    1. Michael Stöltzner
      Pages 293-302
  4. Reviews

  5. Review Essay

  6. Back Matter
    Pages 343-354

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.


complexity mathematics mechanics philosophy proof quantum mechanics

Editors and affiliations

  • Werner Depauli-Schimanovich
    • 1
  • Eckehart Köhler
    • 1
  • Friedrich Stadler
    • 2
    • 3
  1. 1.University of ViennaAustria
  2. 2.Institut ‘Wiener Kreis’ViennaAustria
  3. 3.University of ViennaAustria

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1995
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-4617-8
  • Online ISBN 978-94-017-3327-4
  • Series Print ISSN 0929-6328
  • Buy this book on publisher's site