comp.theory

Liste des Groupes Pages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i`* Re: Computable Functions --- finite string transformation rules --- 0 ≠114olcott
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i +* Re: Computable Functions --- finite string transformation rules --- 0 ≠112dbush
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i`* Re: Computable Functions --- finite string transformation rules --- 0 ≠111olcott
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i +* Re: Computable Functions --- finite string transformation rules --- 0 ≠19dbush
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i i`* Re: Computable Functions --- finite string transformation rules --- 0 ≠18olcott
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i i +- Re: Computable Functions --- finite string transformation rules --- 0 ≠11dbush
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i i `* Re: Computable Functions --- finite string transformation rules --- 0 ≠16Fred. Zwarts
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i i  `* Re: Computable Functions --- finite string transformation rules --- 0 ≠15olcott
29 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i i   +- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Fred. Zwarts
29 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i i   `* Re: Computable Functions --- finite string transformation rules --- 0 ≠13joes
1 May 25 i      i i i i iii  i i   i i i i i             i         i i i i    `* Re: Computable Functions --- finite string transformation rules --- 0 ≠12olcott
1 May 25 i      i i i i iii  i i   i i i i i             i         i i i i     `- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Richard Damon
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i i `- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Fred. Zwarts
28 Apr 25 i      i i i i iii  i i   i i i i i             i         i i `- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Fred. Zwarts
29 Apr 25 i      i i i i iii  i i   i i i i i             i         i `- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Richard Damon
29 Apr 25 i      i i i i iii  i i   i i i i i             i         +- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Richard Damon
29 Apr 25 i      i i i i iii  i i   i i i i i             i         `- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Mikko
25 Apr 25 i      i i i i iii  i i   i i i i i             `- Re: Computable Functions --- finite string transformation rules --- 0 ≠11Fred. Zwarts
15 Apr 25 i      i i i i iii  i i   i i i i `- Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT1Richard Damon
15 Apr 25 i      i i i i iii  i i   i i i `- Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT1Richard Damon
15 Apr 25 i      i i i i iii  i i   i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
15 Apr 25 i      i i i i iii  i i   i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i i   +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4Fred. Zwarts
15 Apr 25 i      i i i i iii  i i   i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots3olcott
15 Apr 25 i      i i i i iii  i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Fred. Zwarts
15 Apr 25 i      i i i i iii  i i   i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i i   `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots11joes
14 Apr 25 i      i i i i iii  i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots10olcott
15 Apr 25 i      i i i i iii  i   +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
22 Apr 25 i      i i i i iii  i   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots8joes
22 Apr 25 i      i i i i iii  i    `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots7olcott
22 Apr 25 i      i i i i iii  i     +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
23 Apr 25 i      i i i i iii  i     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots5Fred. Zwarts
23 Apr 25 i      i i i i iii  i      `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4olcott
23 Apr 25 i      i i i i iii  i       `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots3Fred. Zwarts
23 Apr 25 i      i i i i iii  i        `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots2olcott
23 Apr 25 i      i i i i iii  i         `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Fred. Zwarts
13 Apr 25 i      i i i i iii  +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Fred. Zwarts
13 Apr 25 i      i i i i iii  i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3olcott
14 Apr 25 i      i i i i iii  i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
14 Apr 25 i      i i i i iii  i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
14 Apr 25 i      i i i i iii  `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
12 Apr 25 i      i i i i ii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Mikko
12 Apr 25 i      i i i i ii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3Richard Heathfield
13 Apr 25 i      i i i i ii  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)2olcott
14 Apr 25 i      i i i i ii   `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
13 Apr 25 i      i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3olcott
13 Apr 25 i      i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr 25 i      i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
10 Apr 25 i      i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Fred. Zwarts
11 Apr 25 i      i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3olcott
11 Apr 25 i      i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
13 Apr 25 i      i i i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)9joes
13 Apr 25 i      i i i  +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
13 Apr 25 i      i i i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)7olcott
13 Apr 25 i      i i i   +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5dbush
13 Apr 25 i      i i i   i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4olcott
13 Apr 25 i      i i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr 25 i      i i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
14 Apr 25 i      i i i   i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
14 Apr 25 i      i i i   `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
10 Apr 25 i      i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
9 Apr 25 i      i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
8 Apr 25 i      +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5Mikko
8 Apr 25 i      i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4olcott
8 Apr 25 i      i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3Richard Damon
9 Apr 25 i      i  `* DD simulated by HHH cannot possibly halt (Halting Problem)2olcott
10 Apr 25 i      i   `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
8 Apr 25 i      `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
5 Apr 25 `* Proving the: Simulating termination analyzer Principle5olcott
5 Apr 25  +- Re: Proving the: Simulating termination analyzer Principle1dbush
5 Apr 25  `* Re: Proving the: Simulating termination analyzer Principle3Richard Damon
6 Apr 25   `* Re: Proving the: Simulating termination analyzer Principle2olcott
6 Apr 25    `- Re: Proving the: Simulating termination analyzer Principle1Richard Damon
2 May 25 * Re: Proof of Halting Problem Decidability in Typed Hypercomputational Programs (THP)2Richard Heathfield
2 May 25 `- Re: Proof of Halting Problem Decidability in Typed Hypercomputational Programs (THP)1Richard Heathfield
20 Apr 25 * All of computation and human reasoning can be encoded as finite string transformations98olcott
20 Apr 25 +* Re: All of computation and human reasoning can be encoded as finite string transformations96Richard Damon
20 Apr 25 i+* All of computation and human reasoning can be encoded as finite string transformations --- Quine94olcott
20 Apr 25 ii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine34Richard Damon
20 Apr 25 iii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine19olcott
20 Apr 25 iiii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine17Richard Damon
20 Apr 25 iiiii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine16olcott
20 Apr 25 iiiii +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine10Richard Damon
20 Apr 25 iiiii i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine9olcott
21 Apr 25 iiiii i +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Richard Damon
21 Apr 25 iiiii i i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
21 Apr 25 iiiii i i +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiiii i i `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiiii i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
21 Apr 25 iiiii i  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
21 Apr 25 iiiii i   +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiiii i   `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiiii `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5Mikko
21 Apr 25 iiiii  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4olcott
21 Apr 25 iiiii   +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Alan Mackenzie
22 Apr 25 iiiii   +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiiii   `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiii`- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
20 Apr 25 iii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine13olcott
20 Apr 25 iiii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine8Richard Damon
20 Apr 25 iiiii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine7olcott
20 Apr 25 iiiii +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5Richard Damon
20 Apr 25 iiiii i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4olcott
21 Apr 25 iiiii i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3Richard Damon
21 Apr 25 iiiii i  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2olcott
21 Apr 25 iiiii i   `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
21 Apr 25 iiiii `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
21 Apr 25 iiii `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
21 Apr 25 iiii  +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiii  `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
20 Apr 25 iii`- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
21 Apr 25 ii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine57Mikko
21 Apr 25 iii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine56olcott
22 Apr 25 iii +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iii `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine54Mikko
22 Apr 25 iii  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine53olcott
22 Apr 25 iii   +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Richard Damon
23 Apr 25 iii   i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
23 Apr 25 iii   i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2Richard Damon
23 Apr 25 iii   i  `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1olcott
24 Apr 25 iii   +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine43Mikko
24 Apr 25 iii   i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine42olcott
25 Apr 25 iii   i +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
25 Apr 25 iii   i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine40Mikko
25 Apr 25 iii   i  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine39olcott
26 Apr 25 iii   i   +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine15Richard Damon
26 Apr 25 iii   i   i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine14olcott
26 Apr 25 iii   i   i +- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
27 Apr 25 iii   i   i `* Re: All computation & human reasoning encoded as finite string transformations --- Quine12Mikko
27 Apr 25 iii   i   i  `* Re: All computation & human reasoning encoded as finite string transformations --- Quine11olcott
27 Apr 25 iii   i   i   +* Re: All computation & human reasoning encoded as finite string transformations --- Quine4Alan Mackenzie
28 Apr 25 iii   i   i   i+* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
28 Apr 25 iii   i   i   ii`- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
28 Apr 25 iii   i   i   i`- Re: All computation & human reasoning encoded as finite string transformations --- Quine1olcott
28 Apr 25 iii   i   i   `* Re: All computation & human reasoning encoded as finite string transformations --- Quine6Mikko
28 Apr 25 iii   i   i    `* Re: All computation & human reasoning encoded as finite string transformations --- Quine5olcott
29 Apr 25 iii   i   i     +- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
29 Apr 25 iii   i   i     `* Re: All computation & human reasoning encoded as finite string transformations --- Quine3Mikko
30 Apr 25 iii   i   i      `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
2 May 25 iii   i   i       `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Mikko
26 Apr 25 iii   i   `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine23Mikko
26 Apr 25 iii   i    `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine22olcott
26 Apr 25 iii   i     +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine12Alan Mackenzie
26 Apr 25 iii   i     i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine11olcott
26 Apr 25 iii   i     i +* Re: All computation & human reasoning encoded as finite string transformations --- Quine8Alan Mackenzie
26 Apr 25 iii   i     i i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine7olcott
26 Apr 25 iii   i     i i +* Re: All computation & human reasoning encoded as finite string transformations --- Quine5Alan Mackenzie
26 Apr 25 iii   i     i i i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine4olcott
27 Apr 25 iii   i     i i i `* Re: All computation & human reasoning encoded as finite string transformations --- Quine3Alan Mackenzie
27 Apr 25 iii   i     i i i  `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
27 Apr 25 iii   i     i i i   `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Alan Mackenzie
27 Apr 25 iii   i     i i `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Mikko
27 Apr 25 iii   i     i `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
28 Apr 25 iii   i     i  `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
26 Apr 25 iii   i     +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5Richard Damon
27 Apr 25 iii   i     i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
27 Apr 25 iii   i     i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
28 Apr 25 iii   i     i  +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
29 Apr 25 iii   i     i  `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
27 Apr 25 iii   i     `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
27 Apr 25 iii   i      `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
28 Apr 25 iii   i       +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
29 Apr 25 iii   i       `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
25 Apr 25 iii   `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5olcott
25 Apr 25 iii    +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
26 Apr 25 iii    `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3Mikko
26 Apr 25 iii     `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2olcott
26 Apr 25 iii      `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
23 Apr 25 ii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2Rosario19
23 Apr 25 ii `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1olcott
21 Apr 25 i`- Re: All of computation and human reasoning can be encoded as finite string transformations1Mikko
21 Apr 25 `- Re: All of computation and human reasoning can be encoded as finite string transformations1Mikko
21 Apr 25 * Professor Eric Hehner's brilliant work14olcott
21 Apr 25 +* Re: Professor Eric Hehner's brilliant work12Richard Damon
22 Apr 25 i`* Re: Professor Eric Hehner's brilliant work --- isomorphisms11olcott
22 Apr 25 i `* Re: Professor Eric Hehner's brilliant work --- isomorphisms10Richard Damon
22 Apr 25 i  `* Re: Professor Eric Hehner's brilliant work --- isomorphisms9olcott
22 Apr 25 i   `* Re: Professor Eric Hehner's brilliant work --- isomorphisms8Richard Damon
22 Apr 25 i    `* Re: Professor Eric Hehner's brilliant work --- isomorphisms7olcott
22 Apr 25 i     +- Re: Professor Eric Hehner's brilliant work --- isomorphisms1Richard Damon
23 Apr 25 i     `* Re: Professor Eric Hehner's brilliant work --- isomorphisms5joes
23 Apr 25 i      `* Re: Professor Eric Hehner's brilliant work --- isomorphisms4olcott
23 Apr 25 i       +* Re: Professor Eric Hehner's brilliant work --- isomorphisms2joes
23 Apr 25 i       i`- Re: Professor Eric Hehner's brilliant work --- isomorphisms1olcott
23 Apr 25 i       `- Re: Professor Eric Hehner's brilliant work --- isomorphisms1Richard Damon
2 May 25 `- Re: Professor Eric Hehner's brilliant work1Richard Heathfield
29 Apr 25 o Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error in All Computational Models and the Mathematical Universe Hypothesis is True1Richard Heathfield
26 Apr 25 * Modularity is not compositionality3Julio Di Egidio
26 Apr 25 +- Re: Modularity is not compositionality --- PLO1olcott
27 Apr 25 `- Re: Modularity is not compositionality1Mikko
26 Apr 25 * Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error --- Linz Proof6olcott
26 Apr 25 `* Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error --- Linz Proof5dbush
26 Apr 25  `* Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error --- Linz Proof4olcott
26 Apr 25   `* Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error --- Linz Proof3dbush
26 Apr 25    `* Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error --- Linz Proof2olcott
26 Apr 25     `- Re: Refutation of the Halting Problem Assuming the Self-Referential Paradox is a Category Error --- Linz Proof1dbush
26 Apr 25 o Re: Proof of Halting Problem Decidability in Typed Hypercomputational Programs (THP)1Mikko
21 Apr 25 * Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error7Richard Damon
21 Apr 25 +- Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error1olcott
21 Apr 25 +- Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error1Richard Damon
22 Apr 25 `* Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error4Mikko
22 Apr 25  +* Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error2Keith Thompson
24 Apr 25  i`- Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error1Mikko
24 Apr 25  `- Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error1Mikko
18 Apr 25 * Re: Flibble's Law20Richard Damon
18 Apr 25 `* Re: Flibble's Law19Richard Damon
18 Apr 25  +- Re: Flibble's Law1Keith Thompson
18 Apr 25  +- Re: Flibble's Law1Keith Thompson
19 Apr 25  +* Re: Flibble's Law7Richard Damon
19 Apr 25  i`* Re: Flibble's Law6Keith Thompson
19 Apr 25  i +- Re: Flibble's Law1Richard Damon
19 Apr 25  i `* Re: Flibble's Law4Mike Terry
19 Apr 25  i  `* Re: Flibble's Law3olcott
19 Apr 25  i   +- Re: Flibble's Law1Fred. Zwarts
19 Apr 25  i   `- Re: Flibble's Law1Richard Damon
22 Apr 25  +* Re: Flibble's Law6Keith Thompson
22 Apr 25  i`* Re: Flibble's Law5olcott
23 Apr 25  i `* Re: Flibble's Law4Richard Damon
23 Apr 25  i  +* Re: Flibble's Law2Keith Thompson
23 Apr 25  i  i`- Re: Flibble's Law1Richard Damon
23 Apr 25  i  `- Re: Flibble's Law1Richard Damon
22 Apr 25  `* Re: Flibble's Law3Richard Damon
23 Apr 25   `* Re: Flibble's Law2Keith Thompson
23 Apr 25    `- Re: Flibble's Law1Richard Damon
22 Apr 25 * Mr Flibble10Andy Walker
22 Apr 25 +- Re: Mr Flibble1olcott
22 Apr 25 +* Re: Mr Flibble7Andy Walker
22 Apr 25 i`* How computable functions actually work. (was Flibble)6olcott
23 Apr 25 i `* Re: How computable functions actually work. (was Flibble)5Richard Damon
23 Apr 25 i  `* Re: How computable functions actually work. (was Flibble)4olcott
23 Apr 25 i   `* Re: How computable functions actually work. (was Flibble)3Richard Damon
23 Apr 25 i    `* Re: How computable functions actually work. (was Flibble)2olcott
23 Apr 25 i     `- Re: How computable functions actually work. (was Flibble)1Richard Damon
23 Apr 25 `- Re: Mr Flibble1Julio Di Egidio
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined524olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined485Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined484olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined476Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined475olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined471Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined470olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined468Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2467olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2462Richard Damon
22 Mar 25 i i i i i+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 25olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal