Sujet : Re: Olcott admits that the Halting Problem is undecidable
De : Bonita.Montero (at) *nospam* gmail.com (Bonita Montero)
Groupes : comp.theoryDate : 23. Oct 2025, 12:01:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10dd1ul$1kc03$1@raubtier-asyl.eternal-september.org>
References : 1
User-Agent : Mozilla Thunderbird
Am 26.09.2025 um 02:23 schrieb Mr Flibble:
Olcott admits that the Halting Problem is undecidable with the following
words quoted verbatim:
DD is the caller of HHH(DD) that does the opposite of whatever HHH(DD)
reports. This makes it logically impossible for HHH to correctly report
on the behavior of its caller no matter what HHH does.
>
So if HHH is asked the question does my caller halt?
It is logically impossible for HHH to provide a correct answer.
/Flibble
It doesn't matter, Pete is nuts.
You can argue about it for years, but he won't accept any of it.
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal