1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
The L.L.Ms. are stupid

By Johann 'Myrkraverk' Oskarsson on Thu Oct 1 04:51:14 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Sun Oct 25 23:29:51 2026
Church-Turing and computable functions

By olcott on Fri Oct 2 07:28:14 2026

Latest reply by Mikko on Sun Oct 25 11:56:51 2026
【20261022: FREE, PROFITABLE, AI-BASED Stock Price Forecasts】

By forecast on Fri Oct 23 23:37:49 2026

Latest reply by forecast on Fri Oct 23 23:37:49 2026
Correcting the errors in the foundation of computation

By olcott on Fri Oct 23 13:10:12 2026

Latest reply by Python on Fri Oct 23 21:16:40 2026
Provability in PA --- Cycle detected in directed graph of evaluationsequence

By olcott on Thu Oct 1 09:47:00 2026

Latest reply by Mikko on Fri Oct 23 10:17:19 2026
Computation inherently requires relevant rather than arbitrary finitestring transformations

By olcott on Mon Oct 19 23:50:48 2026

Latest reply by olcott on Mon Oct 19 23:50:48 2026
Re: Computation requires correct rather than arbitrary finite string transformations

By olcott on Fri Oct 16 10:20:51 2026

Latest reply by olcott on Mon Oct 19 10:56:57 2026
Computation requires correct rather than arbitrary finite stringtransformations

By olcott on Fri Oct 16 08:28:10 2026

Latest reply by olcott on Mon Oct 19 10:53:11 2026
Something went wrong. Please try again later.

By Johann 'Myrkraverk' Oskarsson on Thu Oct 15 19:52:59 2026

Latest reply by ram on Fri Oct 16 13:07:37 2026
The generic error of the HP proof shown through the Peter Linz statetransitions

By olcott on Fri Oct 16 09:51:43 2026

Latest reply by olcott on Fri Oct 16 09:51:43 2026
Re: Church-Turing and computable functions --- Python dialogue

By polcott on Wed Oct 7 07:45:52 2026

Latest reply by olcott on Thu Oct 15 19:14:35 2026
The latest slew of prompted lemmas, "almost-quite" (verum/certum)

By Ross Finlayson on Wed Oct 7 10:25:28 2026

Latest reply by Ross Finlayson on Wed Oct 14 11:41:32 2026
Succinct proof that the Halting Problem Theorem is incorrect

By olcott on Sat Oct 10 15:17:12 2026

Latest reply by olcott on Tue Oct 13 07:43:57 2026
Re: Church-Turing and computable functions --- Python dialogue ---rewrite

By olcott on Mon Oct 12 17:10:01 2026

Latest reply by olcott on Mon Oct 12 17:10:01 2026
Re: Theatheory: modern super-classical physics (Finlayson)

By Ross Finlayson on Mon Oct 12 06:10:21 2026

Latest reply by Ross Finlayson on Mon Oct 12 06:10:21 2026
Re: Provability in PA --- Tarski "trivial" Wittgenstein"tautological" neither "true"

By olcott on Sun Oct 11 20:19:01 2026

Latest reply by olcott on Sun Oct 11 20:19:01 2026
I took the money I spiked your drink

By Blaine on Wed Oct 7 14:56:02 2026

Latest reply by Blaine on Wed Oct 7 14:56:02 2026
Re: Church-Turing and computable functions --- Peter Linz Proof withOlcott Notation Conventions

By olcott on Wed Oct 7 08:25:44 2026

Latest reply by olcott on Wed Oct 7 10:25:25 2026
The essence of all of my work in less than a paragraph

By olcott on Tue Oct 6 21:04:44 2026

Latest reply by Ross Finlayson on Wed Oct 7 09:53:08 2026
Provability in PA

By olcott on Tue Sep 22 10:01:02 2026

Latest reply by Mikko on Tue Oct 6 11:32:26 2026
Theatheory: truth versus lies

By Ross Finlayson on Wed Sep 23 16:36:53 2026

Latest reply by Ross Finlayson on Tue Oct 6 11:09:13 2026
Re: Theatheory: super-theory and natural science

By Ross Finlayson on Sat Jul 25 12:44:30 2026

Latest reply by Ross Finlayson on Tue Oct 6 11:07:42 2026
Re: Church-Turing and computable functions --- best dialogue ever

By olcott on Sat Oct 3 10:06:54 2026

