Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: Re: Simulation vs. Execution in the Halting Problem
Date: Wed, 11 Jun 2025 22:36:08 +0800
Organization: A noiseless patient Spider
Lines: 180
Message-ID: <22806dcceb8dbd965792253ecfde0a7f4dc5c793.camel@gmail.com>
References: <yU0_P.1529838$4AM6.776697@fx17.ams4>
	 <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> <101mqoh$2ji$1@dont-email.me>
	 <101n4t1$3oc4$1@dont-email.me>
	 <e35c1e94a1e55c9622cfedf88d401148e851f2a1.camel@gmail.com>
	 <101nk9j$7qau$7@dont-email.me> <101os21$mg8a$1@dont-email.me>
	 <101pqge$ta6v$5@dont-email.me> <101uaha$25sfi$1@dont-email.me>
	 <101v4bc$2c1iv$2@dont-email.me> <1020sak$2u1is$1@dont-email.me>
	 <1021g55$3327l$1@dont-email.me> <10236jr$3lqbg$1@dont-email.me>
	 <10237ki$3lo0a$1@dont-email.me> <1028lsi$13r5p$1@dont-email.me>
	 <1029nr5$1ah2f$11@dont-email.me> <102bgc0$1soug$1@dont-email.me>
	 <102c3bn$20jl4$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Wed, 11 Jun 2025 16:36:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bf8b8c9575553bac70d62eb9d0221f21";
	logging-data="2125524"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/rk1DminQxqdCq/U3LNtVq"
User-Agent: Evolution 3.56.2 (3.56.2-1.fc42)
Cancel-Lock: sha1:Ea7HM4NHHdhNjdL9Eq/CWDAJwMw=
In-Reply-To: <102c3bn$20jl4$8@dont-email.me>

On Wed, 2025-06-11 at 09:20 -0500, olcott wrote:
> On 6/11/2025 3:56 AM, Mikko wrote:
> > On 2025-06-10 16:51:49 +0000, olcott said:
> >=20
> > > On 6/10/2025 2:12 AM, Mikko wrote:
> > > > On 2025-06-08 05:38:26 +0000, olcott said:
> > > >=20
> > > > > On 6/8/2025 12:20 AM, Mikko wrote:
> > > > > > On 2025-06-07 13:51:33 +0000, olcott said:
> > > > > >=20
> > > > > > > On 6/7/2025 3:13 AM, Mikko wrote:
> > > > > > > > On 2025-06-06 16:17:48 +0000, olcott said:
> > > > > > > >=20
> > > > > > > > > On 6/6/2025 3:57 AM, Mikko wrote:
> > > > > > > > > > On 2025-06-04 15:59:10 +0000, olcott said:
> > > > > > > > > >=20
> > > > > > > > > > > On 6/4/2025 2:19 AM, Mikko wrote:
> > > > > > > > > > > > On 2025-06-03 20:00:51 +0000, olcott said:
> > > > > > > > > > > >=20
> > > > > > > > > > > > > On 6/3/2025 12:59 PM, wij wrote:
> > > > > > > > > > > > > > On Tue, 2025-06-03 at 16:38 +0100, Mike Terry w=
rote:
> > > > > > > > > > > > > > > On 03/06/2025 13:45, dbush wrote:
> > > > > > > > > > > > > > > > On 6/2/2025 10:58 PM, Mike Terry wrote:
> > > > > > > > > > > > > > > > > Even if presented with /direct observatio=
ns/=20
> > > > > > > > > > > > > > > > > contradicting his position, PO can (will)=
 just
> > > > > > > > > > > > > > > > > invent
> > > > > > > > > > > > > > > > > new magical thinking that only he is smar=
t enough to=20
> > > > > > > > > > > > > > > > > understand, in order to somehow justify h=
is
> > > > > > > > > > > > > > > > > busted intuitions.
> > > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > > My favorite is that the directly executed D=
(D) doesn't=20
> > > > > > > > > > > > > > > > halt even though it looks like it does:
> > > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > > On 1/24/24 19:18, olcott wrote:
> > > > > > > > > > > > > > > > =C2=A0> The directly executed D(D) reaches =
a final state and=20
> > > > > > > > > > > > > > > > exits normally.
> > > > > > > > > > > > > > > > =C2=A0> BECAUSE ANOTHER ASPECT OF THE SAME =
COMPUTATION HAS=20
> > > > > > > > > > > > > > > > BEEN ABORTED,
> > > > > > > > > > > > > > > > =C2=A0> Thus meeting the correct non-haltin=
g criteria if any=20
> > > > > > > > > > > > > > > > step of
> > > > > > > > > > > > > > > > =C2=A0> a computation must be aborted to pr=
event its infinite=20
> > > > > > > > > > > > > > > > execution
> > > > > > > > > > > > > > > > =C2=A0> then this computation DOES NOT HALT=
 (even if it looks=20
> > > > > > > > > > > > > > > > like it does).
> > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > Right - magical thinking.
> > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > PO simply cannot clearly think through what's=
 going on,=20
