Indeterminism in physics and intuitionistic mathematics

DOI10.1007/S11229-021-03378-ZMaRDI QIDQ6180146zbMATH OpenOpenAlexFDO

Authors Nicolas Gisin

Publication date 19 January 2024

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2011.02348

zbMATH Keywords

indeterminismintuitionismfoundation of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Logic in the philosophy of science (03A10) Intuitionistic mathematics (03F55)

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.

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

Cites work

• scientific article; zbMATH DE number 5764997 (Why is no real title available?)
• scientific article; zbMATH DE number 1426646 (Why is no real title available?)
• scientific article; zbMATH DE number 3253161 (Why is no real title available?)
• A Suggested Interpretation of the Quantum Theory in Terms of "Hidden" Variables. I
• A constructive proof of Gleason's theorem
• Bohmian Mechanics
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• Gleason's theorem is not constructively provable
• Huygens' solution to the gambler's ruin problem
• Mathematical intuitionism
• Physics in My Generation
• Probabilistic semantics for intuitionistic logic
• Probabilistic semantics objectified: I. Postulates and logics
• Quantum chance. Nonlocality, teleportation and other quantum marvels. Translated from the French by Stephen Lyle
• Real numbers, chaos, and the principle of a bounded density of information
• The property lattice of spatially separated quantum systems
• The wave equation with computable initial data such that its unique solution is not computable
• Unified dynamics for microscopic and macroscopic systems
• Varieties of indeterminacy in the theory of general choice sequences

Cited in

(6)

• How real is incomputability in physics?
• Quantum epistemology and constructivism
• The open past in an indeterministic physics
• A stochastic model of mathematics and science
• Indeterminism in physics, classical chaos and Bohmian mechanics: are real numbers really real?
• Relational quantum mechanics and intuitionistic mathematics

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)