Latest reply by olcott on Tue Oct 6 08:08:21 2026
Theatheory (not Re: Olcott's system (not Hobbes))

By Ross Finlayson on Thu Jul 16 14:00:27 2026

Latest reply by Ross Finlayson on Mon Oct 5 10:14:46 2026
US and China establish 'AI incidents' hotline

By Planet of the apes on Sun Sep 27 06:18:59 2026

Latest reply by Governor Swill on Sat Oct 3 17:10:06 2026
System for AI safety alignment

By olcott on Sun Sep 20 12:24:40 2026

Latest reply by olcott on Sat Oct 3 08:00:39 2026
Re: Church-Turing and computable functions --- very productivedialogue

By olcott on Sat Oct 3 09:30:09 2026

Latest reply by olcott on Sat Oct 3 09:30:09 2026
Re: Provability in PA --- (TOTBOMEIL)

By olcott on Fri Oct 2 18:43:23 2026

Latest reply by olcott on Fri Oct 2 18:43:23 2026
Re: Church-Turing and computable functions --- very excellent reply

By olcott on Fri Oct 2 17:42:56 2026

Latest reply by olcott on Fri Oct 2 17:42:56 2026
Re: System for AI safety alignment --- Johann not interested anhonest (a reminder to myself)

By olcott on Wed Sep 23 11:37:59 2026

Latest reply by olcott on Wed Sep 23 11:37:59 2026
How can humanity best protect itself from AI when AI becomes10000---fold smarter than the smartest human?

By olcott on Fri Sep 18 08:46:27 2026

Latest reply by Daniel on Sat Sep 19 12:40:20 2026
Stocks tumble after AI leaders warn that the industry should slow down

By Oh Horrors... on Mon Sep 14 23:44:42 2026

Latest reply by Ross Finlayson on Thu Sep 17 21:17:09 2026
Trump says AI doesn't need guardrails, only a 'high IQ' president

By Oh Horrors... on Tue Sep 15 03:12:35 2026

Latest reply by Oh Horrors... on Tue Sep 15 03:12:35 2026
Making LLMs a little more reliable

By olcott on Sun Sep 6 12:53:57 2026

Latest reply by Ross Finlayson on Tue Sep 8 19:53:42 2026
Re: The experiment that sinks both SR and LET

By Ross Finlayson on Tue Sep 1 18:04:50 2026

Latest reply by Ross Finlayson on Tue Sep 1 18:04:50 2026
Mind Viruses: Self-Propagating Ideas in Multi-Agent LLM Systems

By D. Ray on Wed Aug 19 01:27:28 2026

Latest reply by D. Ray on Wed Aug 19 01:27:28 2026
AI is "Gay I".

By alexander on Sun Aug 9 11:17:43 2026

Latest reply by alexander on Sun Aug 9 11:17:43 2026
Masterkey

By qu on Sun Aug 9 02:54:45 2026

Latest reply by qu on Sun Aug 9 02:54:45 2026
AI Companies Are Buying Antique Books, Ingesting Their Contents to Train Models, and Then Destroying Them at Incredible Scale

By D. Ray on Sun Jul 26 23:51:05 2026

Latest reply by D. Ray on Sun Jul 26 23:51:05 2026
Body Bags Found Outside OpenAI HQ as Execs Increasingly Fear for Their Lives

By J D on Mon Jul 20 21:51:53 2026

Latest reply by J D on Mon Jul 20 21:51:53 2026
Every LLM agrees with my final resolution to the Liar Paradox

By olcott on Fri Jul 10 16:41:56 2026

Latest reply by Mikko on Wed Jul 15 10:08:50 2026
Meta's Ray-Ban Smart Glasses Have Officially Earned the Public Nickname "Pervert Glasses" Amid a Massive Privacy Reckoning

By PF on Tue Jul 14 08:04:53 2026

Latest reply by PF on Tue Jul 14 08:04:53 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 olcott on Sat Jul 4 12:07:42 2026

Latest reply by Mikko on Thu Jul 9 11:42:19 2026
Re: The simple essence of Proof Theoretic Semantics

By olcott on Sat Jul 4 11:58:36 2026

Latest reply by Mikko on Thu Jul 9 11:15:51 2026
Re: Readings in (some of the) foundations of mathematics --- tree of knowledge

By Alan Mackenzie on Sat Jul 4 17:42:39 2026

Latest reply by Mikko on Thu Jul 9 10:51:41 2026
Re: William T. Parry gets rid of Disjunction introduction

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Sat Jul 4 10:59:06 2026

Latest reply by Mikko on Thu Jul 9 10:48:42 2026
Re: Olcott's big correction to symbolic logic

By olcott on Wed Jul 8 15:26:47 2026

Latest reply by Mikko on Thu Jul 9 10:34:10 2026
Olcott gets rid of the Principle of Explosion

By olcott on Mon Jul 6 08:56:41 2026

Latest reply by Mikko on Wed Jul 8 12:05:29 2026
Re: The truth about the halting problem counter-example input

By olcott on Mon Jul 6 10:18:13 2026

Latest reply by Mikko on Wed Jul 8 10:45:02 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 Sun Jul 5 17:31:38 2026

Latest reply by olcott on Mon Jul 6 19:01:46 2026