1. Forum
  2. USENET
  3. comp.theory
The proper way to use LLMs to aid primary research into foundations

By olcott on Thu Mar 5 10:20:05 2026

Latest reply by Mikko on Tue Mar 10 10:33:41 2026
Replacing the foundations of math, logic, computation and linguistics

By olcott on Fri Mar 6 13:18:22 2026

Latest reply by Mikko on Tue Mar 10 10:28:44 2026
Re: on ignoring the undecidable --- Liar Paradox disguised

By olcott on Sun Feb 8 19:06:11 2026

Latest reply by dart200 on Mon Mar 9 23:02:11 2026
Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era of Vibe Proving is Here )

By Mild Shock on Mon Mar 9 11:30:19 2026

Latest reply by Mild Shock on Mon Mar 9 11:30:19 2026
Visual Perception helps reading Matrices, Fractions, etc.. (Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3])

By Mild Shock on Sun Mar 8 20:19:17 2026

Latest reply by Mild Shock on Sun Mar 8 20:19:17 2026
Only, three decades in software engineering? (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728)

By Mild Shock on Sun Mar 8 10:40:55 2026

Latest reply by Mild Shock on Sun Mar 8 10:41:23 2026
LRM moving from FOM to TCS [Lean Prover] (Was: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)))

By Mild Shock on Fri Feb 27 10:21:16 2026

Latest reply by Mild Shock on Fri Mar 6 02:23:57 2026
AI solves probl;em Knuth was/is working on!!

By Jeff Barnett on Tue Mar 3 22:59:04 2026

Latest reply by Tristan Wibberley on Thu Mar 5 20:36:17 2026
Re: on ignoring the undecidable

By Richard Damon on Sat Feb 7 09:34:38 2026

Latest reply by Tristan Wibberley on Tue Feb 24 19:59:18 2026
Relearning the Calculus

By Daniel on Mon Feb 23 09:49:29 2026

Latest reply by Lawrence =?iso-8859-13?q?D=FFOliveiro?= on Mon Mar 2 00:42:20 2026
From specifications to code we go code generation...

By Julio Di Egidio on Thu Feb 26 20:40:39 2026

Latest reply by Julio Di Egidio on Thu Feb 26 20:40:39 2026
AI is taking our jobs .. not

By Mr Flibble on Sat Feb 21 21:47:38 2026

Latest reply by Mr Flibble on Sat Feb 21 21:47:38 2026
Making all knowledge expressed in language computable

By olcott on Tue Feb 10 07:37:02 2026

Latest reply by polcott on Sun Feb 15 07:02:19 2026
=?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1931_Incompleteness_down_to_?= =?UTF-8?Q?its_essence?=

By Richard Damon on Fri Feb 13 11:01:15 2026

Latest reply by Richard Damon on Fri Feb 13 11:01:15 2026
Re: Making the body of knowledge computable

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Wed Feb 11 13:43:45 2026

Latest reply by olcott on Thu Feb 12 14:26:21 2026
Another undecidable problem?

By wij on Tue Feb 10 19:20:10 2026

Latest reply by wij on Tue Feb 10 19:20:10 2026
Changing the foundational basis to Proof Theoretic Semantics Tarski Undefinability is overcome

By olcott on Thu Feb 5 10:55:56 2026

Latest reply by athel.cb@gmail.com on Sun Feb 8 11:34:10 2026
Re: on ignoring the undecidable --- proof theoretic semantics

By olcott on Mon Feb 9 19:37:21 2026

Latest reply by olcott on Mon Feb 9 19:37:21 2026
Re: on ignoring the undecidable --- PLO

By olcott on Mon Feb 9 11:42:05 2026

Latest reply by olcott on Mon Feb 9 11:42:05 2026
When halt provers are allowed to reject bad inputs the remaining domain is decidable

By olcott on Wed Feb 4 10:47:50 2026

Latest reply by olcott on Thu Feb 5 05:28:30 2026
AI is great...

By Mr Flibble on Fri Feb 6 23:04:18 2026

Latest reply by Mr Flibble on Fri Feb 6 23:04:18 2026
Re: is the ct-thesis cooked?

By dart200 on Mon Feb 2 10:11:31 2026

Latest reply by Richard Damon on Fri Feb 6 19:26:15 2026
Re: Collatz Problem proved.

By wij on Fri Feb 6 14:19:58 2026

Latest reply by wij on Fri Feb 6 14:19:58 2026
=?UTF-8?B?UmU6IFBBIHN5c3RlbSBjYW5ub3QgcHJvdmUgIuKInuKIiOKElSIgUExP?=

By olcott on Sun Feb 1 09:14:30 2026

Latest reply by Mikko on Mon Feb 2 09:32:24 2026
=?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_never_actually_been_true_in_ar?= =?UTF-8?Q?ithmetic?=

By Richard Damon on Sun Feb 1 07:33:39 2026

Latest reply by Richard Damon on Sun Feb 1 07:33:42 2026