Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Professor Eric Hehner's brilliant work --- isomorphisms
Date: Wed, 23 Apr 2025 07:10:20 -0500
Organization: A noiseless patient Spider
Lines: 61
Message-ID: <vualbc$31aen$2@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 23 Apr 2025 14:10:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="774c0e949166297020ddfcdaf7f57f17";
	logging-data="3189207"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18L3XQK5Kbzqu8AE+MV04la"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Kmyp1CMbbq2BO88XwI+Tns+OMOo=
Content-Language: en-US
X-Antivirus: Norton (VPS 250423-0, 4/22/2025), Outbound message
In-Reply-To: <df48c7eaa57051e145cf64e5109107b6ab80b6fa@i2pn2.org>
X-Antivirus-Status: Clean
Bytes: 3797

On 4/23/2025 6:30 AM, joes wrote:
> Am Tue, 22 Apr 2025 13:18:42 -0500 schrieb olcott:
>> On 4/22/2025 6:06 AM, Richard Damon wrote:
>>> On 4/21/25 11:16 PM, olcott wrote:
>>>> On 4/21/2025 7:46 PM, Richard Damon wrote:
>>>>> On 4/21/25 7:43 PM, olcott wrote:
>>>>>> On 4/21/2025 5:43 PM, Richard Damon wrote:
>>>>>>> On 4/21/25 4:27 PM, olcott wrote:
> 
>>>>>>>> WST Workshop on Termination, Oxford, 2018 Objective and Subjective
>>>>>>>> Specifications Eric C.R. Hehner Department of Computer Science,
>>>>>>>> University of Toronto
>>>>>>>>
>>>>>>>> (6) Can Carol correctly answer “no” to this (yes/no) question?
>>>>>>>> https://www.cs.toronto.edu/~hehner/OSS.pdf
>>>>>>>>
>>>>>>>> Is the perfect example of isomorphism to the halting problem's
>>>>>>>> pathological input. The halting problem input D derives a self-
>>>>>>>> contradictory question for H the same way that Carol's question is
>>>>>>>> self-contradictory for Carol.
>>>>>>>
>>>>>>> No it isn't, as Carol is a voltional being while a decider is
>>>>>>> deterministic.
>>>>>>>
>>>>>> How long are you going to pretend that you don't know what
>>>>>> isomorphisms are?
>>>>>
>>>>> When are you going to stop[ abusing the term.
>>>>> To be an ISO-MORPHISM, they need to be "of the same shape".
>>>>> The to things aren't of the same shape, as they aren't even of the
>>>>> same type.
>>>>> Thus, your comparison is just an ACTUAL type error, verse you made-up
>>>>> type of type error.
>>>>>
>>>> Bijective mapping.
>>>>
>>> So, what BIjection are you talking about?
>>> Carol, as she sits there can give two answers, Yes, or No.
>>
>> 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.

>> 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.

> Like Carol, HHH is incapable of answering correctly.
> 


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer