Liste des Groupes | Revenir à s logic |
ZFC simply tossed out the Russell's Paradox question as unsound.So you are saying that some Turing machines are not sound?
So you are saying that some Turing machines are not real Turing machines?ZFC simply tossed out the Russell's Paradox question as unsoundBoth H ⟨Ĥ⟩ ⟨Ĥ⟩ and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ correctly decide that:>
(a) Their input halts H.qy
(b) Their input fails to halt or has a pathological
relationship to itself H.qn.
But the "Pathological Relationship" is ALLOWED.
>
expressly disallowing the "Pathological Relationship".
I am only claiming that both H and Ĥ.H correctly say YESwell the halting problem requires them to correctly say NO, so you haven't solved it
when their input halts and correctly say NOT YES otherwise.
Les messages affichés proviennent d'usenet.