Liste des Groupes | Revenir à theory |
On 14/05/2025 18:22, olcott wrote:I have never been talking about that at any timeOn 5/14/2025 12:15 PM, Richard Heathfield wrote:<snip>On 14/05/2025 17:43, olcott wrote:Read it for yourself.>>The proof itself cannot exist because it is>
missing a key element.
The proof exists. Check the literature. It's complete, and it's not missing anything.
>
You INSIST on not paying enough attention.
https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
QED.
When you try to encode *AN INPUT* that actuallyWhen you try to encode *A PROGRAM* that actually computes for arbitrary program P
does the opposite of whatever value that
its termination analyzer returns in a fully
specified language such as C you will find
this is impossible.
Les messages affichés proviennent d'usenet.