Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
Date: Tue, 16 Jul 2024 11:12:05 +0300
Organization: -
Lines: 37
Message-ID: <v75a0l$16bjt$1@dont-email.me>
References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$1@dont-email.me> <v70nt7$61d8$6@dont-email.me> <58fc6559638120b31e128fe97b5e955248afe218@i2pn2.org> <v71mjh$bp3i$1@dont-email.me> <1173a460ee95e0ca82c08abecdefc80ba86646ac@i2pn2.org> <v71okl$bvm2$1@dont-email.me> <5f6daf68f1b4ffac854d239282bc811b5b806659@i2pn2.org> <v71ttb$crk4$1@dont-email.me> <60e7a93cb8cec0afb68b3e40a0e82e9d63fa8e2a@i2pn2.org> <v721po$h4kr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 16 Jul 2024 10:12:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="99a13b02fce255176e717749a711055d";
	logging-data="1257085"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/gWbQyt+fJA7ndsO4Q/AAU"
User-Agent: Unison/2.2
Cancel-Lock: sha1:z2be6RINUNSKqmEg2qE1hAL8o4s=
Bytes: 2645

On 2024-07-15 02:33:28 +0000, olcott said:

> On 7/14/2024 9:04 PM, Richard Damon wrote:
>> On 7/14/24 9:27 PM, olcott wrote:
>>> 
>>> Any input that must be aborted to prevent the non termination
>>> of simulating termination analyzer HHH necessarily specifies
>>> non-halting behavior or it would never need to be aborted.
>> 
>> Excpet, as I have shown, it doesn't.
>> 
>> Your problem is you keep on ILEGALLY changing the input in your 
>> argument because you have misdefined what the input is.
>> 
> 
> _DDD()
> [00002163] 55         push ebp      ; housekeeping
> [00002164] 8bec       mov ebp,esp   ; housekeeping
> [00002166] 6863210000 push 00002163 ; push DDD
> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
> [00002170] 83c404     add esp,+04
> [00002173] 5d         pop ebp
> [00002174] c3         ret
> Size in bytes:(0018) [00002174]
> 
> The input *is* the machine address of this finite
> string of bytes: 558bec6863210000e853f4ffff83c4045dc3

You have already said that a decider is not allowed to answer anything
other than its input. Now you say that the the program at 15c3 is not
a part of the input. Therefore a decider is not allowed consider it
even to the extent to decide whether it ever returns. But without that
knowledge it is not possible to determine whether DDD halts.

-- 
Mikko