Liste des Groupes | Revenir à theory |
On 30/05/2025 19:48, dbush wrote:IT DOES YET YOU INSIST ON LYING ABOUT THIS.On 5/30/2025 2:40 PM, olcott wrote:<snip>On 5/30/2025 1:20 PM, Richard Heathfield wrote:
HHH is not that process, and thus HHH has no bearing whatsoever on the Turing proof.>>
+++++
Let us suppose that there is such a process; that is to say, that we can invent a machine <D- which, when supplied with the S.D of any computing machine i l will test this S.D and if i l is circular will mark the S.D with the symbol "u" and if it is circle-free will mark it with " s ".
+++++
>
By "the S.D. of any computing machine" he means the 'standard description' of >>>>any<<<< Turing machine.
>
HHH is not that process, and thus HHH has no bearing whatsoever on the Turing proof.
>
It is a verified fact that
Les messages affichés proviennent d'usenet.