Sujet : Re: Professor Eric Hehner's brilliant work --- isomorphisms
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 22. Apr 2025, 04:16:28
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vu71md$3mrie$1@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
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.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Professor Eric Hehner's brilliant work
Re: Professor Eric Hehner's brilliant work --- isomorphisms