Sujet : Re: Why Peter Olcott is both right and wrong
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theoryDate : 15. May 2025, 13:23:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <877c2i2hbk.fsf@bsb.me.uk>
References : 1
User-Agent : Gnus/5.13 (Gnus v5.13)
Mr Flibble <
flibble@red-dwarf.jmc.corp> writes:
the truth is pathlogical input is undecidable:
No input[1] is undecidable.
that part Turing et al got right.
Turing never said that there are undecidable inputs[2].
Maybe "truth", "pathological", "input" and "undecidable" have special
Flibble meanings. I'm willing to accept that "the" and "is" have the
usual semantics.
[1] By input I mean an instance of the halting problem -- a string of
symbols representing (a) an encoded TM (a number is Turing's paper)
and (b) the initial tape contents.
[2] In the original paper, he never uses the words "input" or
"decidable". Instead, he uses other words, but nowhere is there any
remark that is even close to meaning what you say.
-- Ben.