Liste des Groupes | Revenir à theory |
On 5/22/2025 1:33 PM, Richard Heathfield wrote:Read Turing's paper.On 22/05/2025 19:16, olcott wrote:*CLOSURE ON THIS POINT HAS NEVER BEEN ACHIEVED*
>
<snip>
>In other words you are too scatterbrained to keep>
focused on a single point until closure is achieved.
Closure happened in 1936.
When you try to define an input D to simulating terminationWhat it proves is that the universal termination analysis program cannot exist.
analyzer H that actually does the opposite of whatever value
that H returns you find that this
KEY ELEMENT OF THE CONVENTIONAL HALTING
PROBLEM PROOFS CANNOT POSSIBLY EXIST.
Les messages affichés proviennent d'usenet.