Liste des Groupes | Revenir à c theory |
On 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:That has nothing to do with any of the
>
<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.
>
conventional proofs that the halting
problem has no solution.
It is never "yes it can be done in an infinite number of steps"
Les messages affichés proviennent d'usenet.