Sujet : Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC --new focus--
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 12. Mar 2024, 05:37:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usoimh$2vll$4@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/11/2024 10:31 PM, Richard Damon wrote:
On 3/11/24 7:52 PM, olcott wrote:
On 3/11/2024 9:32 PM, immibis wrote:
On 12/03/24 03:24, olcott wrote:
\
Troll detected.
>
>
Once we understand that either YES or NO is the right answer
>
Not for this decider/input question: Ĥ.H / ⟨Ĥ⟩ ⟨Ĥ⟩
For that decider/input question both YES and NO are the wrong answer.
The problem that you keeep on missing is that by the point we can ask this question, H and H^ are FULLY CODED, and thus we know their behavirs.
H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy // Ĥ applied to ⟨Ĥ⟩ halts
H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn // Ĥ applied to ⟨Ĥ⟩ does not halt
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer