Re: Professor Eric Hehner's brilliant work --- isomorphisms

Am Wed, 23 Apr 2025 07:10:20 -0500 schrieb olcott:

On 4/23/2025 6:30 AM, joes wrote:

Am Tue, 22 Apr 2025 13:18:42 -0500 schrieb olcott:

and both of them are the wrong answer.

Only when Carol gives it. The correct answer is the opposite.

Even a moron knows that self-contradictory questions have no correct
answer.

It's only contradictory when posed to HHH. HHH1 simulates DD halting
and reports as much. DD halts precisely because HHH returns "non-
halting".

When DD is able to actually do the opposite of whatever value that HHH
reports (it can't possibly do this) then HHH is being asked a question
where both yes and no are the wrong answer.

DD can most definitely do the opposite. Why shouldn't it?

Because doing the opposite is unreachable code.

No, only if HHH doesn't return, in which case it is not a decider.

Like Carol, HHH is incapable of answering correctly.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.