Re: Halting Problem: What Constitutes Pathological Input

Liste des GroupesRevenir à c theory 
Sujet : Re: Halting Problem: What Constitutes Pathological Input
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 07. May 2025, 09:35:05
Autres entêtes
Organisation : -
Message-ID : <vvf5vp$tng3$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Unison/2.2
On 2025-05-07 01:39:45 +0000, olcott said:
  ...
On 5/5/2025 11:51 AM, olcott wrote:
 
int DD()
{
    int Halt_Status = HHH(DD);
    if (Halt_Status)
      HERE: goto HERE;
    return Halt_Status;
}

There are two different DD instances that have had
provably different behavior for at least three years.
Only the one quoted above is relevant to this discussion.
--
Mikko

Date Sujet#  Auteur
5 May 25 * Re: Halting Problem: What Constitutes Pathological Input334olcott
5 May 25 +* Re: Halting Problem: What Constitutes Pathological Input308dbush
5 May 25 i+* Re: Halting Problem: What Constitutes Pathological Input44dbush
5 May 25 ii`* Re: Halting Problem: What Constitutes Pathological Input43olcott
5 May 25 ii +* Re: Halting Problem: What Constitutes Pathological Input23dbush
5 May 25 ii i+* Re: Halting Problem: What Constitutes Pathological Input21olcott
5 May 25 ii ii`* Re: Halting Problem: What Constitutes Pathological Input20dbush
5 May 25 ii ii `* Re: Halting Problem: What Constitutes Pathological Input19olcott
5 May 25 ii ii  +- Re: Halting Problem: What Constitutes Pathological Input1dbush
6 May 25 ii ii  +* Re: Halting Problem: What Constitutes Pathological Input16Mikko
6 May 25 ii ii  i`* Re: Halting Problem: What Constitutes Pathological Input15olcott
6 May 25 ii ii  i +* Re: Halting Problem: What Constitutes Pathological Input9Richard Damon
7 May 25 ii ii  i i`* Re: Halting Problem: What Constitutes Pathological Input8olcott
7 May 25 ii ii  i i +- Re: Halting Problem: What Constitutes Pathological Input1Mikko
7 May 25 ii ii  i i `* Re: Halting Problem: What Constitutes Pathological Input6Fred. Zwarts
7 May 25 ii ii  i i  `* Re: Halting Problem: What Constitutes Pathological Input5Richard Heathfield
7 May 25 ii ii  i i   +* Re: Halting Problem: What Constitutes Pathological Input2Richard Heathfield
7 May 25 ii ii  i i   i`- Re: Halting Problem: What Constitutes Pathological Input1Richard Heathfield
7 May 25 ii ii  i i   +- Re: Halting Problem: What Constitutes Pathological Input1Richard Damon
8 May 25 ii ii  i i   `- Re: Halting Problem: What Constitutes Pathological Input1Mikko
7 May 25 ii ii  i +- Re: Halting Problem: What Constitutes Pathological Input1Mikko
7 May 25 ii ii  i `* Re: Halting Problem: What Constitutes Pathological Input4joes
7 May 25 ii ii  i  `* Re: Halting Problem: What Constitutes Pathological Input3olcott
7 May 25 ii ii  i   +- Re: Halting Problem: What Constitutes Pathological Input1dbush
8 May 25 ii ii  i   `- Re: Halting Problem: What Constitutes Pathological Input1Richard Damon
6 May 25 ii ii  `- Re: Halting Problem: What Constitutes Pathological Input1joes
6 May 25 ii i`- Re: Halting Problem: What Constitutes Pathological Input1joes
6 May 25 ii +* Re: Halting Problem: What Constitutes Pathological Input2Fred. Zwarts
6 May 25 ii i`- Re: Halting Problem: What Constitutes Pathological Input1Richard Heathfield
6 May 25 ii +* Re: Halting Problem: What Constitutes Pathological Input16Mikko
6 May 25 ii i`* Re: Halting Problem: What Constitutes Pathological Input15olcott
6 May 25 ii i `* Re: Halting Problem: What Constitutes Pathological Input14Richard Damon
7 May 25 ii i  +* Re: Halting Problem: What Constitutes Pathological Input6olcott
7 May 25 ii i  i+- Re: Halting Problem: What Constitutes Pathological Input1dbush
7 May 25 ii i  i`* Re: Halting Problem: What Constitutes Pathological Input4Richard Damon
7 May 25 ii i  i `* Re: Halting Problem: What Constitutes Pathological Input3olcott
7 May 25 ii i  i  +- Re: Halting Problem: What Constitutes Pathological Input1dbush
7 May 25 ii i  i  `- Re: Halting Problem: What Constitutes Pathological Input1Richard Damon
7 May 25 ii i  `* Re: Halting Problem: What Constitutes Pathological Input7Richard Damon
7 May 25 ii i   `* Re: Halting Problem: What Constitutes Pathological Input6olcott
7 May 25 ii i    +* Re: Halting Problem: What Constitutes Pathological Input4dbush
7 May 25 ii i    i`* Re: Halting Problem: What Constitutes Pathological Input3olcott
7 May 25 ii i    i +- Re: Halting Problem: What Constitutes Pathological Input1Richard Damon
7 May 25 ii i    i `- Re: Halting Problem: What Constitutes Pathological Input1dbush
7 May 25 ii i    `- Re: Halting Problem: What Constitutes Pathological Input1Richard Damon
6 May 25 ii `- Re: Halting Problem: What Constitutes Pathological Input1joes
5 May 25 i`* Re: Halting Problem: What Constitutes Pathological Input263olcott
5 May 25 i +* Re: Halting Problem: What Constitutes Pathological Input231dbush
5 May 25 i i+* Re: Halting Problem: What Constitutes Pathological Input2olcott
6 May 25 i ii`- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
5 May 25 i i+* Re: Halting Problem: What Constitutes Pathological Input226olcott
5 May 25 i ii+* Re: Halting Problem: What Constitutes Pathological Input224dbush
5 May 25 i iii`* Re: Halting Problem: What Constitutes Pathological Input223olcott
5 May 25 i iii +* Re: Halting Problem: What Constitutes Pathological Input219Richard Heathfield
5 May 25 i iii i`* Re: Halting Problem: What Constitutes Pathological Input218olcott
5 May 25 i iii i +* Re: Halting Problem: What Constitutes Pathological Input195dbush
5 May 25 i iii i i`* Re: Halting Problem: What Constitutes Pathological Input194olcott
5 May 25 i iii i i +* Re: Halting Problem: What Constitutes Pathological Input186dbush
5 May 25 i iii i i i+* Re: Halting Problem: What Constitutes Pathological Input172olcott
5 May 25 i iii i i ii+* Re: Halting Problem: What Constitutes Pathological Input170dbush
5 May 25 i iii i i iii`* Re: Halting Problem: What Constitutes Pathological Input169olcott
5 May 25 i iii i i iii `* Re: Halting Problem: What Constitutes Pathological Input168dbush
5 May 25 i iii i i iii  +* Re: Halting Problem: What Constitutes Pathological Input151olcott
5 May 25 i iii i i iii  i+- Re: Halting Problem: What Constitutes Pathological Input1Richard Heathfield
5 May 25 i iii i i iii  i`* Re: Halting Problem: What Constitutes Pathological Input149dbush
5 May 25 i iii i i iii  i `* Re: Halting Problem: What Constitutes Pathological Input148olcott
5 May 25 i iii i i iii  i  `* Re: Halting Problem: What Constitutes Pathological Input147dbush
6 May 25 i iii i i iii  i   `* Re: Halting Problem: What Constitutes Pathological Input146olcott
6 May 25 i iii i i iii  i    +* Re: Halting Problem: What Constitutes Pathological Input73dbush
6 May 25 i iii i i iii  i    i`* Re: Halting Problem: What Constitutes Pathological Input72olcott
6 May 25 i iii i i iii  i    i `* Re: Halting Problem: What Constitutes Pathological Input71dbush
6 May 25 i iii i i iii  i    i  `* Re: Halting Problem: What Constitutes Pathological Input70olcott
6 May 25 i iii i i iii  i    i   `* Re: Halting Problem: What Constitutes Pathological Input69dbush
6 May 25 i iii i i iii  i    i    `* Re: Halting Problem: What Constitutes Pathological Input68olcott
6 May 25 i iii i i iii  i    i     `* Re: Halting Problem: What Constitutes Pathological Input67dbush
6 May 25 i iii i i iii  i    i      `* Re: Halting Problem: What Constitutes Pathological Input66olcott
6 May 25 i iii i i iii  i    i       +* Re: Halting Problem: What Constitutes Pathological Input11dbush
6 May 25 i iii i i iii  i    i       i`* Re: Halting Problem: What Constitutes Pathological Input10olcott
6 May 25 i iii i i iii  i    i       i `* Re: Halting Problem: What Constitutes Pathological Input9dbush
6 May 25 i iii i i iii  i    i       i  `* Re: Halting Problem: What Constitutes Pathological Input8olcott
6 May 25 i iii i i iii  i    i       i   `* Re: Halting Problem: What Constitutes Pathological Input7dbush
6 May 25 i iii i i iii  i    i       i    `* Re: Halting Problem: What Constitutes Pathological Input6olcott
6 May 25 i iii i i iii  i    i       i     `* Re: Halting Problem: What Constitutes Pathological Input5dbush
6 May 25 i iii i i iii  i    i       i      `* Re: Halting Problem: What Constitutes Pathological Input4olcott
6 May 25 i iii i i iii  i    i       i       `* Re: Halting Problem: What Constitutes Pathological Input3dbush
6 May 25 i iii i i iii  i    i       i        `* Re: Halting Problem: What Constitutes Pathological Input2olcott
6 May 25 i iii i i iii  i    i       i         `- Re: Halting Problem: What Constitutes Pathological Input1dbush
6 May 25 i iii i i iii  i    i       `* Re: Halting Problem: What Constitutes Pathological Input54Richard Damon
6 May 25 i iii i i iii  i    i        `* Re: Halting Problem: What Constitutes Pathological Input53olcott
6 May 25 i iii i i iii  i    i         +- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
6 May 25 i iii i i iii  i    i         +* Re: Halting Problem: What Constitutes Pathological Input31joes
6 May 25 i iii i i iii  i    i         i`* Re: Halting Problem: What Constitutes Pathological Input30olcott
6 May 25 i iii i i iii  i    i         i +* Re: Halting Problem: What Constitutes Pathological Input13dbush
6 May 25 i iii i i iii  i    i         i i`* Re: Halting Problem: What Constitutes Pathological Input12olcott
6 May 25 i iii i i iii  i    i         i i +* Re: Halting Problem: What Constitutes Pathological Input7dbush
6 May 25 i iii i i iii  i    i         i i i`* Re: Halting Problem: What Constitutes Pathological Input6olcott
6 May 25 i iii i i iii  i    i         i i i +* Re: Halting Problem: What Constitutes Pathological Input4Richard Damon
7 May 25 i iii i i iii  i    i         i i i i`* Re: Halting Problem: What Constitutes Pathological Input3olcott
7 May 25 i iii i i iii  i    i         i i i i +- Re: Halting Problem: What Constitutes Pathological Input1joes
7 May 25 i iii i i iii  i    i         i i i i `- Re: Halting Problem: What Constitutes Pathological Input1Richard Damon
7 May 25 i iii i i iii  i    i         i i i `- Re: Halting Problem: What Constitutes Pathological Input1dbush
6 May 25 i iii i i iii  i    i         i i `* Re: Halting Problem: What Constitutes Pathological Input4Richard Damon
6 May 25 i iii i i iii  i    i         i `* Re: Halting Problem: What Constitutes Pathological Input16Richard Damon
6 May 25 i iii i i iii  i    i         +* Re: Halting Problem: What Constitutes Pathological Input13Richard Damon
7 May 25 i iii i i iii  i    i         `* Re: Halting Problem: What Constitutes Pathological Input7Mikko
6 May 25 i iii i i iii  i    `* Re: Halting Problem: What Constitutes Pathological Input72Richard Heathfield
5 May 25 i iii i i iii  `* Re: Halting Problem: What Constitutes Pathological Input16Richard Heathfield
5 May 25 i iii i i ii`- Re: Halting Problem: What Constitutes Pathological Input1Richard Heathfield
5 May 25 i iii i i i+* Re: Halting Problem: What Constitutes Pathological Input3Alan Mackenzie
5 May 25 i iii i i i`* Re: Halting Problem: What Constitutes Pathological Input10Richard Heathfield
6 May 25 i iii i i +- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
6 May 25 i iii i i `* Re: Halting Problem: What Constitutes Pathological Input6Mikko
5 May 25 i iii i +* Re: Halting Problem: What Constitutes Pathological Input20Richard Heathfield
6 May 25 i iii i `* Re: Halting Problem: What Constitutes Pathological Input2joes
5 May 25 i iii +- Re: Halting Problem: What Constitutes Pathological Input1dbush
6 May 25 i iii +- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
6 May 25 i iii `- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
6 May 25 i ii`- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
6 May 25 i i+- Re: Halting Problem: What Constitutes Pathological Input1Fred. Zwarts
6 May 25 i i`- Re: Halting Problem: What Constitutes Pathological Input1Mikko
6 May 25 i `* Re: Halting Problem: What Constitutes Pathological Input31Mikko
5 May 25 +- Re: Halting Problem: What Constitutes Pathological Input1Richard Heathfield
5 May 25 +* Re: Halting Problem: What Constitutes Pathological Input2olcott
6 May 25 +* Re: Halting Problem: What Constitutes Pathological Input21Richard Damon
6 May 25 `- Re: Halting Problem: What Constitutes Pathological Input1joes

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal