1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
Re: Semantic properties of finite string inputs --- More precisely

By olcott on Fri Oct 31 21:58:18 2025

Latest reply by olcott on Fri Oct 31 21:58:18 2025
Semantic properties of finite string inputs

By olcott on Thu Oct 30 09:49:08 2025

Latest reply by olcott on Fri Oct 31 11:51:26 2025
A self-reflecting UTM

By olcott on Thu Oct 30 14:18:34 2025

Latest reply by olcott on Thu Oct 30 14:18:34 2025
Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022

By olcott on Mon Oct 20 22:00:16 2025

Latest reply by Chris M. Thomasson on Wed Oct 29 15:16:11 2025
A much shorter proof that the Halting Problem is a category error.

By olcott on Sun Oct 26 09:46:33 2025

Latest reply by Richard Damon on Mon Oct 27 22:03:01 2025
Kaz is now dishonored in his deceit

By olcott on Sun Oct 26 20:58:00 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 11:55:12 2025
dbush is now dishonored in his deceit

By olcott on Sun Oct 26 20:56:17 2025

Latest reply by dbush on Sun Oct 26 22:47:02 2025
What expressions of language are logically certain?

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

Latest reply by Tristan Wibberley on Sun Oct 26 17:35:46 2025
Halting Problem Simulation in C --- first draft of final paper

By olcott on Sun Oct 26 10:56:54 2025

Latest reply by olcott on Sun Oct 26 10:56:54 2025
Claude AI understands this rebuttal of Ben --- Category Error

By olcott on Sun Oct 26 09:56:25 2025

Latest reply by olcott on Sun Oct 26 09:56:25 2025
HHH(DD) figured out by ChatGPT, Claude AI, Grok and Gemini

By olcott on Tue Oct 21 21:23:24 2025

Latest reply by Richard Damon on Sat Oct 25 09:43:05 2025
Olcott's specification has zero ambiguity

By olcott on Thu Oct 23 20:46:59 2025

Latest reply by olcott on Thu Oct 23 22:44:01 2025
Re: This only has one correct meaning and proves that HHH(DD)==0

By olcott on Thu Oct 23 13:17:45 2025

Latest reply by dbush on Thu Oct 23 18:47:01 2025
Re: XXXXX is proven wrong about H(D)==0 --- The Halting Problem is aCategory Error

By olcott on Thu Oct 23 09:43:17 2025

Latest reply by dbush on Thu Oct 23 11:12:21 2025
Proof that the input to HHH(DD) specifies non-halting behavior

By olcott on Tue Oct 21 20:51:22 2025

Latest reply by olcott on Tue Oct 21 20:51:22 2025
HHH(DD) correctly rejects its input because of (a)

By olcott on Mon Oct 20 17:54:07 2025

Latest reply by olcott on Mon Oct 20 17:54:07 2025
The Halting Problem is a Category Error

By olcott on Sun Oct 19 16:20:59 2025

Latest reply by olcott on Mon Oct 20 12:22:37 2025
Re: RDFs revenge on the AI Boom [GraphMERT] --- Bridge to LLMreliability

By olcott on Sun Oct 19 21:48:24 2025

Latest reply by olcott on Sun Oct 19 21:48:24 2025
Re: RDFs revenge on the AI Boom [GraphMERT] --- This is the same ideaas my basic facts

By olcott on Sun Oct 19 20:47:12 2025

Latest reply by olcott on Sun Oct 19 20:47:12 2025
The Halting Problem is Incoherent

By olcott on Wed Oct 15 11:18:28 2025

Latest reply by Chris M. Thomasson on Sun Oct 19 12:55:50 2025
The halting problem is either incoherent or the proof wrong

By olcott on Sat Oct 18 10:50:24 2025

Latest reply by olcott on Sat Oct 18 19:06:50 2025
Ben Bacarisse is named because he was the best reviewer on this point

By olcott on Fri Oct 17 13:00:40 2025

Latest reply by olcott on Fri Oct 17 13:00:40 2025
Re: Socratic questioning is required to unmask deceivers --- SemanticProperties of Finite String Inputs

By olcott on Wed Oct 15 18:46:32 2025

Latest reply by olcott on Wed Oct 15 18:46:32 2025
I corrected the very subtle error in the halting problem

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

Latest reply by olcott on Wed Oct 15 15:55:04 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 ofHHH

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 notcontradicted 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
Re: Updated input to LLM systems proving HHH(DD)==0 withinassumptions

By olcott on Sun Oct 12 20:36:11 2025

Latest reply by olcott on Sun Oct 12 20:49:43 2025
That HHH(DD) rejects its input as non-halting semantically logicallyentailed

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

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

By Alan Mackenzie on Fri Oct 10 18:49:56 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 Sipseragreed to

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

Latest reply by olcott on Fri Oct 10 12:39:51 2025
Halting problem proof converted to Liar Paradox --- 2004 postconverted to C

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

Latest reply by olcott on Fri Oct 10 10:44:24 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 Certificationof the Finlaysonian A-Theory and the Resolution of the Foundational Crisis: ADialogue."

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 provenunsatisfiable

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 Scout on Fri Oct 3 14:57:27 2025
Trustworthy LLM systems --- require citing external sources --- nomore 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 --- ALLDETAILS 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 bogusruse

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 problemproofs

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 09:31:35 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 howHHH(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 DDcorrectly 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 FINALLYadmits 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 FINALLYadmits 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 framedincorrectly

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 falseassumption 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 ownwithout prompting

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

Latest reply by olcott on Sun Aug 10 21:48:07 2025
Re: Who is telling the truth here? HHH(DDD)==0 --- Mackenzie mightunderstand

By olcott on Sat Aug 2 09:16:04 2025

Latest reply by Fred. Zwarts on Fri Aug 8 09:51:32 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
Re: There are zero chances in Hell that I will quit this --- Survivalof Life on Earth depends on this

By olcott on Sat Aug 2 10:03:10 2025

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

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

Latest reply by olcott on Mon Aug 4 13:43:33 2025
Re: There are zero chances in Hell that I will quit this --- Survival of Life on Earth depends on this

By wij on Sun Aug 3 23:57:44 2025

Latest reply by Alan Mackenzie on Mon Aug 4 14:38:51 2025
Re: Olcott finally proves his point

By olcott on Sun Aug 3 08:44:09 2025

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

By olcott on Sat Aug 2 10:10:23 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 Sat Aug 2 09:27:48 2025

Latest reply by Richard Damon on Sat Aug 2 14:46:49 2025