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

On 4/22/25 2:18 PM, olcott wrote:

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.

Right, because the question is improper to be given to a willful being.

 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.
 

Sure DD can do the opposite of what HHH says it will do.
You just don't understand that partial simulation don't define behavior.
And both yes and not are NOT the wrong answer when asked of a particular HHH, only the one that that HHH gives is wrong, the other one is right,
You just are too stupid to understand that programs are not willful, but deterministic because you just don't know what the words mean.