Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down

Liste des GroupesRevenir à theory 
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.logic
Date : 02. Jun 2024, 01: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; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal