1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
Theatheory: super-theory and natural science

By Ross Finlayson on Sun Apr 5 11:03:48 2026

Latest reply by Thomas Heger on Sat Apr 18 09:58:03 2026
Halting Problem within Proof Theoretic Semantics

By olcott on Wed Apr 8 13:33:38 2026

Latest reply by dart200 on Fri Apr 17 23:30:10 2026
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example

By Mikko on Tue Apr 7 11:00:42 2026

Latest reply by olcott on Fri Apr 17 21:42:29 2026
Best way to use LLMs to augment academic research

By olcott on Thu Apr 16 10:20:52 2026

Latest reply by Ross Finlayson on Fri Apr 17 17:40:04 2026
The notion of a "well founded justification tree" will be fullyelaborated (signature update)

By olcott on Thu Apr 2 15:58:25 2026

Latest reply by Richard Damon on Thu Apr 16 07:37:59 2026
Statuto della Collettivita Senziente - Articles of the Sentient Collective [core 0.1]

By qu on Wed Apr 15 01:44:36 2026

Latest reply by qu on Wed Apr 15 01:44:36 2026
Re: The proper way to use LLMs to aid primary research intofoundations

By Tristan Wibberley on Sat Mar 7 20:24:15 2026

Latest reply by Ross Finlayson on Mon Mar 30 08:29:02 2026
Re: on fixing turing's diagonal: a refutation of the church-turingthesis --- PLO

By olcott on Sat Mar 21 14:02:52 2026

Latest reply by Richard Damon on Thu Mar 26 06:49:56 2026
Abstraction of Truism: reason on theatheory (A Theory)

By Ross Finlayson on Tue Mar 24 01:10:31 2026

Latest reply by Ross Finlayson on Tue Mar 24 01:10:31 2026
Re: Replacing the foundations of math, logic, computation andlinguistics

By Ross Finlayson on Sat Mar 7 07:18:16 2026

Latest reply by Ross Finlayson on Sat Mar 21 10:54:51 2026
Re: Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Eraof Vibe Proving is Here)

By Tristan Wibberley on Tue Mar 10 12:09:06 2026

Latest reply by Tristan Wibberley on Tue Mar 10 12:09:06 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