1. Forum
  2. Newsgroups
  3. comp.theory
Re: The simple essence of Proof Theoretic Semantics

By dbush on Wed Jul 1 22:36:25 2026

Latest reply by olcott on Sun Jul 12 16:23:43 2026
Olcott's system

By Fred. Zwarts on Sun Jul 12 10:11:13 2026

Latest reply by olcott on Sun Jul 12 16:21:19 2026
Olcott's big correction to symbolic logic

By olcott on Mon Jul 6 10:15:18 2026

Latest reply by olcott on Sun Jul 12 11:10:13 2026
Every LLM agrees with my final resolution to the Liar Paradox

By olcott on Fri Jul 10 16:41:56 2026

Latest reply by olcott on Sun Jul 12 09:21:30 2026
Re: Readings in (some of the) foundations of mathematics --- tree ofknowledge

By Mikko on Thu Jul 2 09:44:48 2026

Latest reply by olcott on Sat Jul 11 22:52:41 2026
MediaHuman YouTube To MP3 Converter 3.9.21 (0907) Multilingual | Powerful Audio Downloader & Converter

By Anonymous on Sat Jul 11 17:24:51 2026

Latest reply by Anonymous on Sat Jul 11 17:24:51 2026
OpenAI ChatGPT Desktop 2026.709.1617.0 ? FULL CRACK + Offline Mode

By TestUser on Sat Jul 11 16:47:02 2026

Latest reply by TestUser on Sat Jul 11 16:47:02 2026
Re: William T. Parry gets rid of Disjunction introduction

By Mikko on Thu Jul 2 09:21:35 2026

Latest reply by Mikko on Thu Jul 9 10:48:42 2026
Thinking of Chris M. Thomasson: From shadertoys to computetoys? (Re:TDR solutions --> work slicing)

By Mild Shock on Thu Jul 9 09:58:49 2026

Latest reply by Mild Shock on Thu Jul 9 09:58:49 2026
AI Laptops are just strange novel xBoxes

By Mild Shock on Wed Jul 8 20:49:15 2026

Latest reply by Mild Shock on Wed Jul 8 20:49:15 2026
The truth about the halting problem counter-example input

By olcott on Fri Jul 3 22:11:10 2026

Latest reply by Mikko on Wed Jul 8 10:45:02 2026
Re: Nick's Greatest Hits

By dart200 on Sun Jul 5 20:03:16 2026

Latest reply by Dude on Mon Jul 6 18:27:11 2026