Re: Why Peter Olcott is both right and wrong

Liste des GroupesRevenir à c theory 
Sujet : Re: Why Peter Olcott is both right and wrong
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theory
Date : 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.

Date Sujet#  Auteur
15 May 25 * Re: Why Peter Olcott is both right and wrong8Ben Bacarisse
16 May 25 +* Re: Why Peter Olcott is both right and wrong2Richard Heathfield
16 May 25 i`- Re: Why Peter Olcott is both right and wrong1Ben Bacarisse
16 May 25 `* Re: Why Peter Olcott is both right and wrong5Ben Bacarisse
16 May 25  `* Re: Why Peter Olcott is both right and wrong4olcott
16 May 25   +* Re: Why Peter Olcott is both right and wrong2olcott
17 May 25   i`- Re: Why Peter Olcott is both right and wrong1Richard Damon
17 May 25   `- Re: Why Peter Olcott is both right and wrong1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal