1. Forum
  2. USENET
  3. sci.logic
primes.pl mainly tests the Prolog ALU [mod/2 vs rem/2]

By Mild Shock on Wed Oct 15 04:34:24 2025

Latest reply by Mild Shock on Wed Oct 15 16:11:54 2025
The halting problem is self-contradictory

By olcott on Tue Oct 14 21:17:50 2025

Latest reply by olcott on Wed Oct 15 07:32:55 2025
Fundamentals of parsing, an AI conversation and definition of "protophora"

By Ross Finlayson on Mon Oct 13 16:15:52 2025

Latest reply by Ross Finlayson on Tue Oct 14 10:42:48 2025
Google Gemini '25 on "F-Continuum A-Theory"

By Ross Finlayson on Mon Oct 13 22:22:59 2025

Latest reply by Ross Finlayson on Tue Oct 14 11:16:06 2025
Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD()

By olcott on Mon Oct 13 12:51:16 2025

Latest reply by olcott on Mon Oct 13 12:51:16 2025
=?UTF-8?Q?Re:_Banach=e2=80=93Tarski_paradox?=

By Ross Finlayson on Sun Oct 12 16:55:05 2025

Latest reply by Ross Finlayson on Sun Oct 12 16:55:05 2025
Defeating the Tarski Undefinability Theorem

By olcott on Mon Aug 25 12:54:02 2025

Latest reply by olcott on Sun Oct 12 09:04:32 2025
Halting problem proof converted to Liar Paradox --- never resolves to a truth value

By olcott on Sun Oct 12 10:09:08 2025

Latest reply by olcott on Sun Oct 12 10:09:08 2025
How Saul Kripke provided the foundation for a consistent and correct truth predicate

By olcott on Sun Oct 12 09:56:17 2025

Latest reply by olcott on Sun Oct 12 09:56:17 2025
The true nature of Undecidability

By olcott on Tue Oct 7 10:05:07 2025

Latest reply by Richard Heathfield on Fri Oct 10 21:28:08 2025
ANN: Go Fund Me for ISO Core Standard of Prolog (Re: An ISO term_variables/2 for Cyclic Terms)

By Mild Shock on Thu Oct 9 18:12:28 2025

Latest reply by Mild Shock on Fri Oct 10 10:24:04 2025
=?UTF-8?Q?=f0=9f=98=82_=22Plog-like=22_-_that_should_be_the_officia?= =?UTF-8?Q?l_term!?=

By Mild Shock on Wed Oct 8 01:15:23 2025

Latest reply by Mild Shock on Wed Oct 8 01:22:13 2025
Vanishing Point . [Le Dot]

By Mild Shock on Sun Oct 5 00:52:22 2025

Latest reply by Mild Shock on Tue Oct 7 19:58:05 2025
User @false is exaggerating as usual

By Mild Shock on Tue Oct 7 19:07:14 2025

Latest reply by Mild Shock on Tue Oct 7 19:08:33 2025
Entry: Finlayson, Ross A., and Gemini. 2025. "The Certification of the Finlaysonian A-Theory and the Resolution of the Foundational Crisis: A Dialogue."

By Ross Finlayson on Sun Oct 5 21:57:43 2025

Latest reply by Mild Shock on Mon Oct 6 14:31:19 2025
Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation] (Re: The Prolog Community is extremly embarrassing (Re: Prolog totally missed the AI Boom)

By Mild Shock on Sat Oct 4 15:47:26 2025

Latest reply by Mild Shock on Sat Oct 4 16:03:10 2025
Re: Larger Collected Reasoning 2024

By Ross Finlayson on Fri Oct 3 18:49:55 2025

Latest reply by Ross Finlayson on Sat Oct 4 13:35:52 2025
The roots Program Sharing (PS): J Strother Moore II (1973)

By Mild Shock on Mon Aug 18 18:00:32 2025

Latest reply by olcott on Fri Oct 3 21:48:38 2025
Logos 2000: ensembles and epicycles

By Ross Finlayson on Fri Oct 3 13:07:36 2025

Latest reply by Ross Finlayson on Fri Oct 3 13:07:36 2025
What expressions of language are logically certain?

By olcott on Wed Oct 1 12:52:22 2025

Latest reply by olcott on Thu Oct 2 19:27:42 2025
Good conversation starter for your next dinner party

By Judith Latham on Wed Oct 1 23:10:21 2025

Latest reply by Judith Latham on Wed Oct 1 23:10:21 2025
Formalizing the notion of true on the basis of meaning

By olcott on Tue Sep 30 12:25:25 2025

Latest reply by olcott on Tue Sep 30 12:25:25 2025
Logos 2000: physics today

By Ross Finlayson on Sat Sep 27 22:46:56 2025

Latest reply by Ross Finlayson on Mon Sep 29 23:21:31 2025
Autum Challenge 2025: "Canonical" Proof Search

By Mild Shock on Sun Sep 28 23:54:00 2025

Latest reply by Mild Shock on Sun Sep 28 23:54:00 2025
Logos 2000: Foundations briefly

By Ross Finlayson on Thu Sep 25 22:06:28 2025

Latest reply by olcott on Sun Sep 28 11:43:54 2025
Help, my GPT detector doesn't allow https://stackoverflow.ai/

By Mild Shock on Wed Sep 10 23:58:55 2025

Latest reply by Mild Shock on Thu Sep 25 10:31:58 2025
Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)"

