1. Forum
  2. USENET
  3. comp.theory
=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?= =?UTF-8?Q?as_no_meaning_in_PA?=

By Tristan Wibberley on Sat Jun 20 17:50:25 2026

Latest reply by olcott on Thu Jul 2 18:49:26 2026
Ross A. Finlayson, readings in (some of the) foundations of mathematics

By olcott on Wed Jun 17 16:14:46 2026

Latest reply by olcott on Thu Jul 2 11:47:04 2026
William T. Parry gets rid of Disjunction introduction

By olcott on Thu Jun 25 20:32:17 2026

Latest reply by dbush on Thu Jul 2 10:42:10 2026
DAG of all general knowledge that can be expressed in Language

By olcott on Wed Jul 1 12:57:20 2026

Latest reply by Chris M. Thomasson on Wed Jul 1 18:59:40 2026
Hopefully news.eternal-september.org will be back up

By polcott on Sat Jun 27 10:54:00 2026

Latest reply by olcott on Sat Jun 27 11:54:47 2026
Proof Theoretic Semantics as a new Foundation for Mathematics, Logic and the Theory of Computation

By olcott on Thu Jun 25 09:47:34 2026

Latest reply by Mikko on Sat Jun 27 09:57:13 2026
Solving the Gettier cases

By olcott on Sat Jun 20 19:41:49 2026

Latest reply by Tristan Wibberley on Sat Jun 27 07:20:53 2026
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)

By Tristan Wibberley on Wed Jun 17 15:01:20 2026

Latest reply by Chris M. Thomasson on Thu Jun 25 12:35:56 2026
Proof-theoretic semantics is an alternative to truth-condition semantics

By olcott on Tue Jun 23 22:04:22 2026

Latest reply by olcott on Tue Jun 23 22:04:22 2026
Re: Undecidability based on epistemological antinomies V2 --correct reasoning--

By Richard Damon on Tue Jun 23 11:36:12 2026

Latest reply by Richard Damon on Tue Jun 23 11:36:12 2026
Re: this sentence is true?

By olcott on Tue Jun 9 14:45:25 2026

Latest reply by Julio Di Egidio on Tue Jun 23 11:17:35 2026
Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Fri Jun 19 17:42:07 2026

Latest reply by Mikko on Sun Jun 21 12:32:23 2026
lambda calculus

By Zayd Mohammed on Fri Jun 12 20:33:49 2026

Latest reply by Esrimushmoneh on Wed Jun 17 14:25:21 2026
Interacting with LLMs is like...

By olcott on Tue Jun 16 22:30:18 2026

Latest reply by olcott on Tue Jun 16 22:30:18 2026
finger information service

By Daniel on Mon Jun 15 22:45:08 2026

Latest reply by Daniel on Mon Jun 15 22:45:08 2026
Nick's Official Narrative

By Dude on Wed Jun 10 11:47:45 2026

Latest reply by dart200 on Fri Jun 12 20:45:17 2026
Re: the official 911 narrative is kinda bs isn't it? --- Alternatives

By Dude on Tue Jun 9 19:24:16 2026

Latest reply by Dude on Fri Jun 12 18:01:28 2026
Re: polcott wtf are you even arguing???

By Tristan Wibberley on Thu Jun 11 22:12:45 2026

Latest reply by olcott on Fri Jun 12 11:03:47 2026
Re: this sentence is true? --- Olcott exceeds PTS

By olcott on Fri Jun 12 15:07:38 2026

Latest reply by olcott on Fri Jun 12 15:07:38 2026
Re: the arithmetic hierarchy is kinda bs isn't it?

By Chris M. Thomasson on Wed Jun 10 12:16:27 2026

Latest reply by dart200 on Fri Jun 12 01:02:05 2026