Sujet : Re: Why do people here insist on denying these verified facts?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 25. Jun 2024, 01:21:25
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5cv1l$10m6p$1@i2pn2.org>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 6/24/24 9:50 AM, olcott wrote:
On 6/24/2024 2:32 AM, Mikko wrote:
On 2024-06-23 13:23:10 +0000, olcott said:
>
On 6/23/2024 4:42 AM, Mikko wrote:
When the head line has the words "these verified facts" the message should
first tell what facts are "these verified facts" and who verified them
before any further discussion.
>
>
It is a verified fact that 2 + 3 = 5 according to the semantics
of arithmetic. Anyone having an opinion that contradicts this is WRONG.
>
Sure, but that was not the first thing mentioned in the initial message.
>
int P(ptr2 x)
{
int Halt_Status = H(x, x);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
The call from P to H(P,P) when P is correctly emulated
by H cannot possibly return.
The call from P to H(P,P) when P is correctly emulated
by H1 DOES return.
So?
That just proves that "Correctly Emulated by the Decider" is a subjective question, and thus not really interesting.
…