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:43:50 2026

Latest reply by Ross Finlayson on Mon May 18 07:36:05 2026

ChatGPT 5.x so bad, it will give back jobs to Gen Z [Its the Shiiit]

By Mild Shock on Thu Apr 16 03:22:45 2026

Latest reply by Mild Shock on Sun May 17 08:27:29 2026

Lies from an AI

By phoenix on Fri May 15 12:39:11 2026

Latest reply by Chris M. Thomasson on Fri May 15 14:17:36 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

A new experiment deepens the mystery over gravitational constant, Big G

By phoenix on Sun May 10 11:45:09 2026

Latest reply by Ross Finlayson on Mon May 11 16:23:41 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:47:01 2026

Latest reply by Mild Shock on Sun May 10 09:13:26 2026

Re: Theatheory: super-theory and natural science

By Thomas Heger on Fri Apr 17 08:59:24 2026

Latest reply by Ross Finlayson on Sat May 9 22:08:13 2026

Mapping reals to integers

By phoenix on Mon May 4 07:58:45 2026

Latest reply by jojo on Sat May 9 20:55:40 2026

An afterthought about the Binary Tree

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

Latest reply by Ross Finlayson on Sat May 9 11:02:14 2026

Single-paradigm Logic Programming: CogitoAI System (Re: Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)")

By Mild Shock on Thu Apr 16 14:31:56 2026

Latest reply by Mild Shock on Thu May 7 12:50:48 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: 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

Cantor contradicted

By wm on Wed Apr 29 15:19:14 2026

Latest reply by wm on Fri May 1 14:54:21 2026

A New Science

By The Starmaker on Sat Apr 18 12:14:11 2026

Latest reply by Samuel Spade on Thu Apr 30 20:44:31 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:41:15 2026

Latest reply by Ross Finlayson on Thu Apr 30 09:13:31 2026

Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)

By Tristan Wibberley on Fri Apr 24 14:15: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:32:29 2026

Latest reply by Mild Shock on Wed Apr 29 13:17:31 2026

Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction

By Mikko on Thu Apr 16 11:26:29 2026

Latest reply by Mikko on Wed Apr 29 09:51:40 2026

Re: Halting Problem within Proof Theoretic Semantics

By Mikko on Thu Apr 16 11:20:08 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

Fwd: Re: Meta: a usenet server just for sci.math (AATU)

By Ross Finlayson on Thu Apr 23 09:39:31 2026

Latest reply by Ross Finlayson on Thu Apr 23 13:23:36 2026

Fwd Re: Meta: a usenet server just for sci.math (AATU)

By Ross Finlayson on Thu Apr 23 09:42:45 2026

Latest reply by Ross Finlayson on Thu Apr 23 09:42:45 2026

InfaRing...

By Chris M. Thomasson on Wed Apr 22 22:30:44 2026

Latest reply by Chris M. Thomasson on Wed Apr 22 22:30:44 2026

Re: Halting Problem within Proof Theoretic Semantics -- I am correct

By olcott on Mon Apr 20 19:58:24 2026

Latest reply by dart200 on Tue Apr 21 20:48:52 2026

Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example

By olcott on Wed Apr 15 12:43:15 2026

Latest reply by Mikko on Sun Apr 19 12:01:45 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:28:10 2026

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

2d as 3d?

By Chris M. Thomasson on Thu Apr 16 01:56:00 2026

Latest reply by Chris M. Thomasson on Thu Apr 16 02:03:58 2026

=?UTF-8?Q?Re=3A_Repr=C3=A9senttion_graphique?=

By MAIxxxx on Wed Apr 15 20:26:39 2026

Latest reply by MAIxxxx on Wed Apr 15 20:26:39 2026