Re: Halting Problem: What Constitutes Pathological Input

Liste des GroupesRevenir à theory 
Sujet : Re: Halting Problem: What Constitutes Pathological Input
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 06. May 2025, 02:02:31
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <f9c2e159d0f93c5e5f8987ada4988981d9219d32@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
On 5/5/25 11:17 AM, Mr Flibble wrote:
What constitutes halting problem pathological input:
 Input that would cause infinite recursion when using a decider of the
simulating kind.
 Such input forms a category error which results in the halting problem
being ill-formed as currently defined.
 /Flibble
And what is a decider of the simulating kind?
Remember, a decider must have a FIXED algorithm, and the input will also be a FIXED program, and thus the concept of "If the decider doesn't abort" looking at input that changes with the deciddr is uust a category error.

Date Sujet#  Auteur
6 May 25 o Re: Halting Problem: What Constitutes Pathological Input1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal