On 2021-12-31 18:17, olcott wrote:
On 12/31/2021 7:11 PM, André G. Isaak wrote:
On 2021-12-31 17:05, olcott wrote:
On 12/31/2021 5:33 PM, André G. Isaak wrote:
On 2021-12-31 16:02, olcott wrote:
On 12/31/2021 4:06 PM, André G. Isaak wrote:
An actual computer scientist will understand that embedded_H does
compute the mapping from these inputs finite strings ⟨Ĥ⟩ ⟨Ĥ⟩ to
this final state Ĥ.qn on the basis that the actual input would
never halt.
You're not really in a position to state what an actual computer
scientist would understand. Only an actual computer scientist can
do that.
It is a self-evident truth that:
(a) The pure simulation of the Turing machine description of a
machine is computationally equivalent to the direct execution of
this machine.
(b) The pure simulation of ⟨Ĥ⟩ ⟨Ĥ⟩ by embedded_H would never halt.
(c) If the pure simulation of the input to a halt decider would
never halt then the halt decider correctly decides that this input
does not halt.
A computer scientist would understand these things.
It would appear that you ignored (and cut) all the actual points in
my post.
Why don't we simplify things a bit. When Ĥ ⟨Ĥ⟩ is called, how does Ĥ >>> determine that its input describes itself? You claim this is done by
string comparisons, but which strings are being compared? The only
string Ĥ has access to its input string. What does it compare this
string with?
André
So far I have not gotten to any point of closure on anything that I
have said. I must insist on points of closure for continued dialogue.
Do you agree that the pure simulation of ⟨Ĥ⟩ ⟨Ĥ⟩ by embedded_H would
never halt?
Of course I don't, since that claim is simply false.
Now why don't you actually answer the question I asked?
André
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 304 |
Nodes: | 16 (3 / 13) |
Uptime: | 35:02:11 |
Calls: | 6,822 |
Calls today: | 2 |
Files: | 12,335 |
Messages: | 5,407,189 |