| Date | Sujet | # | | Auteur |
| 22 Mar12:10 |  Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 6 | | Alan Mackenzie |
| 22 Mar16:50 |  Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 5 | | dart200 |
| 23 Mar00:31 |  Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 4 | | Alan Mackenzie |
| 23 Mar02:32 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 3 | | dart200 |
| 23 Mar17:43 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 2 | | Alan Mackenzie |
| 24 Mar00:32 |  Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 1 | | dart200 |
| 21 Mar10:30 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 36 | | Mikko |
| 21 Mar18:09 |  Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 1 | | Dude |
| 21 Mar19:40 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 33 | | dart200 |
| 21 Mar20:02 |  Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 24 | | olcott |
| 21 Mar20:50 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 23 | | dart200 |
| 21 Mar21:14 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 22 | | olcott |
| 21 Mar23:32 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 21 | | dart200 |
| 21 Mar23:59 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 3 | | olcott |
| 22 Mar00:05 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 2 | | dart200 |
| 22 Mar00:12 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 1 | | olcott |
| 22 Mar19:17 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 8 | | olcott |
| 22 Mar21:05 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 7 | | dart200 |
| 22 Mar23:35 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 4 | | Tristan Wibberley |
| 22 Mar23:51 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 3 | | olcott |
| 22 Mar23:58 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 2 | | Tristan Wibberley |
| 23 Mar00:17 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 1 | | olcott |
| 23 Mar02:22 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 2 | | dart200 |
| 23 Mar17:23 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 1 | | dart200 |
| 22 Mar19:54 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 9 | | olcott |
| 22 Mar21:15 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 8 | | dart200 |
| 22 Mar23:23 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 7 | | olcott |
| 23 Mar02:35 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 6 | | dart200 |
| 23 Mar02:41 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 5 | | olcott |
| 23 Mar04:44 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 4 | | dart200 |
| 23 Mar13:32 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 3 | | olcott |
| 23 Mar23:03 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 2 | | dart200 |
| 23 Mar23:51 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis --- PLO | 1 | | olcott |
| 22 Mar05:15 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 5 | | dart200 |
| 22 Mar16:47 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 4 | | dart200 |
| 23 Mar02:27 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 3 | | dart200 |
| 23 Mar02:36 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 2 | | dart200 |
| 23 Mar23:02 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 1 | | dart200 |
| 22 Mar10:05 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 3 | | Mikko |
| 22 Mar17:04 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 2 | | dart200 |
| 23 Mar10:16 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 1 | | Mikko |
| 22 Mar23:21 | Re: on fixing turing's diagonal: a refutation of the church-turing thesis | 1 | | Tristan Wibberley |
| 6 Mar 26 | Replacing the foundations of math, logic, computation and linguistics | 73 | | olcott |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | Tristan Wibberley |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Ross Finlayson |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 11 | | Lawrence D’Oliveiro |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 9 | | olcott |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 8 | | Ross Finlayson |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 7 | | olcott |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Tristan Wibberley |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Ross Finlayson |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Tristan Wibberley |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 57 | | Mikko |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 56 | | olcott |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 55 | | Mikko |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 54 | | olcott |
| 9 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 53 | | Mikko |
| 9 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 52 | | olcott |
| 10 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 51 | | Mikko |
| 10 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 46 | | olcott |
| 11 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 34 | | Mikko |
| 12 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 33 | | olcott |
| 14 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 32 | | Mikko |
| 14 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 31 | | olcott |
| 15 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 30 | | Mikko |
| 15 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 29 | | olcott |
| 16 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 28 | | Mikko |
| 16 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | olcott |
| 17 Mar09:38 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Mikko |
| 16 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 25 | | olcott |
| 17 Mar09:35 | Re: Replacing the foundations of math, logic, computation and linguistics | 24 | | Mikko |
| 17 Mar15:51 | Re: Replacing the foundations of math, logic, computation and linguistics | 21 | | olcott |
| 18 Mar09:08 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Mikko |
| 18 Mar14:29 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 19 Mar15:14 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 20 Mar10:39 | Re: Replacing the foundations of math, logic, computation and linguistics | 17 | | Fred. Zwarts |
| 20 Mar15:52 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 20 Mar16:21 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | olcott |
| 20 Mar17:19 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 21 Mar10:34 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Fred. Zwarts |
| 21 Mar13:32 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 20 Mar21:35 | Re: Replacing the foundations of math, logic, computation and linguistics | 11 | | olcott |
| 21 Mar03:06 | Re: Replacing the foundations of math, logic, computation and linguistics | 10 | | Ross Finlayson |
| 21 Mar03:55 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 21 Mar04:35 | Re: Replacing the foundations of math, logic, computation and linguistics | 8 | | olcott |
| 21 Mar13:30 | Re: Replacing the foundations of math, logic, computation and linguistics | 7 | | olcott |
| 21 Mar16:17 | Re: Replacing the foundations of math, logic, computation and linguistics | 6 | | Ross Finlayson |
| 21 Mar16:50 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | Ross Finlayson |
| 21 Mar17:22 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | Ross Finlayson |
| 21 Mar17:32 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Ross Finlayson |
| 21 Mar18:54 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 21 Mar17:02 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 18 Mar14:49 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | olcott |
| 19 Mar09:39 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Mikko |
| 11 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 11 | | olcott |
| 11 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 5 | | Tristan Wibberley |
| 11 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | olcott |
| 12 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | Tristan Wibberley |
| 12 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | olcott |
| 12 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 12 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 5 | | Mikko |
| 12 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | olcott |
| 14 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | Mikko |
| 14 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | olcott |
| 15 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Mikko |
| 10 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | Ross Finlayson |
| 10 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 11 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Tristan Wibberley |
| 11 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 5 Mar 26 | The proper way to use LLMs to aid primary research into foundations | 51 | | olcott |
| 5 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 6 | | Ross Finlayson |
| 5 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 5 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 4 | | Tristan Wibberley |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 3 | | Ross Finlayson |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Tristan Wibberley |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 35 | | Mikko |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 31 | | olcott |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 3 | | olcott |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Ross Finlayson |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | olcott |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 4 | | Tristan Wibberley |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | olcott |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 23 | | Mikko |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 14 | | olcott |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Tristan Wibberley |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | olcott |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 11 | | Mikko |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 10 | | olcott |
| 9 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 9 | | Mikko |
| 9 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | olcott |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Mikko |
| 9 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 6 | | olcott |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 5 | | Tristan Wibberley |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 4 | | olcott |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Ross Finlayson |
| 20 Mar18:16 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | olcott |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 8 | | Tristan Wibberley |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 7 | | olcott |
| 9 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 6 | | Tristan Wibberley |
| 9 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | olcott |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Tristan Wibberley |
| 9 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Ross Finlayson |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 10 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Tristan Wibberley |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 3 | | olcott |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Ross Finlayson |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | olcott |
| 7 Mar 26 | Don Knuth on the superb capability of Claude Opus 4.6 | 9 | | olcott |
| 7 Mar 26 | Re: Don Knuth on the superb capability of Claude Opus 4.6 | 8 | | Ross Finlayson |
| 7 Mar 26 | Re: Don Knuth on the superb capability of Claude Opus 4.6 | 7 | | Ross Finlayson |
| 7 Mar 26 | Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728 (Was: Don Knuth on the superb capability of Claude Opus 4.6) | 6 | | Mild Shock |
| 7 Mar 26 | Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728 (Was: Don Knuth on the superb capability of Claude Opus 4.6) | 4 | | olcott |
| 8 Mar 26 | Only, three decades in software engineering? (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) | 3 | | Mild Shock |
| 8 Mar 26 | Re: Only, three decades in software engineering? (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) | 2 | | Mild Shock |
| 8 Mar 26 | Visual Perception helps reading Matrices, Fractions, etc.. (Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3]) | 1 | | Mild Shock |
| 9 Mar 26 | Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era of Vibe Proving is Here ) | 1 | | Mild Shock |
| 10 Mar 26 | on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 49 | | dart200 |
| 10 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | Tristan Wibberley |
| 10 Mar 26 | Re: on enumerating circle-free . . . | 1 | | Stefan Ram |
| 11 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Aidan Kehoe |
| 10 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 14 | | Alan Mackenzie |
| 11 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 11 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Tristan Wibberley |
| 11 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Tristan Wibberley |
| 11 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Tristan Wibberley |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 9 | | Ben Bacarisse |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 7 | | Mike Terry |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | dart200 |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 2 | | Mike Terry |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | Tristan Wibberley |
| 15 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 15 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Mike Terry |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 12 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 8 | | dart200 |
| 12 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 6 | | dart200 |
| 12 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Ross Finlayson |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 15 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Ross Finlayson |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Chris M. Thomasson |
| 12 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 21 | | Lawrence D’Oliveiro |
| 12 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 20 | | dart200 |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 19 | | Lawrence D’Oliveiro |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 18 | | dart200 |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 12 | | dart200 |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 11 | | Richard Damon |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 10 | | dart200 |
| 13 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 9 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 8 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 7 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 6 | | dart200 |
| 16 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | Tristan Wibberley |
| 16 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 2 | | dart200 |
| 17 Mar06:04 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 18 Mar17:51 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 2 | | Tristan Wibberley |
| 18 Mar18:35 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Ross Finlayson |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 5 | | Lawrence D’Oliveiro |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 4 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | Tristan Wibberley |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 2 | | dart200 |
| 14 Mar 26 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Tristan Wibberley |
| 14 Mar 26 | Vanilla Prolog: semi-decidable =\= decidable (Was: on enumerating circle-free sequences) | 2 | | Mild Shock |
| 16 Mar 26 | Its on the Internet, so it must be true? (Re: Vanilla Prolog: semi-decidable =\= decidable) | 1 | | Mild Shock |
| 27 Feb 26 | LRM moving from FOM to TCS [Lean Prover] (Was: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))) | 4 | | Mild Shock |
| 3 Mar 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Was: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))) | 1 | | wij |
| 6 Mar 26 | Odysseus PTSD: Does Function need Consistency? (Was: LRM moving from FOM to TCS [Lean Prover]) | 2 | | Mild Shock |
| 6 Mar 26 | DeepSeekMath: From psychophysischer Parallelismus to GPRO (Re: Odysseus PTSD: Does Function need Consistency?) | 1 | | Mild Shock |
| 4 Mar 26 | AI solves probl;em Knuth was/is working on!! | 5 | | Jeff Barnett |
| 4 Mar 26 | Re: AI solves probl;em Knuth was/is working on!! | 1 | | Mild Shock |
| 5 Mar 26 | Re: AI solves probl;em Knuth was/is working on!! --- PLO | 3 | | olcott |
| 5 Mar 26 | Re: AI solves probl;em Knuth was/is working on!! --- PLO | 2 | | Mild Shock |
| 5 Mar 26 | Re: AI solves probl;em Knuth was/is working on!! --- PLO | 1 | | Tristan Wibberley |
| 24 Feb 26 | Re: on ignoring the undecidable | 19 | | Tristan Wibberley |
| 24 Feb 26 | Re: on ignoring the undecidable | 18 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 6 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 5 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 4 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 3 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 2 | | dart200 |
| 5 Mar 26 | Re: on ignoring the undecidable | 1 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 4 | | Ben Bacarisse |
| 25 Feb 26 | Re: on ignoring the undecidable | 3 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 2 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 1 | | dart200 |
| 27 Feb 26 | Re: on ignoring the undecidable | 7 | | Tristan Wibberley |
| 27 Feb 26 | Re: on ignoring the undecidable | 6 | | dart200 |
| 28 Feb 26 | Re: on ignoring the undecidable | 5 | | dart200 |
| 1 Mar 26 | Re: on ignoring the undecidable | 4 | | dart200 |
| 3 Mar 26 | Re: on ignoring the undecidable | 3 | | dart200 |
| 3 Mar 26 | Re: on ignoring the undecidable | 1 | | dart200 |
| 4 Mar 26 | Re: on ignoring the undecidable | 1 | | dart200 |
| 24 Feb 26 | Re: on ignoring the undecidable | 4 | | Tristan Wibberley |
| 25 Feb 26 | Re: on ignoring the undecidable | 2 | | dart200 |
| 25 Feb 26 | Re: on ignoring the undecidable | 1 | | dart200 |
| 2 Mar 26 | Re: on ignoring the undecidable | 1 | | Tristan Wibberley |
| 2 Mar 26 |  Re: Relearning the Calculus | 1 | | Lawrence D’Oliveiro |
| 26 Feb 26 | From specifications to code we go code generation... | 1 | | Julio Di Egidio |
| 24 Feb 26 | Re: The Church-Turing thesis | 8 | | Tristan Wibberley |