Liste des Groupes | Revenir à theory |
On 5/29/24 8:01 PM, olcott wrote:The above is the question that Linz asks and the he getsOn 5/29/2024 6:47 PM, Richard Damon wrote:How?>*Formalizing the Linz Proof structure*>
∃H ∈ Turing_Machines
∀x ∈ Turing_Machines_Descriptions
∀y ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
>
And since NO H, can get right the H^ built to contradict IT, that claim is proven false.
>
YOU KEEP TRYING TO GET AWAY WITH CHANGING THE SUBJECT
THE ABOVE FORMALIZATION IS CORRECT
>
Les messages affichés proviennent d'usenet.