1. Forum
  2. USENET
  3. comp.theory
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 Richard Damon on Sat Aug 30 20:05:06 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-halting when DD() halts?

By Mr Flibble on Wed Aug 20 17:50:28 2025

Latest reply by joes on Sat Aug 30 20:55:30 2025
Re: Pink isn't a physical colour

By Chris M. Thomasson on Sun Aug 24 13:24:19 2025

Latest reply by Chris M. Thomasson on Sat Aug 30 17:27:44 2025
HHH(DD)==0 as a pure function of its inputs

By olcott on Wed Aug 27 12:38:28 2025

Latest reply by Richard Heathfield on Sat Aug 30 18:21:22 2025
Re: Measuring the actual behavior of the actual input to HHH(DD)

By Mikko on Thu Aug 28 10:31:58 2025

Latest reply by Richard Damon on Sat Aug 30 13:16:08 2025
Re: the naive halting problem is now corrected

By Richard Damon on Fri Aug 22 11:28:57 2025

Latest reply by olcott on Sat Aug 30 11:24:16 2025
Enter EE. What should HHH(DD) return now?

By Richard Heathfield on Tue Aug 26 21:10:30 2025

Latest reply by olcott on Sat Aug 30 11:25:07 2025
Infinitesimals don't exist

By Mr Flibble on Mon Aug 25 02:53:17 2025

Latest reply by Richard Damon on Sat Aug 30 08:35:31 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- self evident truth

By olcott on Wed Aug 20 09:34:36 2025

Latest reply by joes on Sat Aug 30 09:08:58 2025
The Peter Linz HP proof

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

Latest reply by Richard Damon on Fri Aug 29 22:03:11 2025
Re: Correct simulation of DDD by HHH is proven --- Zwarts stupidly ignores the definition of halting

By olcott on Wed Aug 20 09:31:44 2025

Latest reply by Richard Damon on Fri Aug 29 22:00:32 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-halting when DD() halts? ===

By olcott on Thu Aug 28 19:49:49 2025

Latest reply by dbush on Fri Aug 29 08:55:23 2025
Re: How is this answer not self-evident ? --- Recursive simulation

By joes on Sun Aug 24 05:53:23 2025

Latest reply by Fred. Zwarts on Thu Aug 28 10:51:59 2025
Re: Those who claim to win by the AI... --- failing to understand

By olcott on Mon Aug 25 00:07:00 2025

Latest reply by Fred. Zwarts on Thu Aug 28 08:51:17 2025
P!=NP proof for review

By wij on Wed Aug 27 11:51:36 2025

Latest reply by wij on Wed Aug 27 11:51:36 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 Mikko on Wed Aug 27 10:44:00 2025
Agreement that Olcott is correct

By olcott on Tue Aug 26 10:44:10 2025

Latest reply by dbush on Tue Aug 26 21:54:40 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 Richard Damon on Tue Aug 26 21:30:49 2025
Re: The heart of Olcott's misconception of the HP proofs?

By Richard Heathfield on Tue Aug 26 17:12:08 2025

Latest reply by Richard Heathfield on Tue Aug 26 17:12:08 2025
Negative zero doesn't exist

By Mr Flibble on Mon Aug 25 02:48:15 2025

Latest reply by Chris M. Thomasson on Tue Aug 26 14:24:56 2025
Signaling Simulating Halt Decider -- Copyright 2022 Mr Flibble

By Mr Flibble on Sun Aug 24 22:14:26 2025

Latest reply by Mikko on Tue Aug 26 12:34:35 2025
Re: Correct simulation of DDD by HHH is proven --- PROVEN FACTS

By olcott on Tue Aug 26 12:03:47 2025

Latest reply by olcott on Tue Aug 26 12:03:47 2025
Re: Olcott's obtuseness

By Mikko on Tue Aug 26 11:39:51 2025

Latest reply by Mikko on Tue Aug 26 11:41:57 2025
Those who claim to win by the AI...

By Richard Heathfield on Thu Aug 21 10:53:05 2025

Latest reply by Fred. Zwarts on Tue Aug 26 10:26:28 2025
Defeating the Tarski Undefinability Theorem

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

Latest reply by Richard Damon on Mon Aug 25 19:16:32 2025
clouding over somewhat later on

By Mr Flibble on Mon Aug 25 00:11:01 2025

Latest reply by Mr Flibble on Mon Aug 25 00:11:01 2025
Re: Olcott's Mmajor Malfunction

By Bonita Montero on Thu Aug 21 15:37:02 2025

Latest reply by Richard Heathfield on Fri Aug 22 15:22:12 2025
Re: Efficient way to communicate with olcott --- ChatGPT 5.0 standard template

By Richard Damon on Fri Aug 22 11:36:47 2025

Latest reply by Richard Damon on Fri Aug 22 11:36:47 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- Bacarisse

By olcott on Wed Aug 20 12:29:23 2025

Latest reply by Richard Heathfield on Thu Aug 21 05:34:13 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 Richard Damon on Wed Aug 20 22:04:40 2025