Re: legal systems _must_ have a more consistent computerizedinterface ....

By Dude on Tue Mar 24 12:19:26 2026

Latest reply by dart200 on Tue Mar 24 23:57:31 2026

on fixing turing's diagonal: a refutation of the church-turing thesis

By dart200 on Sat Mar 21 00:47:37 2026

Latest reply by dart200 on Tue Mar 24 20:33:09 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 Sat Mar 21 10:54:51 2026

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 Richard Damon on Fri Mar 20 11:53:36 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 Ross Finlayson on Fri Mar 20 10:16:50 2026

Re: Making all knowledge expressed in language computable

By Mikko on Fri Feb 20 11:46:27 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