Graduate Comment on Nicolas Gisin "Intuitionistic Mathematics"?

  • Thread starter Thread starter Fra
  • Start date Start date
  • Tags Tags
    Mathematics
Click For Summary
The discussion centers on Nicolas Gisin's concept of "intuitionistic mathematics" and its implications for indeterminism in physics. Participants highlight the need for a mathematical framework that accommodates both scientific predictions and the passage of time, contrasting Gisin's approach with Lee Smolin's ideas on the evolution of laws. Gisin critiques traditional real numbers, suggesting that intuitionistic mathematics could better reflect the limitations of observers and their information capacity. The conversation also touches on the philosophical motivations behind these mathematical frameworks and their relevance to unresolved questions in physics, particularly regarding unification and fine-tuning. Overall, the dialogue emphasizes the importance of developing a mathematical language that aligns with the evolving nature of reality.
Fra
Messages
4,398
Reaction score
724
I noticed this https://www.physicsforums.com/forums/quantum-interpretations-and-foundations.292/ about Indeterminism in Physics and "Intuitionistic Mathematics" but it was already closed.

I just wanted to add that, although the value of these ideas are aren't clear from abstract of quick skimming, I immediately acknowledge some questions and subproblems that I think is important and quite deep and too important to be lost. The paper could perhaps have been written differently in order to not reject people. (quotes are from the paper https://arxiv.org/abs/2011.02348v1)

"scientific determinism would only be an illusion due to the timeless mathematical language scientists use."


This is also the essence of Smolins argument in "time reborn", the power of mathematics is because it's limited. The timeless laws and timeless mathematics are really just a limiting case, of describing a small subsystem from a dominant environment.

"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."


Smolin in his book also goes on at lenght in books and videos with examples and discussions on howto understand evolution of law, without resorting to "meta laws" in a meta state space. Smolins proposed solution was "evolution", in analogy to biological evolution (thereof his CNS hypothesis)

Gisins proposed solution here seems to be "intuitionistic mathematics", and critique agfainst real numbers. I must admitt that while the discussion has too much of a "human angle", I share the critiqued against the real numbers. most foundations of probability theory also takes this for granted.

The one thing that made to react to this, is that "intuitionistic mathematics" emphasies that the "operator/observer/agent" (I refuse to say human) shares analogies with intrinsic measures, where the idea is that an agents "meausre" must be constructable from what is available to the agent, and if the information capacitry is limited, then so is the set of possible instrinsice measures (or mathematics).

But this is very fuzzy, and for myself the motivation for such a programme is connected to finetuning, renormalization and unification (which would related to SR and GR of course), I wish I could understand the motivation (in terms of open question in phyusics, rather than merely philosophical terms) of the "intuitionistic mathematics".

I totally understand that this is difficult, so I haven en open mind, and aren't quite ready to judge this. Does anyone know another paper where the author connects these ideas of open problems or unification? This motivation should I think come first, in order to motivate readers.

So smolins constrasts the "newtonian paradigm" with "evolution of law and reality of time".
This author seems to constrast classical mathematics, with "intuitionistic mathematics"?

I think the two contrasting scenarios seem to have a common abstraction.

But there are differences. Smolin has no critique against real numbers in his books as far as I can remember.
The main problem I have is that "intuitionistic mathematics" seem to refer to humans? I wonder what Gisin would think about instead referring the construction beein "intuitionistic" relative to an abstract agent? This i would like to see more about if there is a paper.

/Fredrik
 
Physics news on Phys.org
I am slowly going through the book 'What Is a Quantum Field Theory?' by Michel Talagrand. I came across the following quote: One does not" prove” the basic principles of Quantum Mechanics. The ultimate test for a model is the agreement of its predictions with experiments. Although it may seem trite, it does fit in with my modelling view of QM. The more I think about it, the more I believe it could be saying something quite profound. For example, precisely what is the justification of...

Similar threads

Replies
7
Views
2K
  • · Replies 48 ·
2
Replies
48
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 65 ·
3
Replies
65
Views
11K
Replies
10
Views
3K
Replies
3
Views
3K
Replies
29
Views
5K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K