Sujet : Re: Why Peter Olcott is both right and wrong
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theoryDate : 16. May 2025, 22:33:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87v7q01br6.fsf@bsb.me.uk>
References : 1 2 3 4 5
User-Agent : Gnus/5.13 (Gnus v5.13)
Mr Flibble <
flibble@red-dwarf.jmc.corp> writes:
On Fri, 16 May 2025 00:59:02 +0100, Ben Bacarisse wrote:
>
Mr Flibble <flibble@red-dwarf.jmc.corp> writes:
On Thu, 15 May 2025 13:23:43 +0100, Ben Bacarisse wrote:
>
Mr Flibble <flibble@red-dwarf.jmc.corp> writes:
the truth is pathlogical input is undecidable:
No input[1] is undecidable.
>
Eh? Partial deciders are a thing.
Yes. That does not alter the fact that no input is undecidable.
>
Pathological input is undecidable as pathological input is an "impossible
program" [Strachey 1965].
The most likely explanation is that you don't know what decidable means.
Either that or you just like posting remarks for the sake of it.
-- Ben.