Path: csiph.com!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups: comp.theory
Subject: Re: Semantic properties of finite string inputs
Date: Fri, 31 Oct 2025 03:29:20 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 64
Message-ID: <20251030201848.941@kylheku.com>
References: <10dvtt6$3oelt$1@dont-email.me> <20251030130542.120@kylheku.com> <10e0hjp$3vv2j$1@dont-email.me> <20251030134059.844@kylheku.com> <10e0jui$k95$2@dont-email.me> <20251030140640.464@kylheku.com> <10e0mgt$1c04$1@dont-email.me> <20251030170723.145@kylheku.com> <10e15kf$5afs$1@dont-email.me>
Injection-Date: Fri, 31 Oct 2025 03:29:22 +0000 (UTC)
Injection-Info: dont-email.me; posting-host="67f69a6029461694c69bb71eda96437f"; logging-data="204565"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Rb3PN2ECW7MLkBnozMM20HSjAxLNxuKs="
User-Agent: slrn/pre1.0.4-9 (Linux)
Cancel-Lock: sha1:IodpWsNqzRuhiEiHX8K9rMUJj5M=
Xref: csiph.com comp.theory:134447

On 2025-10-31, olcott <polcott333@gmail.com> wrote:
> On 10/30/2025 7:22 PM, Kaz Kylheku wrote:
>> On 2025-10-30, olcott <polcott333@gmail.com> wrote:
>>> THERE IS A DIFFERENT FUCKING SEQUENCE OF
>>> INSTRUCTIONS DIP SHIT !!!
>> 
>> While the overall sequence of instructions in the entire scenario is
>> different between H(D) and UTM(D), if we just at /just/ the instructions
>> of the simulated D, those are the same. 
>
> No not even that. D is simulated by H more than once
> and only simulated by H1 once.
>
>> In the case of H, the
>> simulation is left incomplete, 
>
> In the same way that the simulation of
>
> void Infinite_Recursion()
> {
>    Infinite_Recursion();
>    return;
> }
>
> void Infinite_Loop()
> {
>    HERE: goto HERE;
>    return;
> }
>
> is left incomplete in that an infinite simulation

Yes, those are also incomplete. More steps of them can be performed; but
of course they can never be completed.

D is a terminating procedure of which a simulation is left incomplete.

>> but the instructions up to the point
>> where it is are the same as those for UTM(D), and so from there it
>> continues to be the same.
>> 
>
> Not at all. at the point where D calls H(D) they
> diverge.

You have not showed with code that they do.

I have showed with code that they don't.

Showed beats not showed.

>> You obviously don't understand this and are taking guesses
>> without making any specific references to specific code.
>
> That is such a ridiculously stupid thing to say that
> I cannot imagine that it is not simply a damned lie.

Then stop giving evidence for it with every empty puff of air you push
from under your keyboard membrane.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca