Sujet : Re: We finally know exactly how H1(D,D) derives a different result than H(D,D)
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 08. Mar 2024, 08:09:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usea2c$1hofh$2@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 3/7/2024 11:36 PM, Richard Damon wrote:
On 3/7/24 9:18 PM, olcott wrote:
Olcott machines can compute the difference between H1(D,D) and H(D,D)
because Olcott machines can correctly determine whether or not they
themselves were called in recursive simulation.
>
For H1(D,D) and H(D,D)it is the extra inputs of 00001422 and 00001522
For H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> the extra inputs are shown.
>
When I keep repeating the above a few hundred more times
you will quit immediately forgetting that I ever said it.
All you have done is show why your H / H1 have been disqualified from being Halt Deciders.
Not at all. Not in the least little bit.
I have proved that a slight reconfiguration of Turing machines
defines a machine that is exactly a Turing machine except can
always correctly determine whether or not itself is called in
recursive simulation.
They are not Computations using only the description of the Computation to be decided on.
This PROVES that they are not correct Halt Deciders.
And you are proved to be just a pathetic and pathological liar.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
| Date | Sujet | # | | Auteur |
| 7 Mar 24 |  We finally know exactly how H1(D,D) derives a different result than H(D,D) | 52 | | olcott |
| 8 Mar 24 |  Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 49 | | Richard Damon |
| 8 Mar 24 |   Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 48 | | olcott |
| 8 Mar 24 |  Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 18 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 2 | | olcott |
| 8 Mar 24 |  Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 1 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 10 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 1 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 8 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 7 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 6 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 5 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 4 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 3 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 2 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 1 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 5 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 4 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) --closure yet?-- | 3 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) --closure yet?-- | 2 | | olcott |
| 9 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) --Richard goes around in circles-- | 1 | | immibis |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 29 | | André G. Isaak |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 27 | | immibis |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 23 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 22 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 21 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 20 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 19 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 18 | | Yaxley Peaks |
| 15 Mar 24 | Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --outermost H-- | 17 | | olcott |
| 15 Mar 24 | Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --outermost H-- | 13 | | Fred. Zwarts |
| 15 Mar 24 | Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --outermost H-- | 12 | | olcott |
| 15 Mar 24 | Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --outermost H-- | 2 | | Richard Damon |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 1 | | olcott |
| 15 Mar 24 | Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --outermost H-- | 9 | | immibis |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 8 | | olcott |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 5 | | immibis |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 4 | | olcott |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 3 | | immibis |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 2 | | olcott |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 1 | | immibis |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 2 | | Richard Damon |
| 15 Mar 24 | Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- | 1 | | olcott |
| 15 Mar 24 | Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --outermost H-- | 3 | | immibis |
| 15 Mar 24 | Re: H(D,D) ==0 is correct when reports on the actual behavior that it sees --outermost H-- | 2 | | olcott |
| 15 Mar 24 | Re: H(D,D) ==0 is correct when reports on the actual behavior that it sees --outermost H-- | 1 | | immibis |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 3 | | Richard Damon |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 2 | | immibis |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 1 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 1 | | olcott |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 2 | | immibis |
| 8 Mar 24 | Re: We finally know exactly how H1(D,D) derives a different result than H(D,D) | 1 | | olcott |