[ExI] Gemini on Mathematical Realism

[Stuart LaForge]

On 2026-10-06 14:31, Jason Resch via extropy-chat wrote:

> P.S. I had some more comments below in my original email, wanted to
> make sure you were aware in case you missed them.

Gemini:
>>>> ---
>>>> 
>>>> ### 1. Axioms and Syntax Are Constructed
>>>> 
>>>> Mathematical objects do not exist as physical artifacts waiting
>> to
>>>> be
>>>> uncovered like fossils. Definitions, symbols, and foundational
>>>> axioms—such as Zermelo–Fraenkel set theory ($ZFC$), Category
>>>> Theory, or
>>>> the structural rules of interactive theorem provers like
>> Lean—are
>>>> deliberately designed human tools.
>>>> 
>>>> * **Architectural Choice:** Axioms are chosen for consistency,
>>>> expressive power, and utility. Selecting Euclidean versus
>>>> non-Euclidean
>>>> parallel postulates, or accepting versus rejecting the Axiom of
>>>> Choice,
>>>> creates distinct logical universes with different rules.
>>>> * **Formal Systems:** A computer or AI model does not possess
>> innate
>>>> 
>>>> access to a mystical realm of abstract forms. It operates
>> entirely
>>>> within a constructed framework of symbolic rules and operational
>>>> constraints defined by human mathematicians.
-------------
Jason:
>>> There are strong parallels with everything Gemini says here about
>>> math, and what someone else could say about physical
>> theories/models.
>>> 
>>> Humans invent physical models/laws/theories that have varying
>> degrees
>>> of explanatory power, ranges of applicability, consistency with
>>> observation, etc. Like a chosen set of axioms, we humans refine
>> our
>>> theories over time, as they are refuted (shown inconsistent), or
>> we
>>> discover some limitation an existing theory can't explain (a
>> theorem
>>> some axioms can't prove). Our human attempts remain incomplete and
>>> imperfect descriptions of the greater reality we are confronted
>> with.
--------------

Me: As a fellow human, I completely concur. But, Gemini is saying that 
no matter how much or little of it that you see, the entailments that 
your axioms imply actually determine a landscape of truth far larger and 
richer than you comprehend. :)
---------------------

Gemini:

>>>> Mathematics is an **invented telescope used to map a real,
>>>> deterministic
>>>> landscape of logical necessity**. We construct the optics, the
>>>> coordinates, and the formal grammar; we discover the stars
>> waiting
>>>> in
>>>> the dark.
>>>> -----------

Jason:
>>> It reminds me of the quote that went something like "Mathematics
>> is
>>> the science we could still do if we woke up tomorrow and there was
>> no
>>> universe."
>>> I do regard mathematics, and simulation in particular, as a sort
>> of
>>> telescope that enables us to see and study any possible universe.
>> In a
>>> sense that is all mathematics ever has been (a means to explore
>> the
>>> full potential of possibilities, in this universe or in any other
>> that
>>> may exist in reality).
------------
Me:
>>>> Its conclusion that Godel's incompleteness proves mathematical
>>>> realism
>>>> as a consequence of constructivism is pretty deep.

Jason:
>>> Godel used almost the same argument to reach the same conclusion:
>>> 
>>> "[The existence of] absolutely undecidable mathematical
>> propositions,
>>> seems to disprove the view that mathematics is only our own
>> creation;
>>> for the creator necessarily knows all properties of his creatures,
>>> because they can’t have any others except those he has given to
>>> them. So this alternative seems to imply that mathematical objects
>> and
>>> facts (or at least something in them) exist objectively and
>>> independently of our mental acts and decisions, that is to say,
>> [it
>>> seems to imply] some form or other of Platonism or ‘realism’
>> as to
>>> the mathematical objects."
>>> -- Kurt Gödel in “Some basic theorems on the foundations of
>>> mathematics and their implications p. 311″ (1951)

Gemini is saying that all axioms imply a universe of objective truth 
that is discoverable by any intelligence that accepts those axioms as 
true. Note that the objective truth, in this case, can apply equally to 
pure math or physical law. The objectivity of this truth stems from the 
fact that all beings that truly understood the question would agree upon 
the answer. In that instance, the answer is the objective truth for all 
intents and purposes.


----------------
Jason:
>>> 
>>> I think there is also independent evidence of mathematicalism
>> realism,
>>> in the sense that many otherwise unexplainable features of our
>>> physical universe, can be explained if we assume we exist in an
>>> infinite ensemble (of the type that would exist under mathematical
>>> realism). I summarize the set of explainable/derivable
>> consequences
>>> that others have discovered here:
>> 
> https://zenodo.org/records/19474213/files/Deriving-Physics-from-the-Set-of-All-Computations.pdf?download=1

I think that the completely different definitions of reality and realism 
between math and physics (most notably quantum) make any coherent 
discussion involving both physics and math using the same word "real" 
fraught with misunderstanding. I am working on some metaphysical 
formalism that addresses this that I am looking forward to sharing with 
you in the future.

Stuart LaForge