| Date | Sujet | # | | Auteur |
| 18 Jun 24 |    Re: Simulating termination analyzers for dummies | 60 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 59 | | olcott |
| 18 Jun 24 |  Re: Simulating termination analyzers for dummies | 57 | | Richard Damon |
| 18 Jun 24 |  Re: Simulating termination analyzers for dummies | 56 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies | 54 | | joes |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 53 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 15 | | joes |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 5 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | joes |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | joes |
| 19 Jun 24 |  Re: Simulating termination analyzers by dummies --- test of dishonesty | 1 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 9 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 8 | | Alan Mackenzie |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 7 | | olcott |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 6 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 5 | | olcott |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 3 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 2 | | olcott |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 23 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 22 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 17 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 16 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 5 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- the only reply until addressed | 2 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- the only reply until addressed | 1 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 10 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 9 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 7 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | joes |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 14 | | Fred. Zwarts |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 13 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 12 | | Fred. Zwarts |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 11 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 9 | | Fred. Zwarts |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 8 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 7 | | Fred. Zwarts |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 6 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | joes |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | Fred. Zwarts |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Python |
| 8 Jun 24 | Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 61 | | olcott |
| 8 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | olcott |
| 8 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 8 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 57 | | Fred. Zwarts |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | olcott |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | olcott |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 52 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 48 | | Fred. Zwarts |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 3 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Fred. Zwarts |
| 12 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 44 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 42 | | Fred. Zwarts |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 41 | | olcott |
| 11 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 40 | | Fred. Zwarts |
| 11 Jun 24 | D correctly simulated by H proved for THREE YEARS --- rewritten | 39 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 38 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 37 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 36 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 35 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 34 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 33 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 32 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 31 | | olcott |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 30 | | Fred. Zwarts |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 29 | | olcott |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 28 | | Fred. Zwarts |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 27 | | olcott |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 26 | | Fred. Zwarts |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 25 | | olcott |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 24 | | Fred. Zwarts |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 23 | | olcott |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 22 | | Fred. Zwarts |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 21 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 20 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 19 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 17 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 16 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 14 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 13 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 11 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 10 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 8 | | Fred. Zwarts |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 7 | | olcott |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 5 | | Fred. Zwarts |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 4 | | olcott |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 3 | | Fred. Zwarts |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 2 | | olcott |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Fred. Zwarts |
| 12 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 3 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | olcott |
| 11 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 15 Jun 24 | H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 12 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 11 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 10 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 9 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 8 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 7 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 6 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 5 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 4 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 3 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 2 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Richard Damon |
| 15 Jun 24 | H(D,D) cannot even be asked about the behavior of D(D) V2 | 20 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 11 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 10 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 6 | | joes |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 5 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Python |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 6 | | Fred. Zwarts |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 5 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Fred. Zwarts |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 9 Jun 24 | Truthmaker Maximalism and undecidable decision problems | 63 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 55 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 54 | | Richard Damon |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 53 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 52 | | Richard Damon |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 51 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 40 | | Richard Damon |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 39 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 37 | | Richard Damon |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 36 | | olcott |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 34 | | Richard Damon |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 33 | | olcott |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 32 | | Richard Damon |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 31 | | olcott |
| 11 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 30 | | Richard Damon |
| 11 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 29 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 28 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 27 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 26 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 25 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 24 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 23 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 22 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 21 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 20 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 19 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 18 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 17 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 16 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 15 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 14 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 13 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 12 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 11 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 10 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 9 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 8 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 7 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 6 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 5 | | olcott |
| 14 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 4 | | Richard Damon |
| 14 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 3 | | olcott |
| 14 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 2 | | Richard Damon |
| 14 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 1 | | olcott |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 1 | | olcott |
| 10 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 1 | | Richard Damon |
| 11 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 10 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 9 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 8 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 7 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 6 | | olcott |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 5 | | Richard Damon |
| 12 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 4 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 3 | | Richard Damon |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 2 | | olcott |
| 13 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works | 1 | | Richard Damon |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 2 | | joes |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 1 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 5 | | Richard Damon |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 4 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 3 | | Richard Damon |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 2 | | olcott |
| 9 Jun 24 | Re: Truthmaker Maximalism and undecidable decision problems | 1 | | Richard Damon |
| 12 Jun 24 | Some Error in Dag Prawitz 1970 Paper | 4 | | Mild Shock |
| 12 Jun 24 | Re: Some Error in Dag Prawitz 1970 Paper | 3 | | Mild Shock |
| 12 Jun 24 | Drinker Paradox again (Re: Some Error in Dag Prawitz 1970 Paper) | 2 | | Mild Shock |
| 12 Jun 24 | Re: Drinker Paradox again (Re: Some Error in Dag Prawitz 1970 Paper) | 1 | | Mild Shock |
| 9 Jun 24 | Simplified proof that DDD correctly simulated by HHH does not halt | 11 | | olcott |
| 9 Jun 24 | Re: Simplified proof that DDD correctly simulated by HHH does not halt | 10 | | olcott |
| 10 Jun 24 | D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 9 | | olcott |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 7 | | Richard Damon |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 6 | | olcott |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 5 | | Richard Damon |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 4 | | olcott |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 3 | | Richard Damon |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 2 | | olcott |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 1 | | Richard Damon |
| 10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case | 1 | | Alan Mackenzie |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 85 | | Fred. Zwarts |
| 3 Jun 24 | Mike Terry Reply to Fred Zwarts | 84 | | olcott |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 82 | | Fred. Zwarts |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 81 | | Fred. Zwarts |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 80 | | Mike Terry |
| 4 Jun 24 | How Partial Simulations correctly determine non-halting ---Mike Terry Error | 79 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 28 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 27 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 26 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 25 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 24 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 5 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 4 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 3 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | joes |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 18 | | Ben Bacarisse |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception | 2 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception | 1 | | olcon'tt |