1. Forum
  2. Newsgroups
  3. comp.theory
William T. Parry gets rid of Disjunction introduction

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

Latest reply by dbush on Fri Jun 26 09:24:57 2026
Ross A. Finlayson, readings in (some of the) foundations ofmathematics

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

Latest reply by olcott on Fri Jun 26 08:45:45 2026
Solving the Gettier cases

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

Latest reply by Mikko on Fri Jun 26 09:12:19 2026
Proof Theoretic Semantics as a new Foundation for Mathematics, Logicand the Theory of Computation

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

Latest reply by olcott on Fri Jun 26 07:56:32 2026
Re: The notion of a "well founded justification tree" will be fullyelaborated (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-conditionsemantics

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
this sentence is true?

By dart200 on Tue Jun 9 10:05:29 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 beexpressed 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
=?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 Sat Jun 20 12:32:15 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?

By dart200 on Sun Jun 7 10:37:09 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 dart200 on Fri Jun 5 03:11:40 2026

Latest reply by dart200 on Fri Jun 12 01:02:05 2026
Re: AI understands where 99 % of mathematicians fail POE

By Mikko on Fri Jun 5 12:46:01 2026

Latest reply by Moebius on Sat Jun 6 22:44:17 2026
Stroustrup on AI code generation

By Mr Flibble on Fri Jun 5 15:38:08 2026

Latest reply by dart200 on Fri Jun 5 09:11:13 2026