1. Forum
  2. USENET
  3. sci.logic
Defeating the Tarski Undefinability Theorem

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

Latest reply by olcott on Sat Aug 30 10:31:20 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
The roots Program Sharing (PS): J Strother Moore II (1973)

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

Latest reply by Mild Shock on Mon Aug 18 18:02:48 2025
Novacore goes Bisimulation: Scryer Prolog is Slow!

By Mild Shock on Fri Jul 25 14:26:56 2025

Latest reply by Mild Shock on Sat Aug 16 13:03:36 2025
=?UTF-8?Q?Mercio=e2=80=99s_Algorithm_for_Rational_Tree_Compare_in_P?= =?UTF-8?Q?rolog?=

By Mild Shock on Mon Aug 4 02:54:14 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
Who is telling the truth here? HHH(DDD)==0 --- Mackenzie as a Troll

By olcott on Tue Jul 29 21:49:17 2025

Latest reply by Richard Damon on Fri Aug 8 07:54:27 2025
Re: Who is telling the truth here? HHH(DDD)==0 --- Mackenzie might understand +++

By olcott on Wed Aug 6 22:15:57 2025

Latest reply by Fred. Zwarts on Fri Aug 8 09:47:50 2025
Re: First step needed to make progress with Olcott

By olcott on Mon Aug 4 12:41:01 2025

Latest reply by Richard Damon on Thu Aug 7 07:28:17 2025
=?UTF-8?Q?Cyclic_term_predicates_suffer_from_ambiguity_=28Re:_Fathe?= =?UTF-8?Q?rs_of_Bisimulation:_Robin_Milner_=281934=e2=80=932010=29=29?=

By Mild Shock on Fri Aug 1 02:58:42 2025

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

By olcott on Mon Aug 4 13:29:04 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
There are zero chances in Hell that I will quit this --- Survival of Life on Earth depends on this

By olcott on Fri Aug 1 21:09:14 2025

Latest reply by olcott on Mon Aug 4 18:23:37 2025
ChatGPT's verbose understanding of my refutation of the Linz halting problem proof

By olcott on Mon Aug 4 12:33:25 2025

Latest reply by olcott on Mon Aug 4 13:43:33 2025
Re: Olcott finally proves his point

By olcott on Mon Jul 28 18:49:03 2025

Latest reply by Richard Damon on Sun Aug 3 15:22:36 2025
Proof that DDD is correctly emulated by an emulated HHH

By olcott on Wed Jul 30 10:32:39 2025

Latest reply by Richard Damon on Sat Aug 2 14:47:19 2025
Re: I have just proven the error of all of the halting problem proofs --- breakthrough ?

By olcott on Tue Jul 29 22:12:42 2025

Latest reply by Richard Damon on Sat Aug 2 14:46:49 2025
Re: Halting and the Impossible Program: A Semantic Reinterpretation

By olcott on Fri Aug 1 09:31:33 2025

Latest reply by Richard Damon on Fri Aug 1 10:55:03 2025
I finally proved that Ben is wrong about my HHH(DDD) rejecting its input --- Bacarisse

By olcott on Mon Jul 28 11:13:54 2025

Latest reply by Richard Damon on Wed Jul 30 19:52:49 2025
Conquer the Binary Tree

By WM on Wed Jul 30 19:34:54 2025

Latest reply by WM on Wed Jul 30 19:34:54 2025
Re: Title: A Structural Analysis of the Standard Halting Problem Proof --- ChatGPT

By olcott on Sat Jul 26 13:46:35 2025

Latest reply by Richard Damon on Wed Jul 30 07:22:55 2025
I have just proven the error of all of the halting problem proofs

By olcott on Sat Jul 26 12:59:35 2025

Latest reply by Richard Damon on Tue Jul 29 21:51:45 2025
PROOF! Re: Hitler did NOT die in the bunker!!!!

By JTEM on Wed Jul 23 20:28:56 2025

Latest reply by Andrew on Mon Jul 28 20:16:07 2025
An unbiased analysis by ChatGPT of HHH(DDD) --- for Mackenzie & Bacarisse

By olcott on Sun Jul 27 10:09:05 2025

Latest reply by Richard Damon on Sun Jul 27 17:25:02 2025
Re: Title: A Structural Analysis of the Standard Halting Problem Proof -- FL

By olcott on Sat Jul 26 09:02:15 2025

Latest reply by olcott on Sun Jul 27 09:47:13 2025
The Prolog Community is extremly embarrassing (Re: Prolog totally missed the AI Boom)

By Mild Shock on Fri Jul 25 21:28:12 2025

Latest reply by Mild Shock on Sat Jul 26 16:37:10 2025
Ben agreed that the Sipser approved criteria has been met --- Ben's objection finally addressed

By olcott on Fri Jul 25 20:25:27 2025

Latest reply by Richard Damon on Sat Jul 26 07:28:44 2025
Re: Title: A Structural Analysis of the Standard Halting Problem Proof

By Fred. Zwarts on Wed Jul 23 10:40:04 2025

Latest reply by Richard Damon on Sat Jul 26 07:14:26 2025
Re: Olcott is provable correct (Mike fails to pay attention)

By olcott on Fri Jul 25 18:30:38 2025

Latest reply by olcott on Fri Jul 25 18:30:38 2025
Re: Please Remove sci.logic from the cross post

By JTEM on Thu Jul 24 15:27:14 2025

Latest reply by JTEM on Thu Jul 24 15:27:14 2025
Re: The error of the standard proof of the halting problem

By olcott on Wed Jul 23 07:57:48 2025

Latest reply by Fred. Zwarts on Thu Jul 24 12:17:33 2025
Re: The halting problem as defined is a category error

By Fred. Zwarts on Wed Jul 23 10:55:31 2025

Latest reply by olcott on Thu Jul 24 09:11:44 2025
Looks like sorting of rational trees needs an existential type (Re: Prolog totally missed the AI Boom)

By Mild Shock on Wed Jul 23 13:58:10 2025

Latest reply by Mild Shock on Wed Jul 23 19:13:10 2025
Some of the legacy of Alain Colmerauer (Was: FYI: Peter Aczel Memorial Conference [10th September 2025])

By Mild Shock on Wed Jul 23 19:09:10 2025

Latest reply by Mild Shock on Wed Jul 23 19:09:10 2025
Re: Respect [was: The halting problem as defined is a category error]

By Richard Damon on Wed Jul 23 07:34:56 2025

Latest reply by Richard Damon on Wed Jul 23 07:34:56 2025