1. Forum
  2. USENET
  3. sci.logic
The small LLM revolution [Timothy Chow in your Poket] (Was: ChatGPT 5.x so bad, it will give back jobs to Gen Z)

By Mild Shock on Tue May 12 21:16:33 2026

Latest reply by wm on Mon May 18 12:30:34 2026
Re: AI understands where 99 % of mathematicians fail

By WM on Thu Apr 16 16:26:30 2026

Latest reply by wm on Mon May 18 12:26:04 2026
An afterthought about the Binary Tree

By WM on Thu May 7 22:48:41 2026

Latest reply by wm on Mon May 18 12:22:39 2026
Simplifying the Church / Turing thesis

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

Latest reply by phoenix on Mon May 18 11:52:42 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: AI understands where 99 % of mathematicians fail (forcing)

By Ross Finlayson on Sun May 17 09:14:33 2026

Latest reply by Ross Finlayson on Mon May 18 07:36:05 2026
Re: Few questions on forcing, large cardinals

By Ross Finlayson on Sun May 17 09:15:45 2026

Latest reply by Ross Finlayson on Sun May 17 09:15:45 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
Re: polcott wtf are you even arguing???

By olcott on Fri May 1 16:19:49 2026

Latest reply by Chris M. Thomasson on Thu May 14 02:14:52 2026
Re: Simplifying the Church / Turing thesis (Sumerian and Egyptian)

By Ross Finlayson on Wed May 13 08:53:04 2026

Latest reply by Ross Finlayson on Wed May 13 08:55:53 2026
Buddos Waterloo: Checkpoint McCune (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]=

By Mild Shock on Sun May 10 16:18:31 2026

Latest reply by Mild Shock on Sun May 10 16:43:14 2026
Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979]

By Mild Shock on Fri Apr 24 02:46:30 2026

Latest reply by Mild Shock on Sun May 10 09:09:26 2026
DeepSeek nearly as stupid as ChatGPT (Re: Single-paradigm Logic Programming: CogitoAI System)

By Mild Shock on Thu Apr 16 14:44:18 2026

Latest reply by Mild Shock on Thu May 7 12:49:56 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: 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
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail)

By Moebius on Thu Apr 30 04:43:03 2026

Latest reply by Ross Finlayson on Fri May 1 09:47:17 2026
Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)

By Mild Shock on Wed Apr 29 00:40:10 2026

Latest reply by Mild Shock on Thu Apr 30 17:50:19 2026
I will write a new paper anchoring my ideas in proof theoretic semantics

By olcott on Thu Apr 16 07:52:31 2026

Latest reply by Mikko on Thu Apr 30 11:04:58 2026
Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Re: Declarative farts versus MSI Claw AI+)

By Mild Shock on Wed Apr 29 11:33:40 2026

Latest reply by Mild Shock on Wed Apr 29 13:18:25 2026
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction

By Ross Finlayson on Thu Apr 16 10:10:14 2026

Latest reply by Mikko on Wed Apr 29 09:51:40 2026
Re: Halting Problem within Proof Theoretic Semantics

By olcott on Thu Apr 16 07:38:23 2026

Latest reply by Chris M. Thomasson on Fri Apr 24 20:37:22 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
Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ???

By dart200 on Thu Apr 16 10:37:21 2026

Latest reply by dart200 on Tue Apr 21 20:48:52 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
Nexpert Object: Realtime Abduction and Explanation [The glorious 80's Expertsystems]

By Mild Shock on Thu Apr 16 16:27:10 2026

Latest reply by Mild Shock on Thu Apr 16 16:27:10 2026