Sujet : Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 02. Jun 2024, 00:12:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3g9tc$30pbl$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 6/1/2024 6:02 PM, Richard Damon wrote:
On 6/1/24 6:40 PM, olcott wrote:
>
Show me where I said anything in the above spec about an aborted simulation.
So, why did HH stop simulating after some n steps?
Did it reach a final state in the simulation? if not, it ABORTED its simulation.
>
When every possible which way DD correctly simulated by HH never reaches
past its own simulated line 03 then
And a simulation either goes until it reaches a final state of the machine it is simulating, or it aborted its simulation.
typedef int (*ptr)(); // ptr is pointer to int function in C
00 int HH(ptr p, ptr i);
01 int DD(ptr p)
02 {
03 int Halt_Status = HH(p, p);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 int main()
10 {
11 HH(DD,DD);
12 return 0;
13 }
When every DD correctly simulated by any HH cannot possibly reach
past its own simulated line 03 in 1 to ∞ steps of correct simulation
of DD by HH then we have exhaustively examined every possible HH/DD
pair and each element has of this infinite set has the same property.
*THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
*THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
*THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
Nope, prove you don't know what you are talking about, or are just a liar destined for Gehenna,
Are you willing to bet your soul on the claim that you believe
that you are telling the truth? I do believe that I am telling
the truth and I also believe that you already know that I am
correct about the above statements that I made.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer