[ExI] Gemini on Mathematical Realism

[Jason Resch]

On Fri, Oct 9, 2026 at 11:24 AM Stuart LaForge via extropy-chat <
extropy-chat at lists.extropy.org> wrote:

> On 2026-10-07 10:50, Jason Resch via extropy-chat wrote:
> > On Tue, Oct 6, 2026 at 6:23 PM Stuart LaForge via extropy-chat
> > <extropy-chat at lists.extropy.org> wrote:
> >
> >> On 2026-10-06 14:31, Jason Resch via extropy-chat wrote:
>
> [snip]


>
> ### Why This Preserves the "Hybrid" Identity
>
> Jason’s edge cases illustrate why the hybrid view avoids falling into
> either extreme:
>
> * **Why it isn't Strict Constructivism:** Strict constructivism asserts
> that *"without a physical witness, there is no truth."* That view forces
> one to conclude that the status of a mathematical truth flips back and
> forth depending on whether paper is burned (Case 2) or whether a rocket
> crosses an event horizon (Case 3). The hybrid view rejects this:
> physical destruction affects memory, not logic.
> * **Why it isn't Naive Platonism:** Naive Platonism claims that
> proposition $A$ existed as an eternal, uncreated abstract ghost *prior*
> to system $S$. The hybrid view asserts that $A$'s truth status was
> generated **as a direct consequence of specifying $S$**.
>
> Specification creates the room; logical necessity locks the doors.
> Whether any physical being ever enters the room is irrelevant to the
> fact that the doors are locked.
>
> -----------------------------------
>
> Gemini seem pretty certain of its "Formalism in construct, Realism in
> consequence" view. It acknowledges that you understand its views and the
> ramifications thereof. I suppose philosophers will soon be joining
> mathematicians and programmers in the unemployment queues. ;-)
>
>
>
Stuart, and Gemini,

Thank you for sharing and for engaging in this. All of the above answers
from Gemini were quite clarifying, and I now think I understand Gemini's
view.

But this leaves with me with final question: If specifying one formal
system is enough to bring about all the truths that follow from it, then
would introducing a system to describe all formal systems (some general
language/meta theory) be enough to bring about all formal systems (in the
same way that introducing Peano axioms is thought to bring about all
natural numbers)? Would Gödel's Theorem's be an example of this, being a
proof that applies to an infinite set of possible formal systems? Perhaps
this is what you originally meant in linking Gödel to Platonism (if that is
the case, then I am only now connecting the dots on it).

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20261009/2fcc3dee/attachment-0001.htm>