Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem

Liste des GroupesRevenir à c theory 
Sujet : Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 11. May 2025, 17:13:13
Autres entêtes
Organisation : Fix this later
Message-ID : <vvqiap$g8ck$3@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 11/05/2025 16:56, olcott wrote:
The directly executed DD() simply halts because
HHH has stopped the infinite recursion that it
specifies on its second recursive call.
DD "simply halts".

DD emulated by HHH according to the rules of the
x86 language cannot possibly halt. Because all deciders
are required to report on what their finite string input
specifies HHH must reject DD as non-halting.
DD "cannot possibly halt".
Undecidability, thy name is DD.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Date Sujet#  Auteur
11 May 25 * Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem102Richard Heathfield
11 May 25 +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem93Richard Heathfield
11 May 25 i+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem79Richard Heathfield
11 May 25 ii+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem34olcott
11 May 25 iii+- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
11 May 25 iii+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2joes
11 May 25 iiii`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1olcott
11 May 25 iii+- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
11 May 25 iii+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem28olcott
11 May 25 iiii+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem11dbush
11 May 25 iiiii`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem10olcott
11 May 25 iiiii +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
11 May 25 iiiii `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem8dbush
11 May 25 iiiii  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem7olcott
11 May 25 iiiii   `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem6dbush
11 May 25 iiiii    `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem5olcott
11 May 25 iiiii     `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4dbush
11 May 25 iiiii      +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2olcott
11 May 25 iiiii      i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
11 May 25 iiiii      `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
11 May 25 iiii+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4olcott
11 May 25 iiiii+- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1olcott
11 May 25 iiiii`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2Richard Heathfield
11 May 25 iiiii `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
11 May 25 iiii`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem12Richard Heathfield
11 May 25 iiii +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
12 May 25 iiii `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem10Keith Thompson
12 May 25 iiii  +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem8olcott
12 May 25 iiii  i+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem6Richard Damon
12 May 25 iiii  ii`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem5olcott
12 May 25 iiii  ii +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
12 May 25 iiii  ii `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3Richard Damon
12 May 25 iiii  ii  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2olcott
12 May 25 iiii  ii   `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 iiii  i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1joes
12 May 25 iiii  `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
11 May 25 iii`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
11 May 25 ii`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem44Richard Damon
11 May 25 ii +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2olcott
12 May 25 ii i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 ii `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem41Richard Damon
12 May 25 ii  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem40Richard Heathfield
12 May 25 ii   `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem39olcott
12 May 25 ii    +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem22Richard Heathfield
12 May 25 ii    i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem21olcott
12 May 25 ii    i +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem19Richard Heathfield
12 May 25 ii    i i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem18olcott
12 May 25 ii    i i +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem10dbush
12 May 25 ii    i i i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem9olcott
12 May 25 ii    i i i `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem8dbush
12 May 25 ii    i i i  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem7olcott
12 May 25 ii    i i i   +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4dbush
12 May 25 ii    i i i   i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3olcott
12 May 25 ii    i i i   i +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
13 May 25 ii    i i i   i `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
13 May 25 ii    i i i   +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
13 May 25 ii    i i i   `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Mikko
12 May 25 ii    i i `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem7Richard Damon
12 May 25 ii    i i  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem6olcott
12 May 25 ii    i i   +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4dbush
12 May 25 ii    i i   i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3olcott
12 May 25 ii    i i   i +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
13 May 25 ii    i i   i `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
13 May 25 ii    i i   `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 ii    i `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 ii    `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem16Richard Damon
12 May 25 ii     `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem15olcott
12 May 25 ii      +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem10Richard Heathfield
12 May 25 ii      i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem9Keith Thompson
12 May 25 ii      i +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3olcott
12 May 25 ii      i i+- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
13 May 25 ii      i i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 ii      i `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem5Richard Heathfield
12 May 25 ii      i  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4Keith Thompson
12 May 25 ii      i   +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
13 May 25 ii      i   `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2Mike Terry
13 May 25 ii      i    `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Mike Terry
12 May 25 ii      `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4Richard Damon
12 May 25 ii       `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3olcott
12 May 25 ii        +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
13 May 25 ii        `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
11 May 25 i+* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem11olcott
11 May 25 ii`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem10Richard Heathfield
12 May 25 ii `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem9Ben Bacarisse
12 May 25 ii  +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2olcott
13 May 25 ii  i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 ii  +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2Richard Heathfield
13 May 25 ii  i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Ben Bacarisse
12 May 25 ii  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4wij
13 May 25 ii   `* Truthmaker Maximalism and pathological self-reference3olcott
13 May 25 ii    `* Re: Truthmaker Maximalism and pathological self-reference2wij
13 May 25 ii     `- Re: Truthmaker Maximalism and pathological self-reference1olcott
11 May 25 i+- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Mikko
11 May 25 +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
11 May 25 +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2olcott
11 May 25 i`- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Heathfield
11 May 25 +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
11 May 25 +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
12 May 25 `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3olcott
13 May 25  +- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
13 May 25  `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal