|
|
|
|
| LEADER |
03755nmm a2200373 u 4500 |
| 001 |
EB000722896 |
| 003 |
EBX01000000000000000575978 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9789401733274
|
| 100 |
1 |
|
|a DePauli-Schimanovich, Werner
|e [editor]
|
| 245 |
0 |
0 |
|a The Foundational Debate
|h Elektronische Ressource
|b Complexity and Constructivity in Mathematics and Physics
|c edited by Werner DePauli-Schimanovich, Eckehart Köhler, F. Stadler
|
| 250 |
|
|
|a 1st ed. 1995
|
| 260 |
|
|
|a Dordrecht
|b Springer Netherlands
|c 1995, 1995
|
| 300 |
|
|
|a XIV, 354 p
|b online resource
|
| 505 |
0 |
|
|a New Interpretations of Quantum Mechanics and the Theory of Knowledge -- Experiment, Entanglement and the Foundations of Quantum Mechanics -- Constructivism and Operationalism in the Foundations of Quantum Mechanics -- Computability in Quantum Mechanics -- Levels of Physical Theories -- A Constructivist Manifesto for the Physical Sciences — Constructive Re-Interpretation of Physical Undecidability -- How Far Can We Formalize Language Games? -- What is a Random String? -- Strong Determinism vs. Computability -- Capturing Relativized Complexity Classes with Lindström Quantifiers -- Why Constructive Mathematics? -- Hypothetical Extensions of Constructive Mathematics -- Constructions as the Subject Matter of Mathematics -- Verificationism Then and Now -- Logic and Mathematics -- A Connection between Leibniz’ Infinitely Small Quantities and the Analytical Hierarchy -- Extensional Equality in the Classical Theory of Types -- Hans Hahn and the Foundational Debate -- Crisis and Return of Intuition in Hans Hahn’s Philosophy of Mathematics -- How Can or Should the Recent Developments in Mathematics Influence the Philosophy of Mathematics? -- On the Vienna Circle in Exile: An Eyewitness Report -- Philipp Frank and the German Physical Society -- Reviews -- Vienna-Berlin-Prague: Centenaries Carnap, Reichenbach, Zilsel -- Activities of the Institute Vienna Circle -- Survey 1995 -- Preview 1996 -- Index of Names
|
| 653 |
|
|
|a Quantum Physics
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Logic
|
| 653 |
|
|
|a Artificial Intelligence
|
| 653 |
|
|
|a History
|
| 653 |
|
|
|a Quantum physics
|
| 653 |
|
|
|a Artificial intelligence
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 700 |
1 |
|
|a Köhler, Eckehart
|e [editor]
|
| 700 |
1 |
|
|a Stadler, F.
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Vienna Circle Institute Yearbook, Institute Vienna Circle, University of Vienna Vienna Circle Society, Society for the Advancement of Scientific World Conceptions
|
| 028 |
5 |
0 |
|a 10.1007/978-94-017-3327-4
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-94-017-3327-4?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 160
|
| 520 |
|
|
|a 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
|