Path: ...!weretis.net!feeder8.news.weretis.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: Re: How Partial Simulations correctly determine non-halting ---Ben's
 10/2022 analysis
Date: Fri, 7 Jun 2024 19:35:14 -0500
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <v40902$29nm5$3@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3p4ka$sk6h$1@dont-email.me>
 <v3pp7p$v133$8@dont-email.me> <v3s27e$1f9kd$1@dont-email.me>
 <v3sf1n$1gra7$11@dont-email.me> <v3sjo9$1ialb$1@dont-email.me>
 <v3skoo$1iedv$1@dont-email.me> <v3u9ej$1v7rn$1@dont-email.me>
 <v3v6i7$23l33$1@dont-email.me> <v3vse5$3ao52$5@i2pn2.org>
 <v401dt$287qb$8@dont-email.me> <v408d5$29or2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 08 Jun 2024 02:35:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="99ea1b6838dd1404bad406fc122dbf0f";
	logging-data="2416325"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18RQd1v2zvX4JHFakzkSPqN"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:jU06BN4TV/KH+GRQidmGI+TKpfM=
In-Reply-To: <v408d5$29or2$1@dont-email.me>
Content-Language: en-US
Bytes: 2712

On 6/7/2024 7:25 PM, Python wrote:
> Le 08/06/2024 à 00:26, olcott a écrit :
> ...
>> No actual Turing machine can be the input to any other actual
>> Turing machine. Turing machines only take finite string inputs.
> 
> Any Turing Machine can be represented by a finite strint inpput.
> 

When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn

It turns out that the behavior of Ĥ ⟨Ĥ⟩ is verifiably different
that the behavior of ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by embedded_H
even if an expert in comp theory named Jesus told you otherwise.

To overcome the religious belief that they are the same one must
examine this at the x86 machine code level with complete understanding
of the x86 machine code.

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