Sujet : Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 16. Jul 2024, 21:37:47
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <14767db98f042d0b6026467bff4df53f0c4b5f6e@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 16 Jul 2024 13:10:55 -0500 schrieb olcott:
On 7/16/2024 2:47 AM, Mikko wrote:
On 2024-07-15 13:39:07 +0000, olcott said:
On 7/15/2024 3:09 AM, Mikko wrote:
On 2024-07-14 14:00:55 +0000, olcott said:
>
According to the theory of computation the DDD that calls HHH(DDD)
is not in the domain of HHH.
The theory of computation does not say what the domain of HHH is.
It says that the halting problem is defined in terms of finite strings
that encode Turing machines.
The theory of computation only allows finite string inputs.
It does not allow the currently executing Turing Machine to be its own
input.
A description of a TM may be given to that same machine as input.
-- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:Objectively I am a genius.
…