1. Forum
  2. Fidonet
  3. COMP.LANG.C++
P!=NP proof, revised

By wij on Wed Nov 19 15:23:14 2025

Latest reply by wij on Fri Nov 28 11:50:32 2025
HHH(DD) is very obviously correct to reject its input

By olcott on Mon Oct 27 10:22:08 2025

Latest reply by Richard Damon on Fri Nov 28 11:09:08 2025
DD simulated by HHH and DD simulated by HHH1

By olcott on Sun Nov 23 21:15:15 2025

Latest reply by Kaz Kylheku on Tue Nov 25 20:27:15 2025
Re: D simulated by H cannot possibly reach its own simulated final halt

By olcott on Tue Nov 11 20:41:28 2025

Latest reply by Kaz Kylheku on Tue Nov 25 17:33:58 2025
A nice "strlen()" for UTF-8 ...

By Bonita Montero on Wed Nov 19 14:00:22 2025

Latest reply by David Brown on Mon Nov 24 21:14:30 2025
Dangerous Precipice that could end all life --- DD simulated by HHH

By olcott on Sat Nov 22 13:29:50 2025

Latest reply by Kaz Kylheku on Mon Nov 24 02:44:28 2025
Glossary of names of my simulating termination analyzer HHH(DD)

By olcott on Sun Nov 23 16:29:50 2025

Latest reply by olcott on Sun Nov 23 16:29:50 2025
Glossary of names in my termination analyzer system

By olcott on Sat Nov 22 22:50:54 2025

Latest reply by olcott on Sat Nov 22 22:50:54 2025
polcott agrees the Kaz is a damned liar --- DD simulated by HHH

By olcott on Thu Nov 20 17:24:53 2025

Latest reply by olcott on Sat Nov 22 12:06:02 2025
polcott agrees the halting problem is incorrect --- is libel against hi

By olcott on Thu Nov 20 20:00:03 2025

Latest reply by olcott on Thu Nov 20 20:00:03 2025
Re: the halting problem is founded in computer science

By olcott on Wed Nov 19 17:53:26 2025

Latest reply by Kaz Kylheku on Thu Nov 20 00:01:06 2025
The fastest strlen() ever

By Bonita Montero on Wed Nov 19 15:02:01 2025

Latest reply by Bonita Montero on Wed Nov 19 15:02:01 2025
DDD simulated by HHH cannot possibly reach its own simulated final halt

By olcott on Tue Nov 18 22:45:43 2025

Latest reply by Kaz Kylheku on Wed Nov 19 05:23:23 2025
Liars try to get away with DD simulated by HHH halts

By olcott on Tue Nov 18 18:24:06 2025

Latest reply by Kaz Kylheku on Wed Nov 19 01:06:16 2025
Weasel word double talk excuses =--- AKA Liars

By olcott on Tue Nov 18 15:57:35 2025

Latest reply by olcott on Tue Nov 18 15:57:35 2025
Will keep posting this every day until someone answers truthfully

By olcott on Thu Nov 13 18:36:15 2025

Latest reply by olcott on Fri Nov 14 12:19:33 2025
Mike Terry just answer this one question I will keep bugging YOU until

By olcott on Thu Nov 13 22:21:54 2025

Latest reply by olcott on Thu Nov 13 22:49:20 2025
How to handle pathological cases (was Re: ...)

By Janis Papanagnou on Thu Nov 13 11:18:13 2025

Latest reply by olcott on Thu Nov 13 09:28:56 2025
D simulated by H cannot possibly reach its own simulated final halt sta

By olcott on Thu Nov 6 14:48:02 2025

Latest reply by olcott on Wed Nov 12 20:34:32 2025
5 statements of D simulated by H

By olcott on Wed Nov 12 14:49:29 2025

Latest reply by dbush on Wed Nov 12 20:06:55 2025
Re: Rejecting expressions of formal language having pathological self-r

By olcott on Wed Nov 12 13:11:50 2025

Latest reply by olcott on Wed Nov 12 13:11:50 2025
How pathological self-reference is confused with undecidability

By olcott on Tue Nov 11 19:38:09 2025

