comp.theory

Liste des Groupes Pages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
25 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 rules3joes
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i   i`* Re: Computable Functions --- finite string transformation rules2olcott
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i   i `- Re: Computable Functions --- finite string transformation rules1Richard Damon
26 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 rules1Richard Damon
26 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 rules17Fred. Zwarts
26 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 rules16olcott
26 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 rules14Fred. Zwarts
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     i+* Re: Computable Functions --- finite string transformation rules11olcott
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     ii+* Re: Computable Functions --- finite string transformation rules9joes
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii`* Re: Computable Functions --- finite string transformation rules8olcott
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii +* Re: Computable Functions --- finite string transformation rules6dbush
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii i`* Re: Computable Functions --- finite string transformation rules5olcott
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii i +* Re: Computable Functions --- finite string transformation rules3dbush
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii i i`* Re: Computable Functions --- finite string transformation rules2olcott
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii i i `- Re: Computable Functions --- finite string transformation rules1dbush
27 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii i `- Re: Computable Functions --- finite string transformation rules1Richard Damon
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     iii `- Re: Computable Functions --- finite string transformation rules1Richard Damon
27 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     ii`- Re: Computable Functions --- finite string transformation rules1Fred. Zwarts
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     i+- Re: Computable Functions --- finite string transformation rules1Richard Damon
27 Apr 25 i      i i i i iii  i i   i i i i i         i i i i i     i`- Re: Computable Functions --- finite string transformation rules1Fred. Zwarts
26 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 rules1Richard Damon
25 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 rules1Fred. Zwarts
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i `* Re: Computable Functions --- finite string transformation rules15Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i  `* Re: Computable Functions --- finite string transformation rules14olcott
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i   +* Re: Computable Functions --- finite string transformation rules12dbush
25 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 rules11olcott
25 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 rules9dbush
25 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 rules8olcott
25 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 rules6dbush
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i   i i i`* Re: Computable Functions --- finite string transformation rules5olcott
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i   i i i +- Re: Computable Functions --- finite string transformation rules1dbush
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i   i i i `* Re: Computable Functions --- finite string transformation rules3Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i   i i i  `* Re: Computable Functions --- finite string transformation rules2olcott
26 Apr 25 i      i i i i iii  i i   i i i i i         i i i   i i i   `- Re: Computable Functions --- finite string transformation rules1Richard Damon
25 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 rules1Richard Damon
25 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 rules1Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i         i i i   `- Re: Computable Functions --- finite string transformation rules1Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i         i i `- Re: Computable Functions --- finite string transformation rules1Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i         i `- Re: Computable Functions --- finite string transformation rules1Richard Damon
24 Apr 25 i      i i i i iii  i i   i i i i i         `* Re: Computable Functions --- finite string transformation rules48Richard Damon
24 Apr 25 i      i i i i iii  i i   i i i i i          `* Re: Computable Functions --- finite string transformation rules47olcott
25 Apr 25 i      i i i i iii  i i   i i i i i           `* Re: Computable Functions --- finite string transformation rules46Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i            `* Re: Computable Functions --- finite string transformation rules --- 0 ≠145olcott
25 Apr 25 i      i i i i iii  i i   i i i i i             +* Re: Computable Functions --- finite string transformation rules --- 0 ≠143Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i             i`* Re: Computable Functions --- finite string transformation rules --- 0 ≠142olcott
25 Apr 25 i      i i i i iii  i i   i i i i i             i +* Re: Computable Functions --- finite string transformation rules --- 0 ≠13Fred. Zwarts
25 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 ≠12olcott
26 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
25 Apr 25 i      i i i i iii  i i   i i i i i             i `* Re: Computable Functions --- finite string transformation rules --- 0 ≠138Richard Damon
25 Apr 25 i      i i i i iii  i i   i i i i i             i  `* Re: Computable Functions --- finite string transformation rules --- 0 ≠137olcott
25 Apr 25 i      i i i i iii  i i   i i i i i             i   +* Re: Computable Functions --- finite string transformation rules --- 0 ≠13Richard Damon
25 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 ≠12olcott
26 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
25 Apr 25 i      i i i i iii  i i   i i i i i             i   +* Re: Computable Functions --- finite string transformation rules --- 0 ≠12joes
25 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 ≠11olcott
26 Apr 25 i      i i i i iii  i i   i i i i i             i   `* Re: Computable Functions --- finite string transformation rules --- 0 ≠131Fred. Zwarts
26 Apr 25 i      i i i i iii  i i   i i i i i             i    `* Re: Computable Functions --- finite string transformation rules --- 0 ≠130olcott
26 Apr 25 i      i i i i iii  i i   i i i i i             i     +* Re: Computable Functions --- finite string transformation rules --- 0 ≠13Fred. Zwarts
26 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 ≠12olcott
27 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 ≠11Fred. Zwarts
27 Apr 25 i      i i i i iii  i i   i i i i i             i     `* Re: Computable Functions --- finite string transformation rules --- 0 ≠126Mikko
27 Apr 25 i      i i i i iii  i i   i i i i i             i      `* Re: Computable Functions --- finite string transformation rules --- 0 ≠125olcott
28 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
28 Apr 25 i      i i i i iii  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       `* Re: Computable Functions --- finite string transformation rules --- 0 ≠122Mikko
28 Apr 25 i      i i i i iii  i i   i i i i i             i        `* Re: Computable Functions --- finite string transformation rules --- 0 ≠121olcott
28 Apr 25 i      i i i i iii  i i   i i i i i             i         +* Re: Computable Functions --- finite string transformation rules --- 0 ≠118dbush
28 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 ≠117olcott
28 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 ≠115dbush
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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal