Indeterminism in physics and intuitionistic mathematics
From MaRDI portal
Publication:6180146
DOI10.1007/S11229-021-03378-ZzbMATH Open1528.03082arXiv2011.02348OpenAlexW3097692516MaRDI QIDQ6180146FDOQ6180146
Authors: Nicolas Gisin 
Publication date: 19 January 2024
Published in: Synthese (Search for Journal in Brave)
Abstract: Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to "speak" of indeterminism, its inability to present us a worldview in which new information is created as time passes. In such a case, scientific determinism would only be an illusion due to the timeless mathematical language scientists use. To investigate this possibility it is necessary to develop an alternative mathematical language that is both powerful enough to allow scientists to compute predictions and compatible with indeterminism and the passage of time. We argue that intuitionistic mathematics provides such a language and we illustrate it in simple terms.
Full work available at URL: https://arxiv.org/abs/2011.02348
Recommendations
- Intuitionistic mathematics and realizability in the physical world
- Quantum mechanics as an intuitionistic form of classical mechanics
- Indeterminism in physics, classical chaos and Bohmian mechanics: are real numbers really real?
- Quantum theory and determinism
- Mathematics: intuition's consistency check
Philosophy of mathematics (00A30) Logic in the philosophy of science (03A10) Intuitionistic mathematics (03F55)
Cites Work
- Unified dynamics for microscopic and macroscopic systems
- Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
- A Suggested Interpretation of the Quantum Theory in Terms of "Hidden" Variables. I
- The wave equation with computable initial data such that its unique solution is not computable
- Title not available (Why is that?)
- Quantum chance. Nonlocality, teleportation and other quantum marvels. Translated from the French by Stephen Lyle
- Bohmian Mechanics
- The property lattice of spatially separated quantum systems
- A constructive proof of Gleason's theorem
- Probabilistic semantics for intuitionistic logic
- Physics in My Generation
- Gleason's theorem is not constructively provable
- Title not available (Why is that?)
- Varieties of indeterminacy in the theory of general choice sequences
- Huygens' solution to the gambler's ruin problem
- Probabilistic semantics objectified: I. Postulates and logics
- Title not available (Why is that?)
- Mathematical intuitionism
- Real numbers, chaos, and the principle of a bounded density of information
Cited In (6)
- Indeterminism in physics, classical chaos and Bohmian mechanics: are real numbers really real?
- A stochastic model of mathematics and science
- Relational quantum mechanics and intuitionistic mathematics
- The open past in an indeterministic physics
- Quantum epistemology and constructivism
- How real is incomputability in physics?
This page was built for publication: Indeterminism in physics and intuitionistic mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180146)