Latest reply by olcott on Wed Nov 12 06:50:13 2025
Re: D simulated by H where H is a C interpreter --- What is up with Mik

By olcott on Sun Nov 9 15:59:51 2025

Latest reply by Chris M. Thomasson on Tue Nov 11 00:47:44 2025
Geodetic Development Kit GeoDLL

By Fred Killet on Sun Nov 9 13:16:40 2025

Latest reply by Fred Killet on Sun Nov 9 13:16:40 2025
Three Year Update of proof of D simulated by H

By olcott on Sun Nov 9 09:20:55 2025

Latest reply by olcott on Sun Nov 9 09:20:55 2025
D simulated by H where H is a C interpreter --- Maybe Mike has become a

By olcott on Sat Nov 8 20:08:11 2025

Latest reply by olcott on Sat Nov 8 20:08:11 2025
D simulated by H where H is a C interpreter

By olcott on Sat Nov 8 16:35:07 2025

Latest reply by olcott on Sat Nov 8 16:35:07 2025
Proof that D simulated by H never reaches its own simulated "return" st

By olcott on Fri Nov 7 08:04:22 2025

Latest reply by olcott on Fri Nov 7 08:04:22 2025
Re: Kaz does not understand his own code. --- I AM PROVED EXACTLY CORRE

By olcott on Wed Nov 5 12:17:06 2025

Latest reply by olcott on Wed Nov 5 12:17:06 2025
Re: Kaz does not understand his own code --- I AM PROVED EXACTLY CORREC

By olcott on Tue Nov 4 21:51:10 2025

Latest reply by olcott on Tue Nov 4 21:51:10 2025
Kaz does not understand his own code.

By olcott on Tue Nov 4 20:14:45 2025

Latest reply by olcott on Tue Nov 4 20:14:45 2025
Re: Does D simulated by H reach its own "return" statement?

By olcott on Tue Nov 4 07:56:17 2025

Latest reply by olcott on Tue Nov 4 07:56:17 2025
Re: Semantic properties of finite string inputs --- Closure ???

By olcott on Mon Nov 3 18:43:27 2025

Latest reply by olcott on Mon Nov 3 18:43:27 2025
Why do programmers confuse Halloween with Christmas?

By Lynn McGuire on Fri Oct 31 22:58:17 2025

Latest reply by Scott Lurndal on Mon Nov 3 17:16:20 2025
Olcott's revised position statement

By olcott on Mon Nov 3 15:48:12 2025

Latest reply by olcott on Mon Nov 3 15:48:12 2025
Addressing duffer-speak

By olcott on Mon Nov 3 07:47:39 2025

Latest reply by olcott on Mon Nov 3 12:30:31 2025
Re: "duffer speak" ??? Mike can't be dishonest so what is left ?

By olcott on Sun Nov 2 18:25:31 2025

Latest reply by olcott on Sun Nov 2 18:25:31 2025
I am only referring the this C code right D simulated by H

By olcott on Sat Nov 1 13:51:54 2025

Latest reply by olcott on Sat Nov 1 13:51:54 2025
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
No human has been able to understand this simple C in three years

By olcott on Sat Oct 25 12:53:27 2025

Latest reply by olcott on Mon Oct 27 17:38:40 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
New and improved version of cdecl

By Keith Thompson on Wed Oct 22 14:39:43 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 11:51:25 2025
Kaz proves his deceit by dodging this simple point --- Is Kaz just a Li

By olcott on Sun Oct 26 23:10:51 2025

Latest reply by olcott on Sun Oct 26 23:10:51 2025
dbush is now dishonored in his deceit

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

Latest reply by olcott on Sun Oct 26 21:52:22 2025
Can someone from comp.lang.c or comp.lang.c++ help out here?

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

Latest reply by olcott on Sun Oct 26 22:02:01 2025
For what is this class good for ?

By Bonita Montero on Wed Oct 8 18:48:34 2025

Latest reply by Bonita Montero on Sun Oct 26 15:16:07 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
A once_flag which is failable

By Bonita Montero on Sat Oct 25 11:52:56 2025

