1. Forum
  2. Newsgroups
  3. comp.theory
this sentence is true?

By dart200 on Tue Jun 9 10:05:29 2026

Latest reply by olcott on Tue Jun 9 13:36:51 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 Esrimushmoneh on Tue Jun 9 10:00:01 2026
the arithmetic hierarchy is kinda bs isn't it?

By dart200 on Wed Jun 3 07:51:22 2026

Latest reply by Moebius on Tue Jun 9 06:48:18 2026
Re: AI understands where 99 % of mathematicians fail POE

By polcott on Wed Jun 3 20:38:16 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
The Church-Turing thesis can be greatly simplified...

By polcott on Tue Jun 2 12:26:01 2026

Latest reply by Mikko on Fri Jun 5 11:18:09 2026
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 Chris M. Thomasson on Wed Jun 3 14:25:24 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 dart200 on Sat May 2 13:39:54 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?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?==?UTF-8?Q?as_no_meaning_in_PA?=

By Andy Walker on Thu Apr 30 17:16:14 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