Liste des Groupes | Revenir à c theory |
On 5/29/2024 10:40 AM, Alan Mackenzie wrote:My points were :[ Followup-To: set ]*Most everyone here believes that I am wrong at least somewhere*
>
In comp.theory olcott <polcott333@gmail.com> wrote:
>
[ .... ]
>Everyone that knows the truth knows that I am correct and you are wrong.>
There is NO correct reasoning that can possibly show that I am wrong.
Everybody here, bar one person, knows you are wrong.
>
When we go over what I am saying point by point and thus do not
allow the *strawman deception CHANGE-THE-SUBJECT fake rebuttal*
no one here have provided complete and correct reasoning that I
am wrong on any one point.
The point of this post is {templates and infinite sets}
*Formalizing the Linz Proof structure*
∃H ∈ Turing_Machines
∀x ∈ Turing_Machines_Descriptions
∀y ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
*Here is the same sort of template to H/D pairs*
∃H ∈ C_Functions
∀D ∈ x86_Machine_Code_of_C_Functions
such that H(D,D) = Halts(D,D)
I did not read it that way.Mike Terry would know that I am correct. Ben might not understand>
quantification. Ben did verify this encoding:
How about a bit of respect? Mike specifically asked you not to cite his
name as a back up for your points. Why do you keep doing it?
I read that he said that I often respond to specific reviewers by name.
Les messages affichés proviennent d'usenet.