1. Forum
  2. Newsgroups
  3. comp.theory
The conventional diagonal argument proves my point

By olcott on Tue Sep 16 17:35:43 2025

Latest reply by olcott on Wed Sep 17 18:21:00 2025
let's crank this up a notch ...

By dart200 on Wed Sep 17 19:18:10 2025

Latest reply by olcott on Wed Sep 17 18:23:24 2025
Re: Explicitly showing the divergence of behavior between HHH(DDD)and HHH1(DDD)

By wij on Fri Sep 12 06:41:06 2025

Latest reply by Chris M. Thomasson on Wed Sep 17 14:55:35 2025
Re: We need to mutually agree on a fundamental basis

By Kaz Kylheku on Thu Sep 11 00:11:03 2025

Latest reply by olcott on Wed Sep 17 08:31:55 2025
Simplied Halting Problem and proof

By wij on Mon Sep 15 02:29:40 2025

Latest reply by Mikko on Tue Sep 16 11:43:41 2025
Can TM simulate Self-Modying TM?

By wij on Fri Sep 12 09:30:54 2025

Latest reply by Mikko on Tue Sep 16 11:36:41 2025
Trying to understand Olcott...

By Chris M. Thomasson on Mon Sep 15 14:24:01 2025

Latest reply by Chris M. Thomasson on Mon Sep 15 17:50:38 2025
What is natural number, exactly?

By wij on Mon Sep 15 08:23:08 2025

Latest reply by Chris M. Thomasson on Sun Sep 14 20:38:40 2025
They actually build Babbage's machine and got it fully operational in2002

By olcott on Sun Sep 14 20:16:00 2025

Latest reply by olcott on Sun Sep 14 20:16:00 2025
ctHyperRings...

By Chris M. Thomasson on Sun Sep 14 19:46:45 2025

Latest reply by Chris M. Thomasson on Sun Sep 14 19:46:45 2025
Re: How halt is defined

By Mikko on Thu Sep 11 12:01:56 2025

Latest reply by Mikko on Sat Sep 13 11:51:48 2025
How everyone should respond to Olcott going forward

By Mr Flibble on Fri Sep 12 17:23:26 2025

Latest reply by Mr Flibble on Fri Sep 12 17:23:26 2025
Re: C description as a Turing Machine

By wij on Thu Sep 11 08:51:20 2025

Latest reply by dbush on Fri Sep 12 15:48:26 2025
Re: How everyone since 1936 has been fooled --- *THIS DOES CHANGEEVERYTHING*

By olcott on Wed Sep 10 19:11:48 2025

Latest reply by olcott on Fri Sep 12 11:25:46 2025
Re: Five different LLM systems agree with my rebuttal of the HP proofs.

By Ben Bacarisse on Thu Sep 11 01:45:08 2025

Latest reply by dbush on Wed Sep 10 22:25:27 2025