1. Forum
  2. USENET
  3. comp.ai.philosophy
I corrected the very subtle error in the halting problem

By olcott on Thu Sep 25 08:56:26 2025

Latest reply by Tristan Wibberley on Wed Oct 15 10:21:59 2025
Re: Exactly how Ben Bacarisse is proven wrong about H(D)==0

By olcott on Tue Oct 14 14:50:24 2025

Latest reply by olcott on Tue Oct 14 14:50:24 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
HHH(DD)==0 and the directly executed DD() proven not in the domain of HHH

By olcott on Tue Oct 14 10:48:57 2025

Latest reply by olcott on Tue Oct 14 10:48:57 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 14:20:05 2025
Updated input to LLM systems proving HHH(DD)==0 within assumptions

By olcott on Sun Oct 12 08:50:05 2025

Latest reply by olcott on Mon Oct 13 11:26:49 2025
That HHH(DD) rejects its input as non-halting semantically logically entailed

By olcott on Sat Oct 11 15:33:14 2025

Latest reply by olcott on Sat Oct 11 15:33:14 2025
Halting problem proof converted to Liar Paradox --- 2004 post converted to C

By olcott on Thu Oct 9 10:33:40 2025

Latest reply by Alan Mackenzie on Fri Oct 10 18:49:56 2025
Claude AI found a key ambiguity in the words that professor Sipser agreed to

By olcott on Fri Oct 10 12:39:51 2025

Latest reply by olcott on Fri Oct 10 12:39:51 2025
Defeating the Tarski Undefinability Theorem

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

Latest reply by olcott on Mon Oct 6 08:23:10 2025
Fwd: 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 22:09:42 2025

Latest reply by Ross Finlayson on Sun Oct 5 22:09:42 2025
Socratic questioning is required to unmask deceivers

By olcott on Sun Oct 5 22:02:01 2025

Latest reply by olcott on Sun Oct 5 22:02:01 2025
Conventional notion of the HP diagonal case is succinctly proven unsatisfiable

By olcott on Thu Oct 2 15:59:56 2025

Latest reply by Richard Damon on Sun Oct 5 16:46:37 2025
Re: Nicolai Tesla immigrant

By J D on Thu Oct 2 19:18:25 2025

Latest reply by Klaus Schadenfreude on Sat Oct 4 10:32:06 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
Trustworthy LLM systems --- require citing external sources --- no more hallucination

By olcott on Wed Oct 1 08:40:46 2025

Latest reply by olcott on Wed Oct 1 08:40:46 2025
I corrected the very subtle error in the halting problem --- ALL DETAILS PROVIDED

By olcott on Wed Oct 1 08:10:36 2025

Latest reply by olcott on Wed Oct 1 08:10:36 2025
Social Engineering is how AI will take over key aspects of the world

By olcott on Tue Sep 30 21:43:37 2025

Latest reply by olcott on Tue Sep 30 21:43:37 2025
Expanding on Rice's Theorem

By olcott on Mon Sep 29 21:35:03 2025

Latest reply by olcott on Mon Sep 29 21:35:03 2025
One key aspect of the halting problem itself has always been a bogus ruse

By olcott on Wed Sep 24 09:59:06 2025

Latest reply by olcott on Wed Sep 24 09:59:06 2025
Re: Turing computable functions

By olcott on Mon Sep 22 13:31:24 2025

Latest reply by olcott on Mon Sep 22 13:31:24 2025
The conventional diagonal argument proves my point

By olcott on Tue Sep 16 17:35:43 2025

Latest reply by Bonita Montero on Wed Sep 17 06:24:46 2025
Is AI fake

By Richmond on Thu Sep 4 11:59:27 2025

Latest reply by Jason H on Mon Sep 15 21:35:33 2025
HHH1(DDD) only sees AFTER abort HHH(DDD) only sees BEFORE abort

By olcott on Sun Sep 14 08:22:50 2025

Latest reply by olcott on Sun Sep 14 08:22:50 2025
Ben's objection finally addressed using conventional terms-of-the-art

By olcott on Fri Sep 5 11:55:31 2025

Latest reply by olcott on Fri Sep 5 11:55:31 2025
Explicitly showing the divergence of behavior between HHH(DDD) and HHH1(DDD)

By olcott on Fri Sep 5 10:29:57 2025

Latest reply by olcott on Fri Sep 5 10:29:57 2025
Re: AI is unmasking ICE officers. Can Washington do anything about it?

By noreply on Wed Sep 3 20:18:54 2025

Latest reply by noreply on Wed Sep 3 20:18:54 2025
Five LLM systems use my framework to refute the halting problem proofs

By olcott on Wed Sep 3 08:07:39 2025

Latest reply by olcott on Wed Sep 3 08:07:39 2025
a.i. "simply better than humans"

