Liste des Groupes | Revenir à theory |
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:It says that the halting problem is defined in terms of finite strings
>According to the theory of computation the DDD that calls HHH(DDD)The theory of computation does not say what the domain of HHH is.
is not in the domain of HHH.
that encode Turing machines.
The theory of computation only allows finite string inputs.A description of a TM may be given to that same machine as input.
It does not allow the currently executing Turing Machine to be its own
input.
Les messages affichés proviennent d'usenet.