Liste des Groupes | Revenir à theory |
On 5/29/24 8:21 PM, olcott wrote:I said that Linz says that. The point is that the LinzOn 5/29/2024 7:09 PM, Richard Damon wrote:So, you now agree with Linz. Good.On 5/29/24 8:01 PM, olcott wrote:>On 5/29/2024 6:47 PM, Richard Damon wrote:>>*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
>
How?
>
The above is the question that Linz asks and the he gets
an answer of no, no such H exists.
>
>
Les messages affichés proviennent d'usenet.