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 Fred. Zwarts on Thu Sep 18 12:34:39 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 Fred. Zwarts on Thu Sep 18 12:28:14 2025
let's crank this up a notch ...

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

Latest reply by Mikko on Thu Sep 18 12:16:52 2025
Re: We need to mutually agree on a fundamental basis

By Chris M. Thomasson on Thu Sep 11 14:27:54 2025

Latest reply by Mikko on Thu Sep 18 11:34:23 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 Fri Sep 12 09:34:08 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 Kaz Kylheku on Thu Sep 11 19:59:59 2025

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

By Keith Thompson on Thu Sep 11 13:06:10 2025

Latest reply by olcott on Fri Sep 12 11:25:46 2025