1. Forum
  2. USENET
  3. comp.theory
=?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 wij on Thu Apr 30 09:19:09 2026
The notion of a "well founded justification tree" will be fully elaborated (signature update)

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

Latest reply by Mikko on Wed Apr 29 09:57:36 2026
Cope

By Mr Flibble on Sun Apr 26 21:05:21 2026

Latest reply by Mikko on Wed Apr 29 09:43:12 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 fully elaborated

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 in peace?

By dart200 on Sun Mar 29 08:44:10 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 Richard Damon on Sun Mar 29 13:07:13 2026

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