1. Forum
  2. Fidonet
  3. COMP.LANG.C++
The Halting Problem is Incoherent

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

Latest reply by olcott on Wed Oct 15 11:18:28 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 olcott on Wed Oct 15 10:10:47 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
memory_order_consume...

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

Latest reply by Chris M. Thomasson on Sat Oct 11 13:09:52 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
For what is this class good for ?

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

Latest reply by Bonita Montero on Thu Oct 9 05:47:11 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
fun with a mutex...

By Chris M. Thomasson on Wed Jul 30 15:54:21 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
The Untold Story of C++

By C++ on Tue Jul 29 08:29:30 2025

Latest reply by C++ on Tue Jul 29 08:29:30 2025
Wait-free Hazard Pointers Using Std Atomics

By jseigh on Tue May 27 07:58:58 2025

Latest reply by jseigh on Mon Jul 28 21:11:01 2025
if constexpr as it should be

By Bonita Montero on Thu Jul 17 22:41:40 2025

Latest reply by Bonita Montero on Fri Jul 18 16:38:33 2025
Re: Computable Functions --- finite string transformation rules --- db

By olcott on Fri Jul 18 06:32:06 2025

Latest reply by olcott on Fri Jul 18 06:32:06 2025
Random Class

By Jack on Fri Jul 11 03:19:03 2025

Latest reply by Bonita Montero on Tue Jul 15 01:38:27 2025
Atempt disable cookies in QWebEngineView failed for strange reason

By =?UTF-8?B?8J+HtfCfh7FKYWNlayBNYXJja on Mon Jul 14 01:33:20 2025

Latest reply by =?UTF-8?B?8J+HtfCfh7FKYWNlayBNYXJja on Mon Jul 14 04:56:35 2025
HHH(DDD)==0 is correct

By olcott on Thu Jul 3 12:50:40 2025

Latest reply by olcott on Fri Jul 4 01:17:53 2025
Why std::vector requires noexcept move constructor?

By Marcel Mueller on Sun Jun 15 18:25:31 2025

Latest reply by Bonita Montero on Wed Jul 2 03:13:09 2025
DDD correctly simulated by HHH can't possibly reach its own "return" s

By olcott on Sat Jun 28 05:36:33 2025

Latest reply by olcott on Mon Jun 30 01:48:47 2025
P1202 (asymmetric memory barriers) going into C++26

By jseigh on Fri Jun 20 06:16:58 2025

Latest reply by Chris M. Thomasson on Fri Jun 27 15:27:43 2025
How do simulating termination analyzers work? (in C and C++)

By olcott on Wed Jun 18 09:24:45 2025

Latest reply by olcott on Sat Jun 21 05:06:22 2025
Funny code

By Bonita Montero on Mon Jun 16 20:41:02 2025

Latest reply by Bonita Montero on Mon Jun 16 20:41:02 2025
Re: Updated draft list

By Stefan Ram on Sun Jun 15 22:32:20 2025

Latest reply by Stefan Ram on Sun Jun 15 22:52:16 2025
JIT Code Generation with AsmJit

By Richard on Sat Jun 14 01:32:17 2025

Latest reply by Richard on Sat Jun 14 01:32:17 2025
HHH(DD) does correctly reject its input as non-halting --- VERIFIED FA

By olcott on Fri Jun 13 01:30:05 2025

Latest reply by olcott on Fri Jun 13 01:30:05 2025
RVO vs. TCO

By Marcel Mueller on Tue Jun 10 01:16:12 2025

Latest reply by Marcel Mueller on Tue Jun 10 01:16:12 2025
JIT Code Generation with AsmJit and AsmTk (Wed, June 11th)

By Richard on Sat May 31 03:11:07 2025

Latest reply by Richard on Sat May 31 03:11:07 2025
Disagreeing with tautologies is always incorrect

By olcott on Fri May 30 01:37:42 2025

Latest reply by olcott on Fri May 30 01:37:42 2025
Re: =?utf-8?Q?=E2=80=9CThe?= Pulse #134: Stack overflow is almost =?ut

By Ar Rakin on Wed May 28 02:27:40 2025

Latest reply by Ar Rakin on Wed May 28 02:27:40 2025
Works !

By Bonita Montero on Mon May 26 20:05:41 2025

Latest reply by Bonita Montero on Mon May 26 21:56:45 2025
Re: =?UTF-8?B?4oCcVGhl?= Pulse #134: Stack overflow is almost

By Sam on Wed May 21 21:40:31 2025

Latest reply by Sam on Mon May 26 03:35:06 2025
Re: =?UTF-8?B?4oCcVGhl?= Pulse #134: Stack overflow is almost =?UTF-8?

By Lawrence D'Oliveiro on Sun May 25 11:45:12 2025

Latest reply by Lawrence D'Oliveiro on Sun May 25 11:45:12 2025
Solving thundering Herd with glibc...

By Chris M. Thomasson on Fri Apr 25 06:39:27 2025

Latest reply by candycanearter07 on Mon May 19 05:20:05 2025
Overcoming the proof of undecidability of the Halting Problem by a sim

By olcott on Fri May 16 06:47:16 2025

Latest reply by olcott on Fri May 16 06:47:16 2025
"Interview: Bjarne Stroustrup on 21st century C++, AI risks, and why t

By Lynn McGuire on Tue May 13 07:46:58 2025

Latest reply by Lynn McGuire on Tue May 13 07:46:58 2025
How the requirements that Professor Sipser agreed to are exactly met

By olcott on Tue May 13 04:17:37 2025

Latest reply by olcott on Tue May 13 04:17:37 2025
Re: Futex Stack Test...

By Wuns Haerst on Fri May 2 21:01:49 2025

Latest reply by Chris M. Thomasson on Sun May 11 06:48:59 2025
Re: signalling a condvar from inside vs. signalling a condvar von outs

By Chris M. Thomasson on Sun Apr 13 05:33:57 2025

Latest reply by Bonita Montero on Fri Apr 25 07:11:57 2025
neos Universal Compiler and Tree-sitter

By Mr Flibble on Thu Apr 10 05:56:10 2025

Latest reply by Mr Flibble on Thu Apr 10 09:43:35 2025
AI generated code

By Mr Flibble on Sun Apr 6 18:37:17 2025

Latest reply by Muttley@DastardlyHQ.org on Mon Apr 7 18:29:16 2025
neos Universal Compiler IR

By Mr Flibble on Sat Apr 5 11:42:28 2025

Latest reply by Mr Flibble on Sat Apr 5 11:42:28 2025
On trend

By Mr Flibble on Fri Apr 4 23:15:27 2025

Latest reply by Mr Flibble on Fri Apr 4 23:15:27 2025
thread::id with libstdc++

By Bonita Montero on Wed Apr 2 20:57:44 2025

Latest reply by Bonita Montero on Wed Apr 2 20:57:44 2025
Re: Pre-main construction order in modules

By Michael S on Tue Apr 1 21:12:47 2025

Latest reply by David Brown on Wed Apr 2 19:29:17 2025