on enumerating circle-free sequences: a fallacy in turing's paper oncomputable numbers

By dart200 on Tue Mar 10 09:51:43 2026

Latest reply by dart200 on Tue Mar 10 17:13:58 2026

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 olcott on Tue Mar 10 12:41:41 2026

Replacing the foundations of math, logic, computation and linguistics

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

Latest reply by Ross Finlayson on Tue Mar 10 08:32:14 2026

Re: on ignoring the undecidable

By Richard Damon on Sat Feb 7 11:33:41 2026

Latest reply by Richard Damon on Tue Mar 10 07:02:26 2026

Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era ofVibe 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

LRM moving from FOM to TCS [Lean Prover] (Was: Is Causal AI simplyReLU (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

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

=?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

Re: Changing the foundational basis to Proof Theoretic SemanticsTarski Undefinability is overcome

By Richard Damon on Sat Feb 7 11:33:43 2026

Latest reply by Richard Damon on Mon Feb 9 22:47:26 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

Re: When halt provers are allowed to reject bad inputs the remainingdomain is decidable

By Richard Damon on Sat Feb 7 11:33:39 2026

Latest reply by Mikko on Sun Feb 8 11:06:04 2026