Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: =?UTF-8?Q?Re=3A_A_simulating_halt_decider_applied_to_the_The_Peter_?=
 =?UTF-8?Q?Linz_Turing_Machine_description_=E2=9F=A8=C4=A4=E2=9F=A9?=
Date: Sun, 26 May 2024 21:53:58 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <v30sk7$3rlvg$1@dont-email.me>
References: <v2nsvh$1rd65$2@dont-email.me> <v2tl8b$31uo4$2@dont-email.me>
 <v2tm5d$22aq0$7@i2pn2.org> <v2tnr1$32e7p$1@dont-email.me>
 <v2tp5n$22aq0$9@i2pn2.org> <v2tpdg$32me8$2@dont-email.me>
 <v2tptp$22aq1$13@i2pn2.org> <v2tq50$32r0d$2@dont-email.me>
 <v2tqh7$22aq1$15@i2pn2.org> <v2tr68$32uto$1@dont-email.me>
 <v2trch$23vgp$1@i2pn2.org> <v2trts$331vq$1@dont-email.me>
 <v2tsub$23vgp$2@i2pn2.org> <v2u0o5$33mgp$1@dont-email.me>
 <v2u2uf$23vgp$4@i2pn2.org> <v2u5a0$349br$2@dont-email.me>
 <v2u6if$23vgo$3@i2pn2.org> <v2u7fj$38fjo$1@dont-email.me>
 <v2v79q$25ell$2@i2pn2.org> <v2vg1g$3e8pb$4@dont-email.me>
 <v2vo5h$26570$3@i2pn2.org> <v2vpt6$3g0m3$3@dont-email.me>
 <v2vqou$26570$5@i2pn2.org> <v2vrcl$3gakv$1@dont-email.me>
 <v2vslp$26570$6@i2pn2.org> <v301m6$3hcgb$1@dont-email.me>
 <v305j9$26571$1@i2pn2.org> <v30e5l$3lerc$1@dont-email.me>
 <v30fbr$26570$9@i2pn2.org> <v30hiq$3lv80$1@dont-email.me>
 <v30jb5$26571$2@i2pn2.org> <v30pr8$3r67p$1@dont-email.me>
 <v30r7f$26571$5@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 27 May 2024 04:53:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="458305845cd025bf1a433877c96321fe";
	logging-data="4052976"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xp+IoPeSQsYmGiB8O7iR1"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:bdb7WdAnP9msZYkY6UlP3cVurkw=
In-Reply-To: <v30r7f$26571$5@i2pn2.org>
Content-Language: en-US
Bytes: 3787

On 5/26/2024 9:30 PM, Richard Damon wrote:
> On 5/26/24 10:06 PM, olcott wrote:
>> When Ĥ is applied to ⟨Ĥ⟩
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
>>
>>   Ĥ copies its own Turing machine description: ⟨Ĥ⟩
>>   then invokes embedded_H that simulates ⟨Ĥ⟩ with ⟨Ĥ⟩ as input.
>>
>> It is an easily verified fact that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by
>> embedded_H cannot possibly reach its own simulated final state of
>> ⟨Ĥ.qn⟩ in any finite sequence of steps such as Googolplex ^ Googolplex
>> number of steps. https://en.wikipedia.org/wiki/Googolplex
> 
> So, it can verify that if H / embedded_H was programmed not to halt it 
> simulation, then the H^ built on that H will be non-halting, but that 
> doesn't say anything about the DIFFERENT H^ built on an H that does 
> abort its simulation and returns 0.
> 

You really do have an actual problem paying attention.
It is not a mere trollish ruse. I poured engine oil
into my power steering fluid Friday night so I can relate.

As far as paying attention to words that have been written
I read and reread many times until I am sure that I get it.
Even then I get it wrong once in a while.

When embedded_H correctly simulates a Googolplex ^ Googolplex steps
of ⟨Ĥ⟩ ⟨Ĥ⟩ then embedded_H halts.

⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by embedded_H cannot possibly reach its
own simulated final state of ⟨Ĥ.qn⟩ in any finite number of steps.



-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer