1. Forum
  2. Newsgroups
  3. comp.theory
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 olcott on Sat Apr 25 07:19:51 2026
=?UTF-8?Q?Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_has_no_?==?UTF-8?Q?meaning_in_PA?=

By olcott on Mon Apr 20 11:57:40 2026

Latest reply by Chris M. Thomasson on Fri Apr 24 21:14:39 2026
Halting Problem within Proof Theoretic Semantics

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

Latest reply by Mikko on Fri Apr 24 09:50:15 2026
Best way to use LLMs to augment academic research

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

Latest reply by Mikko on Fri Apr 24 09:16:30 2026
Binary tree

By Takanori Oshiro on Tue Apr 21 21:29:19 2026

Latest reply by Chris M. Thomasson on Thu Apr 23 02:28:13 2026
Love your adversaries --- do good to them that hate you

By olcott on Sun Apr 19 10:13:20 2026

Latest reply by olcott on Sun Apr 19 10:13:20 2026
Re: The notion of a "well founded justification tree" will be fullyelaborated

By olcott on Fri Apr 3 14:34:22 2026

Latest reply by Chris M. Thomasson on Sun Apr 12 12:56:59 2026
on the sloppier diagonal paradox

By dart200 on Sun Mar 29 09:19:55 2026

Latest reply by dart200 on Sun Apr 12 11:01:33 2026
Re: what percentage of the global population desires to live inpeace?

By dart200 on Sun Mar 29 08:42:38 2026

Latest reply by dart200 on Sat Apr 4 18:14:00 2026
Re: It's the AI's fault again

By Julio Di Egidio on Mon Mar 30 20:17:07 2026

Latest reply by Richard Damon on Fri Apr 3 10:29:40 2026
Re: The proper way to use LLMs to aid primary research into foundations --- PLO

By Mikko on Sun Mar 29 11:33:18 2026

Latest reply by Ross Finlayson on Mon Mar 30 08:29:02 2026