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.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 299 |
Nodes: | 16 (2 / 14) |
Uptime: | 85:36:02 |
Calls: | 6,696 |
Calls today: | 1 |
Files: | 12,230 |
Messages: | 5,348,074 |