1. Forum
  2. USENET
  3. sci.logic
=?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
Re: An afterthought about the Binary Tree

By wm on Thu Jun 18 22:15:42 2026

Latest reply by Chris M. Thomasson on Thu Jul 2 16:01:38 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
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: Newton's laws

By The Starmaker on Tue Jun 23 22:41:14 2026

Latest reply by The Starmaker on Fri Jun 26 21:51:42 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
Re: Most Toxic Place gone: Stack Overflow [hardmath's struggle] (Re: What is the Capital of Atlantis? [Chris Hays LARQL])

By wm on Thu Jun 18 22:10:48 2026

Latest reply by wm on Thu Jun 25 12:18:13 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 Wed Jun 10 13:34:34 2026

Latest reply by Julio Di Egidio on Tue Jun 23 11:17:35 2026
Re: Ross A. Finlayson, readings in (some of the) --- One-two punch Destroys Liars

By olcott on Tue Jun 23 09:38:20 2026

Latest reply by Ross Finlayson on Tue Jun 23 08:53:12 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 olcott on Fri Jun 19 19:15:32 2026

Latest reply by Mikko on Sun Jun 21 12:32:23 2026
=?UTF-8?Q?Prolog_Expert_Ginis_=28PEGs=29_on_a_Keychain_=28Re:_AI_do?= =?UTF-8?Q?oms_day_escape:_G=c3=bcttinger_Wald=29?=

By Mild Shock on Sat Jun 20 13:04:49 2026

Latest reply by Mild Shock on Sun Jun 21 05:39:02 2026
Re: Cantor pairing... For Moebius...

By Chris M. Thomasson on Mon Jun 15 15:14:32 2026

Latest reply by Chris M. Thomasson on Thu Jun 18 05:34:07 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
Re: lambda calculus ---

By olcott on Fri Jun 12 22:17:13 2026

Latest reply by olcott on Fri Jun 12 22:17:13 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
Nick's WTC Jewish Conspiracy Theory

By Dude on Wed Jun 10 16:28:00 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:17:37 2026

Latest reply by olcott on Fri Jun 12 11:03:47 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