| Date | Sujet | # | | Auteur |
| 15 Mar22:14 |  The paradox of the Binary Tree | 5 | | wm |
| 16 Mar01:27 |   Re: The paradox of the Binary Tree | 1 | | Ross Finlayson |
| 16 Mar02:02 |  Re: The paradox of the Binary Tree | 3 | | Chris M. Thomasson |
| 16 Mar02:10 |  Re: The paradox of the Binary Tree | 1 | | Chris M. Thomasson |
| 16 Mar04:04 | Re: The paradox of the Binary Tree | 1 | | Thomas 'PointedEars' Lahn |
| 14 Mar06:59 | visualizing complex roots of polynomials | 5 | | sobriquet |
| 14 Mar20:09 | Re: visualizing complex roots of polynomials | 3 | | Chris M. Thomasson |
| 15 Mar17:34 |  Re: visualizing complex roots of polynomials | 2 | | sobriquet |
| 16 Mar02:16 | Re: visualizing complex roots of polynomials | 1 | | Chris M. Thomasson |
| 15 Mar03:37 | Re: visualizing complex roots of polynomials | 1 | | sobriquet |
| 12 Mar18:38 | Re: energy and mass | 22 | | Ronnie Pantelakos |
| 12 Mar22:12 | Re: energy and mass | 21 | | Thomas 'PointedEars' Lahn |
| 12 Mar23:11 | Re: energy and mass | 20 | | Tathan Nagahama |
| 13 Mar01:47 | Re: energy and mass | 19 | | Thomas 'PointedEars' Lahn |
| 14 Mar14:21 | Re: energy and mass | 18 | | Jairo Pantelakos |
| 14 Mar16:23 | GPS (was: energy and mass) | 17 | | Thomas 'PointedEars' Lahn |
| 14 Mar16:39 | Re: GPS (was: energy and mass) | 3 | | Brock Nakamura |
| 14 Mar18:31 | Re: GPS | 2 | | Thomas 'PointedEars' Lahn |
| 14 Mar18:43 | Re: energy and mass | 1 | | Virgil Dömötör |
| 14 Mar16:52 | Re: GPS (was: energy and mass) | 8 | | Kyndal Zsoldos |
| 14 Mar18:37 | Re: GPS | 7 | | Thomas 'PointedEars' Lahn |
| 14 Mar20:49 | Re: GPS | 6 | | Mikey Santiago |
| 15 Mar15:29 | Re: GPS | 5 | | Thomas 'PointedEars' Lahn |
| 15 Mar15:37 | Re: GPS | 4 | | Frauly Christakos |
| 15 Mar19:22 | Re: GPS | 3 | | Thomas 'PointedEars' Lahn |
| 15 Mar21:00 | Re: energy and mass | 2 | | Enmanuel Jacques |
| 15 Mar22:40 | GPS (was: energy and mass) | 1 | | Thomas 'PointedEars' Lahn |
| 14 Mar18:16 | Re: GPS | 5 | | Thomas 'PointedEars' Lahn |
| 14 Mar18:49 | Re: GPS | 4 | | Lowen Missiakos |
| 14 Mar19:44 | Re: GPS | 3 | | Thomas 'PointedEars' Lahn |
| 14 Mar20:39 | Re: GPS | 1 | | Ridge Górski |
| 15 Mar15:44 | Re: GPS | 1 | | Krinden Hoffmann |
| 15 Mar16:17 |  Re: energy and mass | 1 | | Donel Profeta |
| 10 Mar17:51 | on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 27 | | dart200 |
| 10 Mar19:24 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Alan Mackenzie |
| 12 Mar05:15 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 8 | | dart200 |
| 12 Mar19:00 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 6 | | dart200 |
| 12 Mar20:51 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Ross Finlayson |
| 13 Mar05:44 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 13 Mar18:25 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | dart200 |
| 14 Mar21:45 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 15 Mar15:02 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Ross Finlayson |
| 14 Mar21:43 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Chris M. Thomasson |
| 12 Mar08:17 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 16 | | Lawrence D’Oliveiro |
| 12 Mar08:41 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 15 | | dart200 |
| 13 Mar06:53 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 14 | | Lawrence D’Oliveiro |
| 13 Mar08:30 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 13 | | dart200 |
| 13 Mar17:41 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 7 | | dart200 |
| 13 Mar18:11 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 6 | | Richard Damon |
| 13 Mar18:33 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 5 | | dart200 |
| 13 Mar23:12 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 4 | | dart200 |
| 14 Mar05:43 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | dart200 |
| 14 Mar18:29 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 2 | | dart200 |
| 14 Mar20:56 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | dart200 |
| 14 Mar02:24 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 5 | | Lawrence D’Oliveiro |
| 14 Mar05:25 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 4 | | dart200 |
| 14 Mar10:05 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 3 | | Tristan Wibberley |
| 14 Mar18:02 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 2 | | dart200 |
| 14 Mar23:53 | Re: on enumerating circle-free sequences: a fallacy in turing's paper on computable numbers | 1 | | Tristan Wibberley |
| 14 Mar20:35 | Vanilla Prolog: semi-decidable =\= decidable (Was: on enumerating circle-free sequences) | 1 | | Mild Shock |
| 6 Mar 26 | Replacing the foundations of math, logic, computation and linguistics | 50 | | 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 | 34 | | Mikko |
| 7 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 33 | | olcott |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 32 | | Mikko |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 26 | | olcott |
| 9 Mar08:35 | Re: Replacing the foundations of math, logic, computation and linguistics | 25 | | Mikko |
| 9 Mar13:27 | Re: Replacing the foundations of math, logic, computation and linguistics | 24 | | olcott |
| 10 Mar09:28 | Re: Replacing the foundations of math, logic, computation and linguistics | 23 | | Mikko |
| 10 Mar14:47 | Re: Replacing the foundations of math, logic, computation and linguistics | 18 | | olcott |
| 11 Mar09:37 | Re: Replacing the foundations of math, logic, computation and linguistics | 6 | | Mikko |
| 12 Mar14:31 | Re: Replacing the foundations of math, logic, computation and linguistics | 5 | | olcott |
| 14 Mar10:02 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | Mikko |
| 14 Mar15:09 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | olcott |
| 15 Mar11:27 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Mikko |
| 15 Mar14:22 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 11 Mar17:44 | Re: Replacing the foundations of math, logic, computation and linguistics | 11 | | olcott |
| 11 Mar18:30 | Re: Replacing the foundations of math, logic, computation and linguistics | 5 | | Tristan Wibberley |
| 11 Mar20:06 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | olcott |
| 12 Mar00:49 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | Tristan Wibberley |
| 12 Mar01:30 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | olcott |
| 12 Mar14:35 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | olcott |
| 12 Mar10:08 | Re: Replacing the foundations of math, logic, computation and linguistics | 5 | | Mikko |
| 12 Mar14:18 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | olcott |
| 14 Mar10:06 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | Mikko |
| 14 Mar15:12 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | olcott |
| 15 Mar11:28 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Mikko |
| 10 Mar16:20 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | Ross Finlayson |
| 10 Mar16:32 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 11 Mar17:49 | Re: Replacing the foundations of math, logic, computation and linguistics | 2 | | Tristan Wibberley |
| 11 Mar22:31 | Re: Replacing the foundations of math, logic, computation and linguistics | 1 | | Ross Finlayson |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 5 | | Ross Finlayson |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 4 | | Tristan Wibberley |
| 8 Mar 26 | Re: Replacing the foundations of math, logic, computation and linguistics | 3 | | Ross Finlayson |
| 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 | | Ross Finlayson |
| 14 Mar22:31 | Re: energy and mass | 1 | | Adiel Ungaretti |
| 12 Mar17:37 | Re: energy and mass | 1 | | Isais Kitamura |
| 12 Mar13:36 | Re: energy and mass | 1 | | Larry Gulyás |
| 3 Mar 26 | Re: Black hole | 7 | | Micheal Babadjanov |
| 8 Mar 26 | Re: Black hole | 6 | | Tristan Wibberley |
| 8 Mar 26 | Re: Black hole | 1 | | Chris M. Thomasson |
| 9 Mar 26 | Re: Black hole | 4 | | Thomas 'PointedEars' Lahn |
| 11 Mar12:38 | Re: Black hole | 3 | | Benton Mersinias |
| 11 Mar21:12 | Re: Black hole | 2 | | Thomas 'PointedEars' Lahn |
| 11 Mar23:05 | Re: Black hole | 1 | | Thimber Tsukamoto |
| 11 Mar11:04 | Re: "seems" like a minute | 1 | | Palmer Kefalas |
| 5 Mar 26 | The proper way to use LLMs to aid primary research into foundations | 59 | | olcott |
| 5 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Mild Shock |
| 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 | 38 | | Mikko |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 30 | | 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 | 22 | | Mikko |
| 7 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 13 | | 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 | 10 | | Mikko |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 9 | | olcott |
| 9 Mar08:46 | Re: The proper way to use LLMs to aid primary research into foundations | 8 | | Mikko |
| 9 Mar13:34 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | olcott |
| 10 Mar09:33 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Mikko |
| 9 Mar13:42 | Re: The proper way to use LLMs to aid primary research into foundations | 5 | | olcott |
| 10 Mar13:03 | Re: The proper way to use LLMs to aid primary research into foundations | 4 | | Tristan Wibberley |
| 10 Mar14:45 | Re: The proper way to use LLMs to aid primary research into foundations | 3 | | olcott |
| 10 Mar17:43 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 10 Mar18:41 | 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 Mar10:43 | Re: The proper way to use LLMs to aid primary research into foundations | 6 | | Tristan Wibberley |
| 9 Mar13:48 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | olcott |
| 10 Mar14:07 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Tristan Wibberley |
| 9 Mar20:34 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Ross Finlayson |
| 10 Mar06:15 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 10 Mar12:57 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Tristan Wibberley |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 7 | | Ross Finlayson |
| 6 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 6 | | Ross Finlayson |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 2 | | Tristan Wibberley |
| 8 Mar 26 | Re: The proper way to use LLMs to aid primary research into foundations | 1 | | Ross Finlayson |
| 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 | 13 | | olcott |
| 7 Mar 26 | Re: Don Knuth on the superb capability of Claude Opus 4.6 | 12 | | Ross Finlayson |
| 7 Mar 26 | Re: Don Knuth on the superb capability of Claude Opus 4.6 | 11 | | Ross Finlayson |
| 7 Mar 26 | Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728 (Re: Don Knuth on the superb capability of Claude Opus 4.6) | 10 | | Mild Shock |
| 7 Mar 26 | Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) | 9 | | Mild Shock |
| 8 Mar 26 | Only, three decades in software engineering? (Re: Aristotle: The Era of Vibe Proving is Here) | 6 | | Mild Shock |
| 8 Mar 26 | Re: Only, three decades in software engineering? (Re: Aristotle: The Era of Vibe Proving is Here) | 5 | | Mild Shock |
| 8 Mar 26 | Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Re: Only, three decades in software engineering?) | 4 | | Mild Shock |
| 8 Mar 26 | Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Re: Only, three decades in software engineering?) | 3 | | Tristan Wibberley |
| 8 Mar 26 | Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Re: Only, three decades in software engineering?) | 2 | | Ross Finlayson |
| 8 Mar 26 | Visual Perception helps reading Matrices, Fractions, etc.. (Was: Amazing Visual Perception, even for ASCII Input) | 1 | | Mild Shock |
| 9 Mar11:24 | Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era of Vibe Proving is Here) | 2 | | Mild Shock |
| 10 Mar13:09 | Re: Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era of Vibe Proving is Here) | 1 | | Tristan Wibberley |
| 7 Mar 26 | Re: What time is it? | 2 | | Maciej Woźniak |
| 7 Mar 26 | Re: What time is it? | 1 | | Maciej Woźniak |
| 7 Mar 26 | Re: What time is it? | 1 | | Maciej Woźniak |
| 7 Mar 26 | Re: What time is it? | 1 | | Maciej Woźniak |
| 6 Mar 26 | Re: Geo-Strategy #101: Printing Bitcoin (Re: Will Jesus Christ return before 2027?) | 4 | | Emmet Badaev |
| 6 Mar 26 | Re: Geo-Strategy #101: Printing Bitcoin (Re: Will Jesus Christ return before 2027?) | 3 | | Ross Finlayson |
| 6 Mar 26 | Re: Geo-Strategy #101: Printing Bitcoin (Re: Will Jesus Christ return before 2027?) | 2 | | Lucilo Nakamura |
| 6 Mar 26 | Re: Geo-Strategy #101: Printing Bitcoin (Re: Will Jesus Christ return before 2027?) | 1 | | Ross Finlayson |
| 6 Mar 26 | Re: What time is it? | 1 | | Boris Bazanov |
| 6 Mar 26 | Re: What time is it? | 1 | | Jerbel Winogrodzki |
| 27 Feb 26 | LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 11 | | Mild Shock |
| 27 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 8 | | Ross Finlayson |
| 27 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 6 | | Beauford Barzetti |
| 27 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 5 | | Ross Finlayson |
| 27 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 4 | | Marcello Fernández |
| 28 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 3 | | Ross Finlayson |
| 28 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 2 | | Levy Stamatas |
| 28 Feb 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 1 | | Ross Finlayson |
| 5 Mar 26 | Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) | 1 | | Ross Finlayson |
| 28 Feb 26 | Original Subject established by Chinese Scientists [Extenics] (Was: LRM moving from FOM to TCS [Lean Prover]) | 1 | | Mild Shock |
| 6 Mar 26 | Odysseus PTSD: Does Function need Consistency? (Re: LRM moving from FOM to TCS [Lean Prover]) | 1 | | Mild Shock |
| 5 Mar 26 | Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-standard) | 1 | | Ross Finlayson |
| 3 Mar 26 | Re: Black hole | 12 | | Vittorio Dubanowski |
| 3 Mar 26 | Re: Black hole | 7 | | Richard Hachel |
| 4 Mar 26 | Re: Black hole | 6 | | Python |
| 4 Mar 26 | Re: Black hole | 4 | | Maciej Woźniak |
| 4 Mar 26 | Re: Black hole | 3 | | Python |
| 4 Mar 26 | Re: Black hole | 1 | | Ross Finlayson |
| 4 Mar 26 | Re: Black hole | 1 | | Python |
| 4 Mar 26 | Re: Black hole | 1 | | Wenceslao Vassilikos |
| 4 Mar 26 | Re: Black hole | 4 | | Thomas 'PointedEars' Lahn |
| 4 Mar 26 | Re: Black hole | 1 | | Troy Vassilopulos |
| 4 Mar 26 | Re: Black hole | 2 | | Wilson Tatenaka |
| 5 Mar 26 | Re: Black hole | 1 | | Ross Finlayson |
| 23 Feb 26 | Re: Cardinalities of sets | 17 | | WM |
| 23 Feb 26 | Re: Cardinalities of sets | 16 | | Thomas 'PointedEars' Lahn |
| 24 Feb 26 | Re: Cardinalities of sets | 15 | | wm |
| 25 Feb 26 | Re: Cardinalities of sets | 14 | | Thomas 'PointedEars' Lahn |
| 25 Feb 26 | Re: Cardinalities of sets | 13 | | WM |
| 26 Feb 26 | Re: Cardinalities of sets | 12 | | Thomas 'PointedEars' Lahn |
| 26 Feb 26 | Re: Cardinalities of sets | 1 | | Chris M. Thomasson |
| 26 Feb 26 | Re: Cardinalities of sets | 10 | | WM |
| 26 Feb 26 | Re: Cardinalities of sets | 9 | | Thomas 'PointedEars' Lahn |
| 27 Feb 26 | Re: Cardinalities of sets | 1 | | Ross Finlayson |
| 27 Feb 26 | Re: Cardinalities of sets | 7 | | WM |
| 28 Feb 26 | Re: Cardinalities of sets | 6 | | Thomas 'PointedEars' Lahn |
| 28 Feb 26 | Re: Cardinalities of sets | 4 | | Ross Finlayson |
| 28 Feb 26 | Re: Cardinalities of sets | 1 | | Ross Finlayson |
| 1 Mar 26 | Re: Cardinalities of sets | 2 | | Ross Finlayson |
| 4 Mar 26 | Re: Cardinalities of sets | 1 | | Ross Finlayson |
| 28 Feb 26 | Re: Cardinalities of sets | 1 | | WM |
| 4 Mar 26 | Re: AI solves probl;em Knuth was/is working on! | 1 | | Mild Shock |
| 3 Mar 26 | Re: Black hole | 2 | | Marlon Pantelakos |
| 3 Mar 26 | Re: Black hole | 1 | | Richard Hachel |
| 2 Mar 26 | Re: UTC (was: Lies of relativistic scum have short legs) | 1 | | Wellington Kalakos |
| 1 Mar 26 | Re: OK!.. It's On! :-) | 3 | | Lindsay Takamura |
| 2 Mar 26 | Re: OK!.. It's On! :-) | 2 | | Thomas 'PointedEars' Lahn |
| 2 Mar 26 | Re: OK!.. It's On! :-) | 1 | | Erich Babenyshev |
| 1 Mar 26 | Re: energy and mass | 3 | | Taylor Mészáros |
| 2 Mar 26 | Re: energy and mass | 2 | | Thomas 'PointedEars' Lahn |
| 2 Mar 26 | Re: energy and mass | 1 | | Winford Balabolkin |
| 1 Mar 26 | Re: energy and mass | 2 | | Ross Finlayson |
| 2 Mar 26 | Re: energy and mass | 1 | | Thomas 'PointedEars' Lahn |
| 2 Mar 26 | Re: Relearning the Calculus | 1 | | Lawrence D’Oliveiro |
| 1 Mar 26 | Re: Lies of relativistic scum have short legs | 1 | | Barbaro Dovlatov |
| 25 Feb 26 | Re: energy and mass | 7 | | Esequiel Stamatelos |
| 26 Feb 26 | Re: energy and mass | 6 | | Emette Totolos |
| 26 Feb 26 | Re: energy and mass | 3 | | Ross Finlayson |
| 27 Feb 26 | Re: energy and mass | 2 | | Keelyn Imagawa |
| 27 Feb 26 | Re: energy and mass | 1 | | Chadwick Katsukawa |