Latest reply by Bonita Montero on Sat Oct 25 11:52:56 2025
I was pondering on a per-path counter...

By Chris M. Thomasson on Thu Oct 23 14:02:13 2025

Latest reply by Chris M. Thomasson on Thu Oct 23 14:02:13 2025
Exception filter

By Bonita Montero on Wed Oct 22 05:06:20 2025

Latest reply by Bonita Montero on Wed Oct 22 05:06:20 2025
Am I cool or not ?

By Bonita Montero on Mon Oct 20 15:45:35 2025

Latest reply by Bonita Montero on Mon Oct 20 15:45:35 2025
memory_order_consume...

By Chris M. Thomasson on Fri Oct 10 00:08:07 2025

Latest reply by Chris M. Thomasson on Sun Oct 19 14:32:04 2025
My two specifications are equivalent HHH(DD)==0 is correct

By olcott on Sat Oct 18 06:20:25 2025

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

By olcott on Fri Oct 17 13:32:50 2025

Latest reply by olcott on Fri Oct 17 13:32:50 2025
The Halting Problem is Incoherent

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

Latest reply by olcott on Wed Oct 15 14:11:25 2025
Re: The halting problem is self-contradictory -- application to c/c++

By olcott on Wed Oct 15 10:10:47 2025

Latest reply by Chris M. Thomasson on Wed Oct 15 13:35:42 2025
Exactly how Ben Bacarisse is proven wrong about H(D)==0

By olcott on Tue Oct 14 10:28:21 2025

Latest reply by olcott on Tue Oct 14 14:50:24 2025
HHH(DD)==0 and the directly executed DD() proven not in the domain of H

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

Latest reply by olcott on Tue Oct 14 10:48:57 2025
The error of the halting problem that Ben Bacarisse did not understand

By olcott on Mon Oct 13 20:24:00 2025

Latest reply by olcott on Mon Oct 13 20:24:00 2025
Re: ChatGPT seems to understand that HHH(DD) is correct and not contrad

By olcott on Mon Oct 13 14:20:05 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: The halting problem proof question is incorrect --- Outside the dom

By olcott on Mon Oct 13 08:29:02 2025

Latest reply by olcott on Mon Oct 13 08:29:02 2025
That HHH(DD) rejects its input as non-halting semantically logically en

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

Latest reply by olcott on Sat Oct 11 15:33:14 2025
Claude AI found a key ambiguity in the words that professor Sipser agre

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

Latest reply by olcott on Fri Oct 10 12:39:51 2025
Re: New clock !

By Bonita Montero on Sun Sep 7 19:28:58 2025

Latest reply by Bonita Montero on Fri Oct 10 03:26:14 2025
Halting problem proof converted to Liar Paradox --- 2004 post converted

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

Latest reply by olcott on Thu Oct 9 10:33:40 2025
Re: Is there a current best library for large integers?

By Ralf Goertz on Mon Oct 6 17:34:56 2025

Latest reply by Scott Lurndal on Wed Oct 8 14:02:00 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
Re: Macro issue...

By Paavo Helde on Wed Sep 17 14:43:06 2025

Latest reply by Paavo Helde on Sun Sep 21 10:42:20 2025
Nice idea

By Bonita Montero on Sat Sep 13 08:54:46 2025

Latest reply by Bonita Montero on Sat Sep 13 08:54:46 2025
"Brian Kernigan speaks. 83 and still teaching."

By Lynn McGuire on Tue Sep 2 14:39:00 2025

Latest reply by candycanearter07 on Wed Sep 10 18:20:03 2025
Concurrent API's and Semantics

By jseigh on Tue Aug 19 03:24:25 2025

Latest reply by Chris M. Thomasson on Wed Sep 10 14:20:26 2025
Re: =?UTF-8?B?4oCcQnJpYW4=?= Kernigan speaks. 83 and still =?UTF-8?B?dG

By Lawrence =?iso-8859-13?q?D=FFOlivei on Mon Sep 8 08:40:04 2025

Latest reply by Louis Krupp on Wed Sep 10 01:21:40 2025
Ben's objection finally addressed using conventional terms-of-the-art

