Sujet : 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 : 07. Mar 2024, 23:05:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usda7b$18hee$1@dont-email.me>
User-Agent : Mozilla Thunderbird
H1(D,D) maps its input + its own machine address 00001422 to its output.
H(D,D) maps its input + its own machine address 00001522 to its output.
Thus both H1 and H are computable functions of their input.
Turing machines don't even have the idea of their own machine
address so this exact same thing cannot be Turing computable.
Olcott machines entirely anchored in Turing machine notions
can compute the equivalent of H1(D,D) and H(D,D).
Because Olcott machines are essentially nothing more than
conventional UTM's combined with Conventional Turing machine
descriptions their essence is already fully understood.
The input to Olcott machines can simply be the conventional
space delimited Turing Machine input followed by four spaces.
This is followed by the machine description of the machine
that the UTM is simulating followed by four more spaces.
When this input is ignored Olcott machines compute the
exact same set as Turing machines.
Unlike Turing machines, Olcott machines have the basis to
determine that they have been called with copies of their
own TMD.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
With Olcott machines Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> and H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> do
not have the same inputs thus can compute different outputs
when they do not ignore their own TMD.
--
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 |
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 |