Liste des Groupes | Revenir à s logic |
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.
Les messages affichés proviennent d'usenet.