Path: ...!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:06:29 -0500 Organization: A noiseless patient Spider Lines: 26 Message-ID: <v30pr8$3r67p$1@dont-email.me> References: <v2nsvh$1rd65$2@dont-email.me> <v2tk9i$31qgp$1@dont-email.me> <v2tkit$22aq0$6@i2pn2.org> <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> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 27 May 2024 04:06:32 +0200 (CEST) Injection-Info: dont-email.me; posting-host="458305845cd025bf1a433877c96321fe"; logging-data="4036857"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19mYCfoJBP/h4jou1pMmHK4" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:pXb1qvI0rFdxoOfSbW4Udnx1neM= In-Reply-To: <v30jb5$26571$2@i2pn2.org> Content-Language: en-US Bytes: 3215 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 UNLESS YOU CAN PROVE THAT A UTM CANNOT POSSIBLY BE ADAPTED TO COUNT THE NUMBER OF STEPS AND THEN STOP I AM CORRECT AND YOU ARE DISHONEST *Your dishonest dodge strawman deception is not me lying* *Your dishonest dodge strawman deception is not me lying* *Your dishonest dodge strawman deception is not me lying* UNLESS YOU CAN PROVE THAT A UTM CANNOT POSSIBLY BE ADAPTED TO COUNT THE NUMBER OF STEPS AND THEN STOP I AM CORRECT AND YOU ARE DISHONEST -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer