Sujet : Re: And those are the facts
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 15. Jun 2025, 11:15:32
Autres entêtes
Organisation : -
Message-ID : <102m6g4$ri3f$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-06-13 15:02:10 +0000, Mr Flibble said:
A simulating halt decider (SHD) must always halt (i.e. provide a halting
decision about its input) irregardless of whether or not its input halts.
And those are the facts.
There is no "those". There is only one single sentence, and that sentence
is not a fact but a requirement.
-- Mikko
Re: And those are the facts