> > > > > > > > > > > > > > > due to the multiple levels involved.=C2=A0 In=
 his
> > > > > > > > > > > > > > > head they all become a mush of confustions, b=
ut the=20
> > > > > > > > > > > > > > > mystery here is why PO does not /realise/ tha=
t
> > > > > > > > > > > > > > > he can't think his way through it?
> > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > When I try something that's beyond me, I soon=
 realise I'm=20
> > > > > > > > > > > > > > > not up to it. =C2=A0Somehow PO tries, gets in=
to
> > > > > > > > > > > > > > > a total muddle, and concludes "My understandi=
ng of this=20
> > > > > > > > > > > > > > > goes beyond that of everybody else, due to
> > > > > > > > > > > > > > > my powers of unrivalved concentration equalle=
d by almost=20
> > > > > > > > > > > > > > > nobody on the planet, and my ability to
> > > > > > > > > > > > > > > eliminate extraneous complexity".=C2=A0 How d=
id PO ever start=20
> > > > > > > > > > > > > > > down this path of delusions?=C2=A0 Not that t=
hat
> > > > > > > > > > > > > > > matters one iota... :)
> > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > > Mike.
> > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > People seem to keep addressing the logic of the=
 implement=20
> > > > > > > > > > > > > > of POOH, but it does not matter how
> > > > > > > > > > > > > > H or D are implemented, because:
> > > > > > > > > > > > > >=20
> > > > > > > > > > > > > > 1. POOH is not about the Halting Problem (no lo=
gical=20
> > > > > > > > > > > > > > connection)
> > > > > > > > > > > > >=20
> > > > > > > > > > > > > Likewise ZFC was not about what is now called nai=
ve set theory.
> > > > > > > > > > > >=20
> > > > > > > > > > > > To a large extent it is. Both are intended to descr=
ibe those=20
> > > > > > > > > > > > sets that
> > > > > > > > > > > > were tought to be usefult to think about. But the n=
aive set=20
> > > > > > > > > > > > theory failed
> > > > > > > > > > > > because it is inconsistent. However, ZF excludes so=
me sets=20
> > > > > > > > > > > > that some
> > > > > > > > > > > > people want to consider, e.g., the universal set, Q=
uine's=20
> > > > > > > > > > > > atom. There is
> > > > > > > > > > > > no agreement whether do not satisfy the axiom of ch=
oice and=20
> > > > > > > > > > > > its various
> > > > > > > > > > > > consequences should be included or excluded, so bot=
h ZF and=20
> > > > > > > > > > > > ZFC are used.
> > > > > > > > > > >=20
> > > > > > > > > > > Quine's atom is nonsense.
> > > > > > > > > >=20
> > > > > > > > > > No, it is not. It is a set that one can assume to exist=
 or not=20
> > > > > > > > > > to exist.
> > > > > > > > >=20
> > > > > > > > > https://en.wikipedia.org/wiki/Urelement#Quine_atoms
> > > > > > > > > It is the same as every person that is their own father.
> > > > > > > >=20
> > > > > > > > No, it is not the same. Being of ones own father is impossi=
ble=20
> > > > > > > > because
> > > > > > > > of the say the material world works. Imaginary things like =
sets=20
> > > > > > > > can be
> > > > > > > > imagined to work wichever way one wants to imagine, though =
a=20
> > > > > > > > consitent
> > > > > > > > imagination is more useful.
> > > > > > >=20
> > > > > > > If that was true then one could imagine the
> > > > > > > coherent set of properties of a square circle.
> > > > > >=20
> > > > > > One can, much like you can imagine the coherent set of properti=
es of
> > > > > > an impossible decider.
> > > > >=20
> > > > > *CAN'T POSSIBLY REACH A FINAL STATE DOES ESTABLISH NOT HALTING*
> > > >=20
> > > > Depends on what exactly your "can" and "possibly" mean. Anyway, DDD=
 does
> > > > reach its final state, so its wrong to say that it can't.
> > >=20
> > > Why do people always have to be damned liars and change
> > > my words and then dishonestly apply their rebuttal to
> > > these changed words.
> >=20
> > If you don't tell why you do so why would anyone else?
> >=20
>=20
> I USE CUT-AND-PASTE MAKING SURE THAT
> MY WORDS ARE PERFECTLY UNCHANGED.
>=20
> void DDD()
> {
> =C2=A0=C2=A0 HHH(DDD);
========== REMAINDER OF ARTICLE TRUNCATED ==========