comp.theory

Liste des GroupesPages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
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
10 May 25 * Re: Halting Problem: How my refutation differs to Peter Olcott's37Richard Damon
11 May 25 +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
11 May 25 +* Re: Halting Problem: How my refutation differs to Peter Olcott's24olcott
11 May 25 i+* Re: Halting Problem: How my refutation differs to Peter Olcott's22Richard Damon
11 May 25 ii+* Recursive simulation must be reported and not ignored.4olcott
11 May 25 iii+- Re: Recursive simulation must be reported and not ignored.1Richard Damon
11 May 25 iii+- Re: Recursive simulation must be reported and not ignored.1joes
11 May 25 iii`- Re: Recursive simulation must be reported and not ignored.1Fred. Zwarts
11 May 25 ii+- Re: Recursive simulation must be reported and not ignored.1Richard Damon
11 May 25 ii+* Re: Halting Problem: How my refutation differs to Peter Olcott's14olcott
11 May 25 iii+* Re: Halting Problem: How my refutation differs to Peter Olcott's4olcott
11 May 25 iiii`* Re: Halting Problem: How my refutation differs to Peter Olcott's3olcott
11 May 25 iiii `* Re: Halting Problem: How my refutation differs to Peter Olcott's2olcott
11 May 25 iiii  `- Re: Halting Problem: How my refutation differs to Peter Olcott's1olcott
11 May 25 iii+- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
11 May 25 iii+* Re: Halting Problem: How my refutation differs to Peter Olcott's2Richard Damon
11 May 25 iiii`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
12 May 25 iii`* Re: Halting Problem: How my refutation differs to Peter Olcott's6Mikko
12 May 25 iii +* Re: Halting Problem: How my refutation differs to Peter Olcott's2Richard Heathfield
12 May 25 iii i`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Mikko
12 May 25 iii `* Re: Halting Problem: How my refutation differs to Peter Olcott's3olcott
13 May 25 iii  +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
13 May 25 iii  `- Re: Halting Problem: How my refutation differs to Peter Olcott's1Mikko
11 May 25 ii+- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
11 May 25 ii`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
11 May 25 i`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
11 May 25 `* Re: Halting Problem: How my refutation differs to Peter Olcott's11joes
11 May 25  +- Re: Halting Problem: How my refutation differs to Peter Olcott's1joes
11 May 25  +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
12 May 25  `* Re: Halting Problem: How my refutation differs to Peter Olcott's8Mikko
12 May 25   `* Re: Halting Problem: How my refutation differs to Peter Olcott's7olcott
12 May 25    +* Re: Halting Problem: How my refutation differs to Peter Olcott's5Richard Heathfield
12 May 25    i`* Re: Halting Problem: How my refutation differs to Peter Olcott's4olcott
12 May 25    i +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
13 May 25    i `* Re: Halting Problem: How my refutation differs to Peter Olcott's2Mikko
13 May 25    i  `- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
13 May 25    `- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
10 May 25 * Try and prove that DDD correctly emulated by HHH reaches its final halt state30olcott
10 May 25 +* First, prove that DDD is correctly emulated by HHH8Richard Heathfield
10 May 25 i`* Try and prove that DDD correctly emulated by HHH reaches its final halt state7olcott
10 May 25 i +* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state5Richard Heathfield
10 May 25 i i`* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state4olcott
10 May 25 i i `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state3Richard Heathfield
10 May 25 i i  `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state2olcott
10 May 25 i i   `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 i `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Fred. Zwarts
10 May 25 `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state19Mikko
10 May 25  `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state18olcott
10 May 25   +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Fred. Zwarts
10 May 25   +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
11 May 25   `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state15Mikko
11 May 25    `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state14olcott
11 May 25     +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
12 May 25     `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state12Mikko
12 May 25      `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state11olcott
12 May 25       +* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state8Richard Heathfield
12 May 25       i+* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state6olcott
12 May 25       ii+- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1dbush
12 May 25       ii+* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state3Richard Heathfield
12 May 25       iii`* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state2olcott
12 May 25       iii `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Heathfield
13 May 25       ii`- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
13 May 25       i`- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
13 May 25       +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
13 May 25       `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
10 May 25 * Re: Why I need to cross-post to comp.lang.c25Mikko
10 May 25 +* Re: Why I need to cross-post to comp.lang.c2Richard Heathfield
10 May 25 i`- Re: Why I need to cross-post to comp.lang.c1Richard Damon
10 May 25 `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED22olcott
10 May 25  +- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1wij
10 May 25  +- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Fred. Zwarts
10 May 25  +- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Richard Damon
11 May 25  `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED18Mikko
11 May 25   `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED17olcott
11 May 25    +* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED2dbush
11 May 25    i`- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Keith Thompson
11 May 25    +- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Richard Damon
12 May 25    `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED13Mikko
12 May 25     `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED12olcott
12 May 25      +* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED9dbush
12 May 25      i`* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED8olcott
12 May 25      i +* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED6dbush
12 May 25      i i`* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED5olcott
12 May 25      i i `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED4dbush
12 May 25      i i  `* Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED3olcott
12 May 25      i i   +- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1dbush
13 May 25      i i   `- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Mikko
13 May 25      i `- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Richard Damon
13 May 25      +- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Richard Damon
13 May 25      `- Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED1Mikko
12 May 25 * Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem9Mikko
12 May 25 `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem8olcott
12 May 25  +* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem5dbush
12 May 25  i`* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem4olcott
12 May 25  i `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem3dbush
12 May 25  i  `* Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem2olcott
12 May 25  i   `- Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1dbush
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
13 May 25 o Why olcott keeps posting POOH?1wij
9 May 25 * Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS23olcott
9 May 25 +* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS7Richard Heathfield
9 May 25 i+* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3olcott
9 May 25 ii+- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
9 May 25 ii`- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Heathfield
9 May 25 i`* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3Mike Terry
9 May 25 i `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS2olcott
9 May 25 i  `- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
9 May 25 +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
10 May 25 +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Fred. Zwarts
10 May 25 `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS13Mikko
10 May 25  `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS12olcott
10 May 25   +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Fred. Zwarts
10 May 25   +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
11 May 25   `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS9Mikko
11 May 25    `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS8olcott
11 May 25     +* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3Richard Damon
11 May 25     i`* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS2olcott
12 May 25     i `- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
12 May 25     `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS4Mikko
12 May 25      `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3olcott
12 May 25       +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1dbush
13 May 25       `- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
11 May 25 o Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem1Richard Damon
11 May 25 o Re: Halting Problem: How my refutation differs to Peter Olcott's1Mikko
10 May 25 o Re: Branching Simulating Halt Decider1Richard Damon
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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal