Liste des Groupes | Revenir à c theory |
On 14/05/2025 18:17, olcott wrote:I never had any straw-man within the actual subjectOn 5/14/2025 10:44 AM, Richard Heathfield wrote:I was just echoing your wording and I got lazy. Your strawman, not mine.On 14/05/2025 16:32, olcott wrote:>
>
<snip>
>It is nuts to propose the idea of a universal>
halt decider when we know that there are some
things that can only be decided by an infinite
computation.
It is precisely because Alan Turing proposed the idea of a universal halt decider that we know that there are some things that can only be decided by an infinite computation.
>
That has nothing to do with any of the
conventional proofs that the halting
problem has no solution.
>
It is never "yes it can be done in an infinite number of steps"
<snip>
Les messages affichés proviennent d'usenet.