| Date | Sujet | # | | Auteur |
| 18 May 24 |     Re: Every D correctly simulated by H never reaches its final state and halts | 17 | | olcott |
| 18 May 24 |   Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Richard Damon |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 15 | | Mikko |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 14 | | olcott |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 13 | | Mikko |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 12 | | olcott |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 3 | | Richard Damon |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts --- Admitted Liar | 2 | | olcott |
| 19 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts --- Olcott is an Admitted Liar | 1 | | Richard Damon |
| 20 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 8 | | Mikko |
| 20 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 7 | | olcott |
| 21 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Richard Damon |
| 21 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 5 | | Mikko |
| 21 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 2 | | immibis |
| 21 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Mikko |
| 21 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 2 | | olcott |
| 22 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Richard Damon |
| 17 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 10 | | olcott |
| 17 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 8 | | olcott |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Richard Damon |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 2 | | Mikko |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | olcott |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | joes |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 3 | | Mikko |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 2 | | olcott |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Richard Damon |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | Richard Damon |
| 18 May 24 | Re: Every D correctly simulated by H never reaches its final state and halts | 1 | | immibis |
| 11 May 24 | Termination analyzer defined | 74 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 17 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 16 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 15 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 14 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 7 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 6 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 2 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 3 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 6 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 5 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 2 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 2 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 9 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 8 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 7 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 6 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 5 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 4 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 3 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 2 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 3 | | Fred. Zwarts |
| 11 May 24 | Re: Termination analyzer defined | 2 | | olcott |
| 11 May 24 | Re: Termination analyzer defined | 1 | | Richard Damon |
| 11 May 24 | Re: Termination analyzer defined | 43 | | Mikko |
| 11 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 42 | | olcott |
| 11 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | Richard Damon |
| 12 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 40 | | Mikko |
| 12 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 39 | | olcott |
| 12 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 37 | | Mikko |
| 12 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 36 | | olcott |
| 12 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | Richard Damon |
| 13 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 34 | | Mikko |
| 13 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 20 | | olcott |
| 14 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 19 | | Mikko |
| 14 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 18 | | olcott |
| 15 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 17 | | Mikko |
| 15 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 16 | | olcott |
| 16 May 24 | Re: Termination analyzer defined ---OLCOTT IS WRONG !!! | 1 | | Richard Damon |
| 16 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 14 | | Mikko |
| 16 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 13 | | olcott |
| 17 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 9 | | Mikko |
| 17 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 8 | | olcott |
| 18 May 24 | Re: Termination analyzer defined ---OLCOTT IS WRONG !!! | 1 | | Richard Damon |
| 18 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 6 | | Mikko |
| 18 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 5 | | olcott |
| 18 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | Richard Damon |
| 19 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 3 | | Mikko |
| 19 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 2 | | olcott |
| 19 May 24 | Re: Termination analyzer defined ---OLCOTT IS A LIAR !!! | 1 | | Richard Damon |
| 18 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 3 | | immibis |
| 18 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 2 | | olcott |
| 18 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | Richard Damon |
| 13 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 13 | | Jeff Barnett |
| 14 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 12 | | Mikko |
| 14 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | olcott |
| 14 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 9 | | olcott |
| 15 May 24 | Re: Termination analyzer defined ---OLCOTT IS A LIAR !!! | 1 | | Richard Damon |
| 15 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 7 | | Mikko |
| 15 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 6 | | olcott |
| 16 May 24 | Re: Termination analyzer defined ---OLCOTT IS WRONG !!! | 1 | | Richard Damon |
| 16 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 4 | | Mikko |
| 16 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 3 | | olcott |
| 17 May 24 | Re: Termination analyzer defined ---OLCOTT IS WRONG !!! | 1 | | Richard Damon |
| 17 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | Mikko |
| 14 May 24 | Re: Termination analyzer defined ---RICHARD IS WRONG !!! | 1 | | Jeff Barnett |
| 12 May 24 | Re: Termination analyzer defined ---OLCOTT IS WRONG !!! | 1 | | Richard Damon |
| 13 May 24 | Re: Termination analyzer defined | 1 | | immibis |
| 18 May 24 | ℙ≠ℕℙ proof | 5 | | wij |
| 18 May 24 | Re: ℙ≠ℕℙ proof | 4 | | immibis |
| 18 May 24 | Re: ℙ≠ℕℙ proof | 3 | | wij |
| 19 May 24 | Re: ℙ≠ℕℙ proof | 2 | | immibis |
| 19 May 24 | Re: ℙ≠ℕℙ proof | 1 | | wij |
| 17 May 24 | How do I quote the past post of usenet? | 5 | | wij |
| 17 May 24 | Re: How do I quote the past post of usenet? | 1 | | olcott |
| 18 May 24 | Re: How do I quote the past post of usenet? | 2 | | immibis |
| 18 May 24 | Re: How do I quote the past post of usenet? | 1 | | olcott |
| 18 May 24 | Re: How do I quote the past post of usenet? | 1 | | Mikko |
| 11 May 24 | What is the complexity classification of sat(..) ? | 9 | | wij |
| 13 May 24 | Re: What is the complexity classification of sat(..) ? | 5 | | immibis |
| 13 May 24 | Re: What is the complexity classification of sat(..) ? | 4 | | wij |
| 13 May 24 | Re: What is the complexity classification of sat(..) ? | 2 | | immibis |
| 14 May 24 | Re: What is the complexity classification of sat(..) ? | 1 | | immibis |
| 17 May 24 | Re: What is the complexity classification of sat(..) ? | 1 | | wij |
| 16 May 24 | Re: What is the complexity classification of sat(..) ? | 3 | | Jeff Barnett |
| 16 May 24 | Re: What is the complexity classification of sat(..) ? | 2 | | wij |
| 16 May 24 | Re: What is the complexity classification of sat(..) ? | 1 | | Ben Bacarisse |
| 12 May 24 | A computable function that reports on the behavior of its actual self is not allowed | 41 | | olcott |
| 12 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 12 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 19 | | olcott |
| 12 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 18 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 17 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 16 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 6 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 5 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 4 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 3 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 2 | | olcott |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 9 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 5 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 4 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 3 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 2 | | olcott |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 3 | | joes |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 2 | | olcott |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 2 | | Mikko |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 18 | | Fred. Zwarts |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 17 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 9 | | Fred. Zwarts |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 8 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 6 | | Fred. Zwarts |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 5 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 4 | | Fred. Zwarts |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 3 | | olcott |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 2 | | Fred. Zwarts |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | olcott |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 13 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 6 | | immibis |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 5 | | olcott |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 3 | | immibis |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed +++ | 2 | | olcott |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self *is* allowed +++ | 1 | | Richard Damon |
| 14 May 24 | Re: A computable function that reports on the behavior of its actual self is not allowed | 1 | | Richard Damon |
| 12 May 24 | Original halting problem proof review | 2 | | joes |
| 13 May 24 | Re: Original halting problem proof review | 1 | | Mikko |
| 10 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 16 | | olcott |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 15 | | Mikko |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 14 | | olcott |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 2 | | Mike Terry |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry](apology) | 1 | | olcott |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 5 | | Richard Damon |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 4 | | olcott |
| 11 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 2 | | olcott |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 1 | | Richard Damon |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 1 | | Richard Damon |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 6 | | olcott |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 4 | | Mikko |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 3 | | olcott |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 1 | | Richard Damon |
| 13 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 1 | | Mikko |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 1 | | Richard Damon |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 2 | | olcott |
| 12 May 24 | Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry] | 1 | | Richard Damon |
| 11 May 24 | Unconventional termination analyzer D correctly reports halt status of HP input | 2 | | olcott |
| 12 May 24 | Re: Unconventional termination analyzer D correctly reports halt status of HP input | 1 | | Richard Damon |
| 11 May 24 | Unconventional termination analyzer H correctly reports halt status of HP input | 2 | | olcott |
| 12 May 24 | Re: Unconventional termination analyzer H correctly reports halt status of HP input | 1 | | Richard Damon |
| 18 Apr 24 | Undecidability based on epistemological antinomies V2 | 277 | | olcott |
| 18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 220 | | Richard Damon |
| 18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 219 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 218 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 217 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 216 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 27 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 5 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 4 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 3 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 21 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 19 | | olcott |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 16 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Richard Damon |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 11 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Ross Finlayson |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Ross Finlayson |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Ross Finlayson |
| 27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 186 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 182 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 178 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 177 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 176 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 171 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 170 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 10 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 9 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 8 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 7 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 6 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Ross Finlayson |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 159 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 139 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 138 | | Richard Damon |
| 26 Apr 24 | D simulated by H never halts no matter what H does | 137 | | olcott |
| 26 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | Richard Damon |