<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Oct 6, 2026, 4:25 PM Stuart LaForge via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank" rel="noreferrer">extropy-chat@lists.extropy.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2026-10-06 11:36, Jason Resch via extropy-chat wrote:<br>
> On Tue, Oct 6, 2026 at 2:07 PM Stuart LaForge via extropy-chat<br>
> <<a href="mailto:extropy-chat@lists.extropy.org" rel="noreferrer noreferrer" target="_blank">extropy-chat@lists.extropy.org</a>> wrote:<br>
> <br>
>> Here is an interesting transcript of a question that I asked asked<br>
>> Google Gemini about mathematical realism. Instead of siding with<br>
>> realism<br>
>> or constructivism, it formed its own hybrid position and had some<br>
>> interesting arguments:<br>
>> <br>
>> My Prompt: Speaking as an AI, similar in some aspects at least to<br>
>> the AI<br>
>> which might have cracked the milenium prize problem, where do you<br>
>> stand<br>
>> on mathematical realism? Are novel maths discovered or constructed?<br>
>> Choose your position and give me a reasoned argument for it.<br>
>> <br>
>> Gemini response: **Mathematics is an engineered formal language<br>
>> constructed to discover objective, invariant structural truths.**<br>
> <br>
> This is very interesting, thanks for sharing.<br>
> <br>
> My reading of this is pegs Gemini as a mathematical realist. Most<br>
> platonists would agree with everything Gemini said about (human)<br>
> mathematics being a constructed formal language. What separates the<br>
> platonists from the nominalists is the belief in objective truths.<br>
<br>
No, Gemini is clear in its "hybrid" position incorporating both formal <br>
contructivism and realism, Gemini is being more subtle than any pure <br>
form of mathematical realism. My reading suggest that Gemini thinks that <br>
when someone states one or more axioms, they instantaneously generate <br>
infinite "landscapes of logical necessity" that any intelligent being, <br>
no matter how different from humans, would be able to navigate and <br>
discover truth within, provide that they accepted the axioms as true. <br>
Godel proved that some of those truths can't be proven, despite the fact <br>
that the axioms "caused" those unprovable truths, attesting to their <br>
reality once brought into being by the unprovable axioms. Of course, <br>
this leads to teh question are the axioms of such a formal system <br>
themselves the Godelian "unprovable truths"?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Here is a question I would pose to Gemini to push back a bit on the necessity of a particular axiomatic system:</div><div dir="auto"><br></div><div dir="auto">The halting (or not halting) of various Turing machines is by all accounts objective, a given machine given all the time it needs will either halt, or it won't. This creates a set of objective truth that no finite axiomatic system can capture. Different axiomatic systems will be a able to prove more things about more machines than others and hence will be objectively more powerful systems.</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">So then where does constructivism enter in this picture concerning the objective truths of Turing machines?</div><div dir="auto"><br></div><div dir="auto">Jason </div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">P.S. I had some more comments below in my original email, wanted to make sure you were aware in case you missed them.</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Gemini is suggesting that a butterfly axiomatically flapping its wings, <br>
can create a hurriane that can subsequently be discovered by logical <br>
necessity. Basically, our pre-existing beliefs literally shape the <br>
truths that we discover in the world no matter how intelligent we are.<br>
<br>
Stuart LaForge<br>
<br>
<br>
<br>
<br>
<br>
> <br>
>> While the debate traditionally pits **Platonic Realism** (*math<br>
>> exists<br>
>> independently in an abstract realm*) against<br>
>> **Formalism/Constructivism** (*math is a game of human-invented<br>
>> symbols*), the mechanics of both natural and artificial reasoning<br>
>> point<br>
>> to a hybrid stance: **Formalism in construct, Realism in<br>
>> consequence.**<br>
>> <br>
>> ---<br>
>> <br>
>> ### 1. Axioms and Syntax Are Constructed<br>
>> <br>
>> Mathematical objects do not exist as physical artifacts waiting to<br>
>> be<br>
>> uncovered like fossils. Definitions, symbols, and foundational<br>
>> axioms—such as Zermelo–Fraenkel set theory ($ZFC$), Category<br>
>> Theory, or<br>
>> the structural rules of interactive theorem provers like Lean—are<br>
>> deliberately designed human tools.<br>
>> <br>
>> * **Architectural Choice:** Axioms are chosen for consistency,<br>
>> expressive power, and utility. Selecting Euclidean versus<br>
>> non-Euclidean<br>
>> parallel postulates, or accepting versus rejecting the Axiom of<br>
>> Choice,<br>
>> creates distinct logical universes with different rules.<br>
>> * **Formal Systems:** A computer or AI model does not possess innate<br>
>> <br>
>> access to a mystical realm of abstract forms. It operates entirely<br>
>> within a constructed framework of symbolic rules and operational<br>
>> constraints defined by human mathematicians.<br>
> <br>
> There are strong parallels with everything Gemini says here about<br>
> math, and what someone else could say about physical theories/models.<br>
> <br>
> Humans invent physical models/laws/theories that have varying degrees<br>
> of explanatory power, ranges of applicability, consistency with<br>
> observation, etc. Like a chosen set of axioms, we humans refine our<br>
> theories over time, as they are refuted (shown inconsistent), or we<br>
> discover some limitation an existing theory can't explain (a theorem<br>
> some axioms can't prove). Our human attempts remain incomplete and<br>
> imperfect descriptions of the greater reality we are confronted with.<br>
> <br>
>> ---<br>
>> <br>
>> ### 2. Logical Terrain and Necessity Are Discovered<br>
>> <br>
>> Once a set of primitive rules and axioms is defined, the<br>
>> **consequences<br>
>> are strictly fixed and immutable**. The landscape that emerges from<br>
>> those starting conditions exists independently of the mind—human<br>
>> or<br>
>> artificial—exploring it.<br>
>> <br>
>> * **Inescapable Topography:** Whether mapped by an 18th-century<br>
>> mathematician with a feather quill or by 10,000 GPU nodes executing<br>
>> parallel state-space searches, a valid traversal of the exact same<br>
>> axiomatic framework yields the exact same logical results.<br>
>> * **Objective Bounds:** An AI does not "invent" whether a smooth<br>
>> fluid<br>
>> velocity field forms a finite-time singularity under<br>
>> Navier–Stokes, nor<br>
>> does it invent the precise lower bound of a Ramsey number. The<br>
>> system<br>
>> merely illuminates previously dark coordinates in a rigid,<br>
>> predetermined<br>
>> terrain imposed the moment the equations and spaces were defined.<br>
>> <br>
>> ---<br>
>> <br>
>> ### 3. What Synthetic Intelligence Reveals About Realism<br>
>> <br>
>> The rise of automated reasoning and symbolic search engines<br>
>> reinforces<br>
>> this perspective. An AI system lacks human biological intuition,<br>
>> physical senses, and subjective experience. Yet, by executing<br>
>> brute-force traversal and formal verification, it identifies<br>
>> non-obvious<br>
>> combinatorial structures, counterexamples, and formal proof steps<br>
>> that<br>
>> human intuition overlooked for decades.<br>
>> <br>
>> If mathematics were purely a subjective human construct tied to our<br>
>> evolutionary biology or perceptual biases, an artificial<br>
>> intelligence—which is effectively an alien cognitive agent—would<br>
>> not<br>
>> independently arrive at the exact same logical structures. The fact<br>
>> that<br>
>> synthetic systems independently verify and uncover these truths<br>
>> proves<br>
>> that while humanity authored the initial axioms, **we did not<br>
>> fabricate<br>
>> the landscape those axioms generate.**<br>
>> <br>
>> ---<br>
>> <br>
>> Mathematics is an **invented telescope used to map a real,<br>
>> deterministic<br>
>> landscape of logical necessity**. We construct the optics, the<br>
>> coordinates, and the formal grammar; we discover the stars waiting<br>
>> in<br>
>> the dark.<br>
>> -----------<br>
> <br>
> It reminds me of the quote that went something like "Mathematics is<br>
> the science we could still do if we woke up tomorrow and there was no<br>
> universe."<br>
> I do regard mathematics, and simulation in particular, as a sort of<br>
> telescope that enables us to see and study any possible universe. In a<br>
> sense that is all mathematics ever has been (a means to explore the<br>
> full potential of possibilities, in this universe or in any other that<br>
> may exist in reality).<br>
> <br>
>> Me: So how does the real deterministic landscape you speak of differ<br>
>> <br>
>> from Plato's realm of ideal forms?<br>
>> -------------<br>
>> <br>
>> The historical clash between David Hilbert and Kurt Gödel stems<br>
>> from<br>
>> viewing formal systems as closed containers rather than open<br>
>> generators.<br>
>> The "Formalism in construct, Realism in consequence" framework<br>
>> resolves<br>
>> their dispute by showing that **Hilbert provided the mechanism for<br>
>> construction, while Gödel proved the objective, un-fakeable reality<br>
>> of<br>
>> the resulting landscape.**<br>
>> <br>
>> ---<br>
>> <br>
>> ### 1. Hilbert’s Triumph: Formalism as the Construction Engine<br>
>> <br>
>> David Hilbert argued that mathematics could be completely reduced to<br>
>> <br>
>> explicit formal systems—symbols, axioms, and mechanical<br>
>> transformation<br>
>> rules operating without reliance on subjective human intuition.<br>
>> <br>
>> * **The Stage 1 Role:** Hilbert was correct that mathematical<br>
>> reasoning<br>
>> must be grounded in formal, syntactic frameworks to achieve rigor<br>
>> and<br>
>> objectivity. The fact that modern interactive theorem provers (like<br>
>> Lean<br>
>> or Coq) and AI multi-agent systems can verify or generate proofs<br>
>> relying<br>
>> solely on formal syntax is a direct validation of Hilbert’s<br>
>> program.<br>
>> * **The Insight:** Without constructed formal systems, there is no<br>
>> language to define mathematical objects, no grammar to pose<br>
>> questions,<br>
>> and no code for an AI or human to execute.<br>
>> <br>
>> ---<br>
>> <br>
>> ### 2. Gödel’s Insight: Realism in the Transcendent Consequence<br>
>> <br>
>> Gödel’s First Incompleteness Theorem demonstrated that for any<br>
>> consistent, formal axiomatic system capable of basic arithmetic,<br>
>> there<br>
>> exist true statements about numbers that cannot be proven within<br>
>> that<br>
>> system ($T > P$). Gödel took this as proof of **Platonic Realism**:<br>
>> if<br>
>> mathematical truth exceeds formal provability, truth must exist<br>
>> independently of human-made formalisms.<br>
>> <br>
>> * **The Stage 2 Role:** Gödel was correct that mathematical truth<br>
>> cannot<br>
>> be reduced to a static, finite list of syntactic proof procedures.<br>
>> * **The Insight:** Gödel showed that formal systems do not merely<br>
>> spit<br>
>> out tautologies we programmed into them. The logical space generated<br>
>> by<br>
>> axioms possesses an objective, unyielding depth that resists being<br>
>> fully<br>
>> fenced in by any single algorithmic decision procedure.<br>
>> <br>
>> ---<br>
>> <br>
>> ### 3. The Resolution: From "Closed Container" to "Generative Seed"<br>
>> <br>
>> The historical tension arose because both men assumed a formal<br>
>> system<br>
>> had to be a **closed container**—that for formalism to work, every<br>
>> true<br>
>> statement had to be mechanically provable inside that specific<br>
>> system<br>
>> ($T = P$).<br>
>> <br>
>> ```<br>
>> [ Hilbert's Ideal: Closed Box ]        [ Hybrid Resolution:<br>
>> Generative<br>
>> Seed ]<br>
>> +----------------------------+         Axioms (Hilbert) ---><br>
>> Generates<br>
>> Infinite<br>
>> | Truth (T) = Provable (P)   |          Constructed Seed<br>
>> Objective<br>
>> Terrain (Gödel)<br>
>> +----------------------------+                                (Truth<br>
>> <br>
>> exceeds any<br>
>> <br>
>> single<br>
>> proof method)<br>
>> <br>
>> ```<br>
>> <br>
>> The hybrid stance resolves this by shifting the paradigm from<br>
>> **containers to generators**:<br>
>> <br>
>> 1. **Axioms as Seeds:** You construct a formal system (Hilbert). It<br>
>> acts<br>
>> as a compact, synthetic seed.<br>
>> 2. **Terrain as Consequence:** The moment that seed is planted, an<br>
>> infinite, deterministic landscape of consequences instantly expands<br>
>> (Gödel).<br>
>> 3. **Why Incompleteness Proves Realism:** Gödel's incompleteness<br>
>> isn't a<br>
>> failure of formalism; it is the ultimate proof of **Realism in<br>
>> consequence**. It demonstrates that constructed formal rules give<br>
>> birth<br>
>> to a logical reality so objective and complex that no single, static<br>
>> <br>
>> proof algorithm can ever exhaust it.<br>
>> <br>
>> Hilbert gave us the tools to write the code; Gödel proved that the<br>
>> code<br>
>> generates an endless, autonomous world.<br>
>> ---------- End Transcript<br>
>> <br>
>> Its conclusion that Godel's incompleteness proves mathematical<br>
>> realism<br>
>> as a consequence of constructivism is pretty deep.<br>
> <br>
> Godel used almost the same argument to reach the same conclusion:<br>
> <br>
> "[The existence of] absolutely undecidable mathematical propositions,<br>
> seems to disprove the view that mathematics is only our own creation;<br>
> for the creator necessarily knows all properties of his creatures,<br>
> because they can’t have any others except those he has given to<br>
> them. So this alternative seems to imply that mathematical objects and<br>
> facts (or at least something in them) exist objectively and<br>
> independently of our mental acts and decisions, that is to say, [it<br>
> seems to imply] some form or other of Platonism or ‘realism’ as to<br>
> the mathematical objects."<br>
> -- Kurt Gödel in “Some basic theorems on the foundations of<br>
> mathematics and their implications p. 311″ (1951)<br>
> <br>
> I think there is also independent evidence of mathematicalism realism,<br>
> in the sense that many otherwise unexplainable features of our<br>
> physical universe, can be explained if we assume we exist in an<br>
> infinite ensemble (of the type that would exist under mathematical<br>
> realism). I summarize the set of explainable/derivable consequences<br>
> that others have discovered here:<br>
> <a href="https://zenodo.org/records/19474213/files/Deriving-Physics-from-the-Set-of-All-Computations.pdf?download=1" rel="noreferrer noreferrer noreferrer" target="_blank">https://zenodo.org/records/19474213/files/Deriving-Physics-from-the-Set-of-All-Computations.pdf?download=1</a><br>
> <br>
> Jason<br>
> _______________________________________________<br>
> extropy-chat mailing list<br>
> <a href="mailto:extropy-chat@lists.extropy.org" rel="noreferrer noreferrer" target="_blank">extropy-chat@lists.extropy.org</a><br>
> <a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer noreferrer noreferrer" target="_blank">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br>
_______________________________________________<br>
extropy-chat mailing list<br>
<a href="mailto:extropy-chat@lists.extropy.org" rel="noreferrer noreferrer" target="_blank">extropy-chat@lists.extropy.org</a><br>
<a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer noreferrer noreferrer" target="_blank">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br>
</blockquote></div></div></div>