<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, Oct 6, 2026 at 6:23 PM Stuart LaForge via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org">extropy-chat@lists.extropy.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2026-10-06 14:31, Jason Resch via extropy-chat wrote:<br><br></blockquote><div>[snip]</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> So then where does constructivism enter in this picture concerning the<br>
> objective truths of Turing machines?<br>
<br>
I fed your prompt into Gemini:<br>
<br>
Jason Resch: The halting (or not halting) of various Turing machines is <br>
by all accounts<br>
objective, a given machine given all the time it needs will either halt, <br>
or<br>
it won't. This creates a set of objective truth that no finite axiomatic<br>
system can capture. Different axiomatic systems will be a able to prove<br>
more things about more machines than others and hence will be <br>
objectively more powerful systems. So then where does constructivism <br>
enter in this picture concerning the objective truths of Turing <br>
machines?<br>
<br>
Gemini: Constructivism enters this picture at three distinct points: <br>
**the challenge to the Law of Excluded Middle**, **the asymmetry of <br>
proof witnesses**, and **the finite construction of non-halting <br>
invariants**.<br>
<br>
While the step-by-step state transition of a Turing machine is an <br>
objective, deterministic process, our *epistemological access* to its <br>
infinite behavior depends entirely on constructive tools.<br></blockquote><div><br></div><div>I agree on this. For example, we can't calculate the Googolplexth decimal digit of Pi in this universe. But I would still say there is nevertheless an objective fact concerning its particular value. <span style="background-color:transparent">If all of Pi's infinite digits did not exist, and have the exact values they happen to have, then e^(2 * Pi * i) would not equal 1. The fact that</span><span style="background-color:transparent"> someone born in a more impoverished than ours might lack the resources to compute the trillionth digit of Pi, but their limitation says nothing about Pi's digits not having particular objective values. Does Gemini agree with this? If someone in a universe with greater memory and computational resources than ours does compute the </span><span style="background-color:transparent">Googolplexth decimal digit of Pi, does that make it exist for everyone across reality? Or are mathematical truths observer- and universe-relative?</span></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
### 1. The Constructivist Critique: Challenging $Halt(M) \lor \neg <br>
Halt(M)$<br>
<br>
The premise that *"a machine given all the time it needs will either <br>
halt or it won't"* relies on classical logic's **Law of Excluded Middle <br>
(LEM)** applied across an infinite domain:<br>
<br>
$$\forall M \left( \text{Halt}(M) \lor \neg \text{Halt}(M) \right)$$<br>
<br>
Constructivists and Intuitionists (from L.E.J. Brouwer to Errett Bishop) <br>
reject the blanket application of LEM to infinite or unbounded search <br>
spaces.<br>
<br>
* **The Constructive Rule:** A constructivist does not accept $P \lor <br>
\neg P$ as an automatic truth unless you possess an effective, finite <br>
procedure to determine *which* of the two disjuncts holds.<br>
* **The Implication:** Because Alan Turing proved that no general <br>
decision algorithm exists (the Halting Problem), a strict constructivist <br>
argues that "non-halting" is not an abstract metaphysical fact floating <br>
in space—it only becomes a mathematical truth when an explicit proof or <br>
invariant can be **constructed**.<br></blockquote><div><br></div><div>Is this a view that Gemini is defending? If you require realization then in what sense is your hybrid view realist? My understanding of the hybrid position is that the infinite consequences exist and are objective, but there must first be some initial act of specifying the particular formal system. Is this an accurate description of the hybrid view?</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
---<br>
<br>
### 2. The Asymmetry of Witnesses: Concrete Trace vs. Constructed <br>
Invariant<br>
<br>
The physical nature of computation highlights a deep structural <br>
asymmetry between halting and non-halting:<br>
<br>
* **Halting is Naturally Constructive:** If a machine halts at step $N$, <br>
the truth of its halting is certified by a concrete, finite witness—the <br>
state trace of $N$ steps. You don't need faith or high-level axioms; you <br>
simply run the machine and observe step $N$.<br>
* **Non-Halting Requires Structural Construction:** You cannot "observe" <br>
non-halting by simply waiting, because at step $N + 1,000,000$, the <br>
machine might still halt. To establish that a machine *never* halts, you <br>
cannot rely on empirical execution. You must **construct a finite <br>
symbolic proof**—such as an inductive invariant showing that a specific <br>
memory state can never recur, or a Lyapunov function on the tape head.<br>
<br>
Non-halting facts only enter our sphere of knowledge when we construct a <br>
formal argument that traps the machine's infinite trajectory inside a <br>
finite logical box.<br></blockquote><div><br></div><div><br></div><div>Indeed, but does this provide a means for comparing ever more powerful axiomatic systems? Is system A better than system B because A can prove that certain machines halt, which system B cannot prove?</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
---<br>
<br>
### 3. How This Fits the "Formalism in Construct, Realism in <br>
Consequence" Stance<br>
<br>
This brings us back to the synthesis between constructed tools and <br>
objective landscapes:<br>
<br>
```<br>
[ Constructed Rule Engine ] [ Objective Execution ] <br>
[ Constructed Proof Witness ]<br>
Turing Machine Definition ---> Step-by-step State Transitions ---> <br>
Inductive Invariant / Proof<br>
(Syntax & Alphabet) (Deterministic Reality) <br>
(Constructive Access)<br>
<br>
```<br>
<br>
1. **The Machine is Constructed:** The definition of a tape, alphabet, <br>
and state transition function $T(s, a) \to (s', a', D)$ is an <br>
engineered, formal system.<br>
2. **The Execution is Real:** Once those rules are set, the sequence of <br>
machine configurations $C_0 \to C_1 \to C_2 \dots$ is completely <br>
deterministic and mind-independent.<br>
3. **"More Powerful" Systems are Constructed Upgrades:** When we say <br>
System $B$ (e.g., $ZFC + \text{Large Cardinals}$) is "more powerful" <br>
than System $A$ (e.g., Peano Arithmetic) because it resolves the halting <br>
status of the Busy Beaver function $BB(n)$ for larger $n$, where did <br>
that power come from?<br>
* It didn't come from discovering a Platonic object. It came from <br>
**constructing a richer axiomatic framework** with stronger reflection <br>
principles ($Con(A)$), allowing us to build shorter, stronger proof <br>
witnesses for non-halting machines.<br>
<br>
<br>
<br>
The objective landscape of computation is deterministic, but it is <br>
infinite. Constructivism is the requirement that any path we map through <br>
that infinite landscape must be paved with finite, verifiable symbolic <br>
steps.<br></blockquote><div><br></div><div>Once a given formal system is defined, what status do you ascribe to the propositions that are true and provable in that system, but to which:</div><div><br></div><div>1. No one has yet bothered to prove</div><div>2. It was proven, but then all records of that proof are erased and lost</div><div>3. Someone has proved it, but it was in a location causally isolated from the location under consideration (e.g. far beyond the cosmological horizon)</div><div>4. The given universe lacks the resources to ever prove it</div><div>5. Someone has proved it, but only in a different universe within a larger multiverse of causally isolated universes.</div><div><span style="background-color:transparent"><br></span></div><div><span style="background-color:transparent"><br></span></div><div><span style="background-color:transparent"> </span></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
-----------<br>
<br>
Wow. Feel free to push back on Gemini again. I am going to sit this one <br>
out. ;)<br><br></blockquote><div><br></div><div>Challenge accepted. :-) </div><div><br></div><div>Jason </div></div></div>