1. Forum
  2. USENET
  3. comp.ai.philosophy
Simplifying the Church / Turing thesis

By olcott on Fri May 8 11:58:06 2026

Latest reply by Chris M. Thomasson on Mon May 18 16:37:41 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 Ross Finlayson on Mon May 18 11:14:28 2026
Re: Simplifying the Church / Turing thesis (algebraic geometry)

By Ross Finlayson on Fri May 15 07:46:14 2026

Latest reply by Ross Finlayson on Fri May 15 10:31:16 2026
Theatheory: modern super-classical physics (Finlayson)

By Ross Finlayson on Fri Apr 24 14:23:07 2026

Latest reply by Ross Finlayson on Thu May 14 13:12:20 2026
Re: Theatheory: super-theory and natural science

By Ross Finlayson on Sat Apr 11 17:16:37 2026

Latest reply by Ross Finlayson on Sat May 9 22:08:13 2026
Microsoft gives up on Xbox Copilot AI

By Microsoft India on Wed May 6 01:39:08 2026

Latest reply by yancy on Thu May 7 10:10:10 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
Re: polcott wtf are you even arguing???

By olcott on Mon May 4 10:29:49 2026

Latest reply by Mikko on Tue May 5 11:50:12 2026
Re: Families sue OpenAI over Canadian mass shooter's use of ChatGPT

By c186282 on Thu Apr 30 13:30:26 2026

Latest reply by c186282 on Thu Apr 30 13:30:26 2026
Re: The notion of a "well founded justification tree" will be fully elaborated

By Chris M. Thomasson on Sat Apr 11 14:12:52 2026

Latest reply by Mikko on Thu Apr 30 11:04:58 2026
The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars

By olcott on Sun Apr 26 08:37:59 2026

Latest reply by Mikko on Wed Apr 29 09:51:40 2026
[Spam] Claude-powered AI coding agent deletes entire company database in 9 seconds - backups zapped, after Cursor tool powered by Anthropic's Claude goes rogue

By Anonymous on Tue Apr 28 03:40:16 2026

Latest reply by Anonymous on Tue Apr 28 03:40:16 2026
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction

By Mikko on Sun Apr 12 12:26:29 2026

Latest reply by Mikko on Sun Apr 26 11:17:26 2026
Re: Halting Problem within Proof Theoretic Semantics

By dart200 on Sat Apr 11 15:31:32 2026

Latest reply by Mikko on Fri Apr 24 09:50:15 2026
Best way to use LLMs to augment academic research

By olcott on Thu Apr 16 10:20:52 2026

Latest reply by Mikko on Fri Apr 24 09:16:30 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
Statuto della Collettivita Senziente - Articles of the Sentient Collective [core 0.1]

By qu on Wed Apr 15 01:44:36 2026

Latest reply by qu on Wed Apr 15 01:44:36 2026