On 2024-02-16 15:15:18 +0000, olcott said:
On 2/16/2024 4:23 AM, Mikko wrote:
On 2024-02-16 03:09:55 +0000, olcott said:
Ĥ applied to ⟨Ĥ⟩ is asking Ĥ
Do you halt on your own Turing Machine Description?
As there is no promise that Ĥ answers any particular question, it
is just your choice to interprete the applicantion of Ĥ to <Ĥ> so.
Consequently, you have no basis ot complain if Ĥ's answer is not
the correct answer to your question.
When I make it simpler then we do have the promise that H'
(see bottom) necessarily must get the wrong answer no matter
how its wildcard states: ⊢* are encoded.
Irrelevant, your error above is about Ĥ, not H'.
--
Mikko
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)