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, 18:58:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut1umu$2c29l$12@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 11:56 AM, immibis wrote:
On 15/03/24 03:40, olcott wrote:
On 3/14/2024 9:34 PM, immibis wrote:
On 15/03/24 03:29, olcott wrote:
>
*Actually it is the fact that the top H ⟨Ĥ⟩ ⟨Ĥ⟩ (not a copy) does*
*get this correctly that proves that H ⟨Ĥ⟩ ⟨Ĥ⟩ does not meet the*
*original criteria because it does meet the above criteria*
>
Execution trace of H applied to ⟨Ĥ⟩ ⟨Ĥ⟩
(1) H applied ⟨Ĥ⟩ ⟨Ĥ⟩ simulates ⟨Ĥ⟩ applied to ⟨Ĥ⟩
(2) which begins at simulated ⟨Ĥ.q0⟩
(a) Ĥ.q0 The input ⟨Ĥ⟩ is copied then transitions to Ĥ.H
(b) Ĥ.H applied ⟨Ĥ⟩ ⟨Ĥ⟩ (input and copy) simulates ⟨Ĥ⟩ applied to ⟨Ĥ⟩
(c) which begins at its own simulated ⟨Ĥ.q0⟩ to repeat the process
>
The earliest point when Turing machine H can detect the repeating
>
Whensoever H detects the repeating state and aborts it is incorrect because the state is not repeating. The state is repeating if H does not detect the repeating state.
>
You keep saying that H(D,D) never really needs to abort the
simulation of its input because after H(D,D) has aborted the
simulation of this input it no longer needs to be aborted.
>
Whensoever H detects the repeating state and aborts it is incorrect because the state is not repeating. The state is repeating if H does not detect the repeating state.
This conversation has been moved to here:
[Proof that H(D,D) meets its abort criteria]
I cannot afford to tolerate the [change the subject]
form of rebuttal that wasted 15 years with Ben Bacarisse.
-- 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 |