Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting ---Ben's
 10/2022 analysis
Date: Fri, 7 Jun 2024 16:55:20 +0200
Organization: CCCP
Lines: 17
Message-ID: <v3v70o$21qlc$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Jun 2024 16:55:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a1f1891753654cb88b89123a5808f378";
	logging-data="2157228"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HP7IuG5fIHfzTkVkUHJKQ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QuKDNx3EoFPj+i8M32rAO+B9s8s=
Content-Language: en-US
In-Reply-To: <v3v6i7$23l33$1@dont-email.me>
Bytes: 2124

Le 07/06/2024 à 16:47, olcott a écrit :
> ... Turing machines can only take finite string
> inputs thus cannot take Turing machines as inputs.

WTF??? Since then a Turing machine cannot be represented
as a finite string?

> The issue here is that I proved that DD correctly simulated
> by HH has different behavior than the directly executed
> DD(DD) and everyone's "rebuttal" to this proof is to simply
> ignore it.

"correctly simulated" has "different than directly executed"

This is dementia at the higher degree.