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:11:28
Autres entêtes
Organisation : Fix this later
Message-ID : <vvqi7g$g8ck$2@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 11/05/2025 16:49, olcott wrote:
Yes and that can be applied to creating a formal system
that comprises the set of all knowledge that can be
expressed in language. In this case Unprovable(x) means
~Knowledge(x). Undecidability cannot possibly occur.
Look up Gödel.
--
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