Sujet : Re: Professor Eric Hehner's brilliant work
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 02. May 2025, 06:40:39
Autres entêtes
Organisation : Fix this later
Message-ID : <vv1lsn$d4ik$2@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 21/04/2025 21:27, 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?
Undecidability isn't restricted to Turing Machines.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within
Professor Eric Hehner's brilliant work
Re: Professor Eric Hehner's brilliant work --- isomorphisms