Sujet : Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H--
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 15. Mar 2024, 20:02:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut22f9$2d19j$6@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
User-Agent : Mozilla Thunderbird
On 3/15/2024 12:44 PM, Richard Damon wrote:
On 3/15/24 10:11 AM, olcott wrote:
D(D) specifies an infinite chain of H(D,D) unless D(D) is aborted
at some point. The outermost H(D,D) always has seen a longer execution
trace than any of the inner ones.
>
Right, *AT SOME POINT* but not nessesarily HERE.
No, the outermose has seen more execution trace then the innerones have at the point that H aborts their simulation.
I have moved the above dialogue to this to
[Proof that H(D,D) meets its abort criteria]
-- 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 |