1. Forum
  2. Newsgroups
  3. comp.theory
Re: The notion of a "well founded justification tree" will be fullyelaborated

By Chris M. Thomasson on Wed May 27 13:44:50 2026

Latest reply by Thomas 'PointedEars' Lahn on Thu May 28 13:20:29 2026
Cleaning up the bloody mess of formal sematics

By olcott on Wed May 27 14:07:09 2026

Latest reply by olcott on Wed May 27 14:07:09 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 olcott on Tue May 26 09:01:05 2026

Latest reply by Mikko on Wed May 27 10:21:26 2026
Re: The notion of a "well founded justification tree" will be fullyelaborated --- Correction

By olcott on Thu Apr 16 14:47:49 2026

Latest reply by dart200 on Wed May 27 10:02:51 2026
Re: Undecidability based on epistemological antinomies V2 --correctreasoning--

By Ross Finlayson on Sat May 23 15:41:24 2026

Latest reply by Mikko on Tue May 26 10:50:25 2026
Re: New signature line

By Ross Finlayson on Sat May 23 08:53:41 2026

Latest reply by Chris M. Thomasson on Sun May 24 14:26:43 2026
Re: Simplifying the Church / Turing thesis ( P(Halts) = P(Rational) )

By Ross Finlayson on Mon May 18 09:51:17 2026

Latest reply by olcott on Sat May 23 16:06:27 2026
Using Olcott's system to prove that Trump lied about election fraud

By olcott on Tue May 19 15:26:36 2026

Latest reply by olcott on Tue May 19 15:26:36 2026
look at robo go!!!

By dart200 on Mon May 18 23:35:24 2026

Latest reply by Dude on Tue May 19 09:10:08 2026
polcott wtf are you even arguing???

By dart200 on Fri May 1 14:06:30 2026

Latest reply by Chris M. Thomasson on Thu May 14 02:14:52 2026
=?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 Scott Hoge on Thu May 7 01:12:36 2026
Vibe assistance

By Mr Flibble on Tue May 5 18:56:21 2026

Latest reply by Lawrence =?iso-8859-13?q?D=FFOliveiro?= on Wed May 6 21:22:08 2026
Game over

By Mr Flibble on Tue May 5 00:45:29 2026

Latest reply by Mr Flibble on Tue May 5 10:25:37 2026
Re: Theatheory: super-theory and natural science

By olcott on Sat May 2 12:48:24 2026

Latest reply by olcott on Mon May 4 18:10:49 2026
Elevate us

By Mr Flibble on Sun May 3 15:13:35 2026

Latest reply by Mikko on Mon May 4 09:24:51 2026
Re: Vibe coding

By Mr Flibble on Sun May 3 13:45:33 2026

Latest reply by Mr Flibble on Sun May 3 13:45:33 2026
Re: Advertising may appear in Gemini.

By dart200 on Sun May 3 02:48:06 2026

Latest reply by Dude on Sun May 3 09:26:13 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
Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ???

By dart200 on Thu Apr 16 19:04:24 2026

Latest reply by Mikko on Fri Apr 24 09:50:15 2026
Univocity of AI: Cat Face Recognition (Was: Best way to use LLMs toaugment academic research)

By Mild Shock on Thu Apr 16 21:59:00 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