Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: ZFC solution to incorrect questions: reject them --discourse context --
Date: Tue, 19 Mar 2024 12:12:02 +0200
Organization: -
Lines: 48
Message-ID: <utbodi$p4r6$1@dont-email.me>
References: <usq5uq$e4sh$1@dont-email.me> <ut1mn9$2afad$7@dont-email.me> <ut24je$1vtvi$6@i2pn2.org> <ut25ro$2e06s$1@dont-email.me> <ut26nf$1vtvj$10@i2pn2.org> <ut276t$2e06s$6@dont-email.me> <ut28ab$1vtvj$18@i2pn2.org> <ut28qp$2e06s$12@dont-email.me> <ut2bf3$1vtvi$15@i2pn2.org> <ut2bs2$2f6aj$2@dont-email.me> <ut2h69$1vtvi$18@i2pn2.org> <ut2j5t$2gkoj$2@dont-email.me> <ut2k2h$1vtvj$26@i2pn2.org> <ut2kv3$2grvf$2@dont-email.me> <ut32se$2n598$3@dont-email.me> <ut3514$2n0uu$7@dont-email.me> <ut36tn$2notf$1@dont-email.me> <ut3a9n$2nm61$5@dont-email.me> <ut4eb8$23135$1@i2pn2.org> <ut4em7$2v4ce$3@dont-email.me> <ut4om5$23hsb$1@i2pn2.org> <ut4ps6$31jue$1@dont-email.me> <ut728u$3jbb8$1@dont-email.me> <ut78bh$3jbbs$7@dont-email.me> <ut7i9i$272r8$1@i2pn2.org> <ut7uof$3peut$5@dont-email.me> <ut81n9$3qb6d$2@dont-email.me> <ut8gkj$l2l$1@dont-email.me> <ut8h5g$m2e$5@dont-email.me> <ut8jku$t3b$5@dont-email.me> <ut9phl$8oja$5@dont-email.me> <utahlo$e0s4$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="73e80ce8c1473ceb7c4b6f687ffdcabb";
	logging-data="824166"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/V5929SAUlQfDHwdSe1sIk"
User-Agent: Unison/2.2
Cancel-Lock: sha1:9aOnh77H594hTqaOSWVSTbtRRmQ=
Bytes: 3304

On 2024-03-18 23:10:48 +0000, olcott said:

> On 3/18/2024 11:19 AM, immibis wrote:
>> On 18/03/24 06:32, olcott wrote:
>>> On 3/17/2024 11:49 PM, immibis wrote:
>>>> On 18/03/24 05:40, olcott wrote:
>>>>> When H1 says YES it is right.
>>>>> When H says YES it is wrong.
>>>> 
>>>> Any halt decider is right to say YES on the input (D,D) if and only if 
>>>> D(D) halts.
>>>> 
>>> *When H(D,D) says YES D gets stuck at line 05*
>>> 
>>> Can D correctly simulated by H terminate normally?
>>> 01 int D(ptr x)  // ptr is pointer to int function
>>> 02 {
>>> 03   int Halt_Status = H(x, x);
>>> 04   if (Halt_Status)
>>> 05     HERE: goto HERE;
>>> 06   return Halt_Status;
>>> 07 }
>>> 08
>>> 09 void main()
>>> 10 {
>>> 11   D(D);
>>> 12 }
>>> 
>>> 
>> 
>> That would be a different D. The facts that Hah(Dah,Dah) returns TRUE 
>> and Dah gets stuck at line 05 do not prove that Han(Dan,Dan) returns 
>> TRUE and Dan gets stuck at line 05.
> 
> *D is always the exact same finite string of machine code bytes*

That does not mean that it is the same function. It is the same
onlu if the complete execution trace is the same for every x.

Note that what happen during the execution may depend on the
state of the processor when the function is called. In particular,
if you call a C function from a non-C program you must make sure
that the calling sequence meets the requirements of your C
implementation.

-- 
Mikko