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 : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 11. May 2025, 17:04:59
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <e541bd7d959266db2d54ed276ae15f7e9702fe75@i2pn2.org>
References : 1 2 3 4 5 6 7 8
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sun, 11 May 2025 10:56:02 -0500 schrieb olcott:

The directly executed DD() simply halts because HHH has stopped the
infinite recursion that it specifies on its second recursive call.
Interesting. The simulated DD shouldn't need to be aborted since
it does the same thing.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

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