Liste des Groupes | Revenir à theory |
On 22/05/2025 19:46, olcott wrote:Show HOW it proves that and I will point out your mistake.On 5/22/2025 1:33 PM, Richard Heathfield wrote:Read Turing's paper.On 22/05/2025 19:16, olcott wrote:>
>
<snip>
>In other words you are too scatterbrained to keep>
focused on a single point until closure is achieved.
Closure happened in 1936.
*CLOSURE ON THIS POINT HAS NEVER BEEN ACHIEVED*
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.