Related papers: Indeterminism in Physics and Intuitionistic Mathematics

Indeterminism in Physics and Intuitionistic Mathematics

URL: http://arxiv.org/abs/2011.02348v1
Date: Wed, 4 Nov 2020 15:24:14 GMT
Title: Indeterminism in Physics and Intuitionistic Mathematics
Authors: Nicolas Gisin
Abstract summary: Most physics theories are deterministic, with the notable exception of quantum mechanics. This state of affairs might well be due to the inability of standard mathematics to "speak" of indeterminism. We argue that intuitionistic mathematics provides such a language and we illustrate it in simple terms.
Score: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
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.

Related papers

Elegance, Facts, and Scientific Truths [0.0]
I argue that scientific determinism is not supported by facts, but results from the elegance of the mathematical language physicists use. Some experiments prove that nature is able to continually produce new information, hence support indeterminism in physics.
arXiv Detail & Related papers (2024-10-02T06:50:02Z)
Machine learning and information theory concepts towards an AI Mathematician [77.63761356203105]
The current state-of-the-art in artificial intelligence is impressive, especially in terms of mastery of language, but not so much in terms of mathematical reasoning. This essay builds on the idea that current deep learning mostly succeeds at system 1 abilities. It takes an information-theoretical posture to ask questions about what constitutes an interesting mathematical statement.
arXiv Detail & Related papers (2024-03-07T15:12:06Z)
Betting on what is neither verifiable nor falsifiable [18.688474183114085]
We propose an approach to betting on such events via options, or equivalently as bets on the outcome of a "verification-falsification game" Our work thus acts as an alternative to the existing framework of Garrabrant induction for logical uncertainty, and relates to the stance known as constructivism in the philosophy of mathematics.
arXiv Detail & Related papers (2024-01-29T17:30:34Z)
Peano: Learning Formal Mathematical Reasoning [35.086032962873226]
General mathematical reasoning is computationally undecidable, but humans routinely solve new problems. We posit that central to both puzzles is the structure of procedural abstractions underlying mathematics. We explore this idea in a case study on 5 sections of beginning algebra on the Khan Academy platform.
arXiv Detail & Related papers (2022-11-29T01:42:26Z)
An Enactivist-Inspired Mathematical Model of Cognition [5.8010446129208155]
We formulate five basic tenets of enactivist cognitive science that we have carefully identified in the relevant literature. We then develop a mathematical framework to talk about cognitive systems which complies with these enactivist tenets.
arXiv Detail & Related papers (2022-06-10T13:03:47Z)
Let the Mathematics of Quantum Speak: Allowed and Unallowed Logic [0.0]
The mathematics/formalism of quantum, compared with classical, physics, may be fairly basically characterized by non-commutative algebras replacing commutative. One may have the latter only in a haven' of approximately commutative algebras of quasi-classical macroscopic observables', and moreover that yes-no actual world' would plainly be an extra ingredient' to the base quantum theory itself.
arXiv Detail & Related papers (2021-12-30T22:03:33Z)
Quantum realism: axiomatization and quantification [77.34726150561087]
We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory. We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
arXiv Detail & Related papers (2021-10-10T18:08:42Z)
Overturning negative construal of quantum superposition [0.0]
Construal of observable facts or events is based on mathematical formulas of a theory suggested as a reasonable explanation for physical phenomena. A case in point is negative construal of quantum superposition causing the problem of definite outcomes. The usual approach to the problem of definite outcomes is to modify the quantum mathematical formalism by adding to it some extra postulates.
arXiv Detail & Related papers (2021-07-16T16:06:23Z)
The arithmetic of uncertainty unifies quantum formalism and relativistic spacetime [0.0]
Quantum theory deals with objects probabilistically at small scales, whereas relativity deals classically with motion in space and time. We show here that the mathematical structures of quantum theory and of relativity follow together from pure thought. One dimension of time and three dimensions of space are thus derived as the profound and inevitable framework of physics.
arXiv Detail & Related papers (2020-12-19T20:40:27Z)
Indeterminism, causality and information: Has physics ever been deterministic? [0.0]
We show that there exist alternative stories to be told in which classical mechanics can be interpreted as a fundamentally indeterministic theory. On the one hand, this leaves room for the many possibilities of an open future, yet, it brings into classical physics some of the conceptual issues typical of quantum mechanics.
arXiv Detail & Related papers (2020-03-16T19:05:31Z)

This list is automatically generated from the titles and abstracts of the papers in this site.