Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Simulation vs. Execution in the Halting Problem
Date: Tue, 3 Jun 2025 08:45:06 -0400
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <101mqoh$2ji$1@dont-email.me>
References: <yU0_P.1529838$4AM6.776697@fx17.ams4>
 <101a7uv$3vfam$5@dont-email.me> <101br7m$db03$1@dont-email.me>
 <101cjk7$hfof$7@dont-email.me>
 <d8d7c46fe2728e5481a504e6edacc8fd0fea5285@i2pn2.org>
 <101e8ak$vhu7$1@dont-email.me> <101etan$14dr4$2@dont-email.me>
 <101fbth$173bb$13@dont-email.me> <101fcgj$19e5f$2@dont-email.me>
 <101fia9$1cj4h$1@dont-email.me> <101fl5a$1dfmq$1@dont-email.me>
 <101fvok$1gaq8$1@dont-email.me> <101g68s$1i7tb$1@dont-email.me>
 <101g7ph$1iik6$1@dont-email.me> <101gaht$1j464$1@dont-email.me>
 <101ghl0$1p48p$1@dont-email.me> <101gjb3$1p7o2$1@dont-email.me>
 <101hsdt$2806l$1@dont-email.me> <101lodi$3pbm3$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 03 Jun 2025 14:45:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="020b5f67c0fd8eca1fe89064cd903f5f";
	logging-data="2674"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+I4qC1U+ZsAYzAokntY5Nt"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:1Ry6BBlgHxB2WursLvWnSl/xkP8=
Content-Language: en-US
In-Reply-To: <101lodi$3pbm3$1@dont-email.me>

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).