Liste des Groupes | Revenir à c theory |
Am Tue, 18 Feb 2025 07:29:55 -0600 schrieb olcott:What no one has ever bothered to notice is that impossibleOn 2/18/2025 6:25 AM, Richard Damon wrote:Impossible problems, like halting deciders. Asking for one makes no senseOn 2/18/25 6:22 AM, olcott wrote:It is generally the case that problems that are defined to be impossible>And who cares about that.
I am talking about the impossibility of defining an Algorithm to
correctly encode square circles not placing any limit on computation.
>
>
DO NOT EVER ACTUALLY LIMIT COMPUTATION.
the same way that asking for square circles does. Sure, you may be able
to decide on the halting of infinitely many programs, but there will
always be inf. many you cannot, among them everything that calls the
supposed „decider”.
Les messages affichés proviennent d'usenet.