By J on Tue Sep 2 20:52:54 2025

Latest reply by J on Tue Sep 2 20:52:54 2025
a.i. unsupervised, autonomous "reasoning"

By J on Tue Sep 2 20:02:00 2025

Latest reply by J on Tue Sep 2 20:02:00 2025
"a.i." replacing humans

By J on Tue Sep 2 19:54:09 2025

Latest reply by J on Tue Sep 2 19:54:09 2025
Five different LLM systems agree with my rebuttal of the HP proofs.

By olcott on Tue Sep 2 13:18:51 2025

Latest reply by olcott on Tue Sep 2 13:18:51 2025
"a.i." philosophy

By J on Mon Sep 1 18:57:06 2025

Latest reply by J on Mon Sep 1 18:57:06 2025
REPORT: Chinese AI Built on Stolen Technology Poses Major Threat to U.S. National Security

By anon on Sun Aug 31 04:20:14 2025

Latest reply by Nomen Nescio on Mon Sep 1 10:42:17 2025
Re: Measuring the actual behavior of the actual input to HHH(DD)

By olcott on Sat Aug 30 10:08:14 2025

Latest reply by olcott on Sat Aug 30 10:08:14 2025
Complete proof that the input to HHH(DD)==0 --- The HP proof is wrong

By olcott on Wed Aug 27 21:24:06 2025

Latest reply by olcott on Wed Aug 27 21:24:06 2025
All rebuttals to this have been proven to be counter-factual

By olcott on Mon Aug 25 12:07:42 2025

Latest reply by olcott on Mon Aug 25 12:07:42 2025
DD correctly simulated by HHH proves that it never stops running

By olcott on Mon Aug 25 10:13:33 2025

Latest reply by olcott on Mon Aug 25 10:13:33 2025
The Peter Linz HP proof

By olcott on Wed Aug 20 22:10:52 2025

Latest reply by Richard Damon on Fri Aug 22 11:14:17 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- proof of behavior of DD

By olcott on Sat Aug 9 16:22:21 2025

Latest reply by olcott on Thu Aug 21 11:02:57 2025
Re: Correct simulation of DDD by HHH is proven --- Details of how HHH(DD) simulates its input

By olcott on Wed Aug 20 20:45:38 2025

Latest reply by olcott on Wed Aug 20 20:45:38 2025
ChatGPT 5.0 wrote this Rubric so that every LLM system evaluates DD correctly simulated by HHH --- CORRECTLY

By olcott on Wed Aug 20 10:52:04 2025

Latest reply by olcott on Wed Aug 20 10:52:04 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLY admits the truth (Yeah)

By olcott on Mon Aug 18 21:54:45 2025

Latest reply by olcott on Mon Aug 18 21:54:45 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLY admits the truth

By olcott on Mon Aug 18 21:00:17 2025

Latest reply by olcott on Mon Aug 18 21:00:17 2025
the naive halting problem is now corrected

By olcott on Sat Aug 16 09:20:10 2025

Latest reply by olcott on Sun Aug 17 10:12:20 2025
Why three different LLM systems are correct when that say HHH(DD)==0 is correct

By olcott on Fri Aug 15 07:48:28 2025

Latest reply by olcott on Fri Aug 15 07:48:28 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: Google [x86utm operating system] --- Foundational false assumption of HP

By olcott on Mon Aug 11 20:36:33 2025

Latest reply by olcott on Mon Aug 11 20:36:33 2025
Three different LLM systems figured out my reasoning on their own without prompting

By olcott on Sun Aug 10 21:48:07 2025

Latest reply by olcott on Sun Aug 10 21:48:07 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
What value should HHH(DD) correctly return?

By olcott on Wed Aug 6 13:34:33 2025

Latest reply by olcott on Thu Aug 7 14:12:35 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
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
Re: Title: A Structural Analysis of the Standard Halting Problem Proof --- ChatGPT

By Fred. Zwarts on Mon Jul 28 10:43:38 2025

Latest reply by Richard Damon on Wed Jul 30 07:22:55 2025
Re: I finally proved that Ben is wrong about my HHH(DDD) rejecting its input --- Bacarisse

By olcott on Tue Jul 29 22:02:45 2025

Latest reply by Richard Damon on Wed Jul 30 07:31:01 2025
Re: I have just proven the error of all of the halting problem proofs --- Mackenzie

By Richard Damon on Sun Jul 27 15:58:12 2025

Latest reply by Richard Damon on Tue Jul 29 21:51:45 2025
Re: An unbiased analysis by ChatGPT of HHH(DDD) --- for Mackenzie & Bacarisse

By Richard Damon on Sun Jul 27 16:03:35 2025

Latest reply by Richard Damon on Sun Jul 27 17:25:02 2025