Liste des Groupes | Revenir à theory |
On 6/1/2024 1:56 PM, joes wrote:This is a rare instance of Olcott being correct.I misunderstood this, too, but we want a single machine that solves the∃H ∈ Turing_Machines
problem on its own, not multiple that each solve parts. There could be
many such machines.
>
is fulfilled when there are one or more machines that independently
solve the halting problem.
∃!H ∈ Turing_Machines
is ONLY fulfilled when there is exactly one machine that solves the halting problem.
I knew what Linz meant from all the other proofs that I read.
Les messages affichés proviennent d'usenet.