1. Forum
  2. Newsgroups
  3. comp.lang.c
C description as a Turing Machine

By wij on Fri Sep 12 00:54:48 2025

Latest reply by wij on Fri Sep 12 00:54:48 2025
bart's C compiler

By Paul Edwards on Thu Sep 11 00:34:58 2025

Latest reply by Paul Edwards on Thu Sep 11 22:10:32 2025
GCC bug

By Andrey Tarasevich on Wed Sep 10 06:51:49 2025

Latest reply by Andrey Tarasevich on Thu Sep 11 19:04:56 2025
how cross compilation works?

By Thiago Adams on Fri Aug 29 15:46:44 2025

Latest reply by Rosario19 on Thu Sep 11 00:15:11 2025
"Brian Kernigan speaks. 83 and still teaching."

By Lynn McGuire on Mon Sep 1 23:39:00 2025

Latest reply by candycanearter07 on Wed Sep 10 18:20:03 2025
Are you using C23 attributes?

By Thiago Adams on Mon Sep 8 09:10:22 2025

Latest reply by David Brown on Tue Sep 9 15:16:26 2025
New clock !

By Bonita Montero on Sun Sep 7 18:57:38 2025

Latest reply by Bonita Montero on Sun Sep 7 19:28:58 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
type of decimal constants in msvc

By Thiago Adams on Tue Sep 2 17:10:25 2025

Latest reply by Michael S on Thu Sep 4 15:21:01 2025
[OT] Linking against a static library

By pozz on Thu Aug 28 18:12:52 2025

Latest reply by pozz on Wed Sep 3 13:02:12 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
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
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 Mikko on Sun Aug 31 11:33:06 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-haltingwhen DD() halts? ===

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

Latest reply by olcott on Thu Aug 28 19:49:49 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
P!=NP proof (using C/C++) for review

By wij on Wed Aug 27 11:27:28 2025

Latest reply by wij on Wed Aug 27 11:27:28 2025
Re: Undefined behaviour in C23

By Keith Thompson on Sat Aug 23 15:58:46 2025

Latest reply by James Kuyper on Tue Aug 26 16:53:08 2025
How to prove Halting Problem in C?

By wij on Tue Aug 26 12:52:10 2025

Latest reply by wij on Tue Aug 26 12:52:10 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
Re: Alan Turing's Halting Problem is incorrectly formed --- My firstpost on the halting problem

By olcott on Sun Aug 24 16:56:34 2025

Latest reply by olcott on Sun Aug 24 17:19:44 2025
How is this answer not self-evident ?

By olcott on Wed Aug 13 00:30:56 2025

Latest reply by Fred. Zwarts on Sun Aug 24 09:35:49 2025
suplement to things on roguelike system

By fir on Thu Aug 21 19:20:34 2025

Latest reply by fir on Thu Aug 21 19:20:34 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: encapsulating directory operations

By Tim Rentsch on Tue Jul 1 10:09:11 2025

Latest reply by James Kuyper on Tue Aug 19 18:09:48 2025
Re: VAX

By Michael S on Mon Aug 4 18:28:39 2025

Latest reply by Keith Thompson on Mon Aug 18 21:57:59 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:34:04 2025
Early History Of C

By Lawrence D'Oliveiro on Sat Jul 26 05:43:10 2025

Latest reply by Jakob Bohm on Sun Aug 17 20:41:18 2025
about some myth on programing

By fir on Mon Aug 11 01:49:47 2025

Latest reply by Janis Papanagnou on Sun Aug 17 17:15:03 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
simple sheme for paragraph game in c

By fir on Sun Aug 10 00:05:33 2025

Latest reply by Richard Damon on Fri Aug 15 14:53:45 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
Re: How is this answer not self-evident ? --- Kaz

By olcott on Fri Aug 15 07:01:52 2025

Latest reply by olcott on Fri Aug 15 07:01:52 2025
Finally after more than three years someone that is not gaslighting me

By olcott on Thu Aug 14 16:46:52 2025

Latest reply by olcott on Thu Aug 14 16:46:52 2025
Re: How is this answer not self-evident ? --- Rice's Theorem is nowRice Krispies

By olcott on Wed Aug 13 15:30:28 2025

Latest reply by olcott on Wed Aug 13 15:30:28 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 Tue Aug 12 10:03:23 2025
Correct simulation of DDD by HHH is proven

By olcott on Tue Aug 12 09:38:32 2025

Latest reply by olcott on Tue Aug 12 09:38:32 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
Claude AI sums up my work in one page

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

Latest reply by olcott on Sun Aug 10 21:01:04 2025
What value should HHH(DD) correctly return?

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

Latest reply by olcott on Sat Aug 9 13:57:31 2025
Re: AI nails Olcott from first principles

By olcott on Sat Aug 9 08:08:48 2025

Latest reply by Richard Damon on Sat Aug 9 17:24:51 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- proof of behavior of DD

By olcott on Sat Aug 9 17:09:18 2025

Latest reply by olcott on Sat Aug 9 17:09:18 2025
Google [x86utm operating system]

By olcott on Fri Aug 8 11:08:06 2025

Latest reply by olcott on Fri Aug 8 11:08:06 2025
Detecting the recursive simulation behavior pattern: HHH(DD)

By olcott on Mon Aug 4 16:55:28 2025

Latest reply by olcott on Mon Aug 4 16:55:28 2025
Using linked lists of buffers for HTTP/2 I/O

By Ar Rakin on Wed Jul 30 22:28:51 2025

Latest reply by Ar Rakin on Wed Jul 30 22:28:51 2025
Re: "A diagram of C23 basic types"

By Lawrence D'Oliveiro on Thu Jun 26 09:01:20 2025

Latest reply by James Kuyper on Tue Jul 29 21:18:48 2025
The Untold Story of C++

By C++ on Mon Jul 28 22:29:30 2025

Latest reply by C++ on Mon Jul 28 22:29:30 2025
"The provenance memory model for C", by Jens Gustedt

By Alexis on Wed Jul 2 14:22:28 2025

Latest reply by David Brown on Sun Jul 20 05:09:02 2025
Re: Computable Functions --- finite string transformation rules ---dbush

By olcott on Thu Jul 17 15:32:06 2025

Latest reply by olcott on Thu Jul 17 15:32:06 2025
HHH(DDD)==0 is correct

By olcott on Wed Jul 2 21:50:40 2025

Latest reply by olcott on Thu Jul 3 10:17:53 2025
Re: Memory protection between compilation units?

By antispam on Sun Jun 15 13:57:59 2025

Latest reply by Tim Rentsch on Tue Jul 1 09:54:36 2025
Found an old post...

By Chris M. Thomasson on Fri Jun 27 12:52:32 2025

Latest reply by Mr Flibble on Sun Jun 29 13:47:54 2025
DDD correctly simulated by HHH can't possibly reach its own "return"statement --- Liars on comp.theory

By olcott on Fri Jun 27 14:36:33 2025

Latest reply by olcott on Sun Jun 29 10:48:47 2025
How do simulating termination analyzers work? (in C and C++)

By olcott on Tue Jun 17 18:24:45 2025

Latest reply by olcott on Fri Jun 20 14:06:22 2025