Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Professor Eric Hehner's brilliant work --- isomorphisms
Date: Wed, 23 Apr 2025 13:32:54 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <c38da050a5a7201fb739259e39a40d99e53351a1@i2pn2.org>
References: <vu69o0$2vn05$2@dont-email.me>
	<47fa53a4ee87210f654ff66976626fb2acbc2173@i2pn2.org>
	<vu6l7u$39fls$1@dont-email.me>
	<e31d700b73879a4723ca265dcbe1b2a40856fbe2@i2pn2.org>
	<vu71md$3mrie$1@dont-email.me>
	<c40f1347b8f59be930c8baa857c37a48c1eb4724@i2pn2.org>
	<vu8mi3$13jl5$2@dont-email.me>
	<df48c7eaa57051e145cf64e5109107b6ab80b6fa@i2pn2.org>
	<vualbc$31aen$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 23 Apr 2025 13:32:54 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1531528"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

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.