1. Forum
  2. Newsgroups
  3. comp.theory
lambda calculus

By Zayd Mohammed on Fri Jun 12 20:33:49 2026

Latest reply by Zayd Mohammed on Sat Jun 13 03:28:54 2026
Nick's Official Narrative

By Dude on Wed Jun 10 11:47:45 2026

Latest reply by Dude on Fri Jun 12 18:07:30 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 Mikko on Mon May 4 09:21:10 2026

Latest reply by olcott on Fri Jun 12 11:03:47 2026
this sentence is true?

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

Latest reply by olcott on Fri Jun 12 14:35:43 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
the arithmetic hierarchy is kinda bs isn't it?

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

Latest reply by dart200 on Fri Jun 12 01:02:05 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 Mikko on Mon May 4 09:15:16 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
=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?==?UTF-8?Q?as_no_meaning_in_PA?=

By Julio Di Egidio on Wed May 6 21:37:53 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 Sun May 3 19:07:36 2026

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

By Mikko on Mon May 4 09:24:51 2026

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