By Mild Shock on Mon Sep 22 15:21:35 2025

Latest reply by Mild Shock on Mon Sep 22 23:41:39 2025
My work has been most popular since I began posting in 2004

By olcott on Tue Sep 9 14:46:32 2025

Latest reply by olcott on Tue Sep 9 14:46:32 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- My first post on the halting problem

By olcott on Sun Aug 24 16:56:34 2025

Latest reply by Mild Shock on Tue Aug 26 11:33:36 2025
Entering the Age of Rational Trees (2025) (Re: The End of Deutsch-Schorr-Waite [cycle_detection.rs])

By Mild Shock on Sat Aug 16 13:03:36 2025

Latest reply by Mild Shock on Sat Aug 16 13:03:36 2025
=?UTF-8?Q?Szpilrajn_Theorem_and_Suzumura_Consistency_=28Re:_Mercio?= =?UTF-8?Q?=e2=80=99s_Algorithm_for_Rational_Tree_Compare_in_Prolog=29?=

By Mild Shock on Wed Aug 6 01:51:53 2025

Latest reply by Mild Shock on Sat Aug 16 12:43:43 2025
=?UTF-8?Q?FYI:_Philip_Zucker=e2=80=99s_Co-Egraphs_=28Re:_Prolog_Edu?= =?UTF-8?Q?cation_Group_clueless_about_the_AI_Boom=3f=29?=

By Mild Shock on Tue Aug 12 18:38:12 2025

Latest reply by Mild Shock on Thu Aug 14 15:13:23 2025
Some decision problems are only "undecidable" because they are framed incorrectly

By olcott on Wed Aug 13 20:40:49 2025

Latest reply by Richard Damon on Thu Aug 14 06:59:15 2025
Re: Claude AI sums up my work in one page --- True(L,x) predicate

By olcott on Mon Aug 11 12:07:03 2025

Latest reply by Mikko on Wed Aug 13 11:39:36 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- proof of behavior of DD

By olcott on Sat Aug 9 16:38:41 2025

Latest reply by olcott on Sat Aug 9 16:38:41 2025
Vibe Check Successfully Passed

By Mild Shock on Fri Aug 8 20:49:51 2025

Latest reply by Mild Shock on Sat Aug 9 00:07:05 2025
Unisonify all of Science (Re: Vibe Check Successfully Passed)

By Mild Shock on Fri Aug 8 20:50:53 2025

Latest reply by Mild Shock on Fri Aug 8 21:00:12 2025
Re: Who is telling the truth here? HHH(DDD)==0 --- Mackenzie might understand

By Richard Damon on Mon Aug 4 21:25:40 2025

Latest reply by Richard Damon on Fri Aug 8 07:54:27 2025
Re: First step needed to make progress with Olcott

By Fred. Zwarts on Tue Aug 5 10:33:47 2025

Latest reply by Richard Damon on Thu Aug 7 07:28:17 2025
All-in-One DAM-GT: Wuhan, Hopcroft and Attention (Re: The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971))

By Mild Shock on Wed Aug 6 15:11:02 2025

Latest reply by Mild Shock on Wed Aug 6 15:11:02 2025
Re: Succinct rebuttal to the Linz halting problem proof.

By Mr Flibble on Mon Aug 4 23:04:07 2025

Latest reply by Richard Damon on Tue Aug 5 22:40:31 2025
Re: Detecting the recursive simulation behavior pattern: HHH(DD) --- Implementation Details

By olcott on Tue Aug 5 10:17:53 2025

Latest reply by olcott on Tue Aug 5 10:17:53 2025
Re: There are zero chances in Hell that I will quit this --- Survival of Life on Earth depends on this

By Richard Damon on Mon Aug 4 19:06:41 2025

Latest reply by olcott on Mon Aug 4 18:23:37 2025