Sujet : Re: Simulation vs. Execution in the Halting Problem
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theoryDate : 03. Jun 2025, 13:45:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101mqoh$2ji$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 6/2/2025 10:58 PM, Mike Terry wrote:
Even if presented with /direct observations/ contradicting his position, PO can (will) just invent new magical thinking that only he is smart enough to understand, in order to somehow justify his busted intuitions.
My favorite is that the directly executed D(D) doesn't halt even though it looks like it does:
On 1/24/24 19:18, olcott wrote:
> The directly executed D(D) reaches a final state and exits normally.
> BECAUSE ANOTHER ASPECT OF THE SAME COMPUTATION HAS BEEN ABORTED,
> Thus meeting the correct non-halting criteria if any step of
> a computation must be aborted to prevent its infinite execution
> then this computation DOES NOT HALT (even if it looks like it does).