By olcott on Sat Sep 6 02:55:31 2025

Latest reply by olcott on Sat Sep 6 02:55:31 2025
Explicitly showing the divergence of behavior between HHH(DDD) and HHH

By olcott on Sat Sep 6 01:29:57 2025

Latest reply by olcott on Sat Sep 6 01:29:57 2025
Five LLM systems use my framework to refute the halting problem proofs

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

Latest reply by olcott on Wed Sep 3 23:07:39 2025
Five different LLM systems agree with my rebuttal of the HP proofs.

By olcott on Wed Sep 3 04:18:51 2025

Latest reply by olcott on Wed Sep 3 04:18:51 2025
Re: Measuring the actual behavior of the actual input to HHH(DD)

By olcott on Sun Aug 31 01:08:14 2025

Latest reply by olcott on Sun Aug 31 01:08:14 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-halting w

By olcott on Fri Aug 29 10:49:49 2025

Latest reply by olcott on Fri Aug 29 10:49:49 2025
Complete proof that the input to HHH(DD)==0 --- The HP proof is wrong

By olcott on Thu Aug 28 12:24:06 2025

Latest reply by olcott on Thu Aug 28 12:24:06 2025
Inlining of auto generated move constructor/assignment failed

By Marcel Mueller on Wed Aug 20 06:33:33 2025

Latest reply by Chris M. Thomasson on Thu Aug 28 09:34:26 2025
P!=NP proof (using C/C++) for review

By wij on Wed Aug 27 13:21:59 2025

Latest reply by wij on Wed Aug 27 13:21:59 2025
How do you prove Halting Problem in C/C++?

By wij on Tue Aug 26 00:27:35 2025

Latest reply by Bonita Montero on Tue Aug 26 02:54:37 2025
DD correctly simulated by HHH proves that it never stops running

By olcott on Tue Aug 26 01:13:33 2025

Latest reply by olcott on Tue Aug 26 01:13:33 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- My first p

By olcott on Mon Aug 25 07:56:34 2025

Latest reply by olcott on Mon Aug 25 08:19:44 2025
memory_order_acq_rel

By Chris M. Thomasson on Thu Aug 21 05:25:08 2025

Latest reply by Chris M. Thomasson on Mon Aug 25 06:04:30 2025
Re: Correct simulation of DDD by HHH is proven --- Details of how HHH(

By olcott on Thu Aug 21 11:45:38 2025

Latest reply by olcott on Thu Aug 21 11:45:38 2025
Re: fun with a mutex...

By Muttley@DastardlyHQ.org on Tue Aug 5 17:27:17 2025

Latest reply by Chris M. Thomasson on Wed Aug 20 06:25:20 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLY

By olcott on Tue Aug 19 12:00:17 2025

Latest reply by olcott on Tue Aug 19 12:54:45 2025
A fun mutex, part II...

By Chris M. Thomasson on Mon Aug 18 09:51:27 2025

Latest reply by Chris M. Thomasson on Tue Aug 19 05:37:16 2025
the naive halting problem is now corrected

By olcott on Sun Aug 17 00:20:10 2025

Latest reply by olcott on Mon Aug 18 01:12:20 2025
Why three different LLM systems are correct when that say HHH(DD)==0 i

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

Latest reply by olcott on Fri Aug 15 22:48:28 2025
Re: Google [x86utm operating system] --- Foundational false assumption

By olcott on Tue Aug 12 11:36:33 2025

Latest reply by olcott on Tue Aug 12 11:36:33 2025
Claude AI sums up my work in one page

By olcott on Sun Aug 10 16:06:23 2025

Latest reply by olcott on Mon Aug 11 12:01:04 2025
What value should HHH(DD) correctly return?

By olcott on Thu Aug 7 04:34:33 2025

Latest reply by Bonita Montero on Fri Aug 8 00:58:21 2025
Detecting the recursive simulation behavior pattern: HHH(DD)

By olcott on Tue Aug 5 07:55:28 2025

Latest reply by olcott on Tue Aug 5 07:55:28 2025