1. Forum
  2. Newsgroups
  3. comp.theory
Can TM simulate Self-Modying TM?

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

Latest reply by Mikko on Sun Sep 14 11:57:05 2025
We need to mutually agree on a fundamental basis

By olcott on Tue Sep 9 22:41:32 2025

Latest reply by olcott on Sun Sep 14 08:38:59 2025
Re: Explicitly showing the divergence of behavior between HHH(DDD)and HHH1(DDD)

By Richard Damon on Sat Sep 6 14:24:25 2025

Latest reply by dbush on Sun Sep 14 09:31:14 2025
How halt is defined

By olcott on Wed Sep 10 06:31:00 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
C description as a Turing Machine

By wij on Thu Sep 11 07:36:58 2025

Latest reply by dbush on Fri Sep 12 15:48:26 2025
Re: Not a single person ever showed that this is incorrect

By Mikko on Sun Sep 7 11:46:30 2025

Latest reply by olcott on Fri Sep 12 11:25:46 2025
Re: Ben's objection finally addressed using conventionalterms-of-the-art

By Richard Damon on Sat Sep 6 14:00:27 2025

Latest reply by dbush on Wed Sep 10 22:25:27 2025
How is 'halt' defined?

By wij on Sun Sep 7 19:08:47 2025

Latest reply by Mikko on Wed Sep 10 10:38:06 2025
Re: Complete proof that the input to HHH(DD)==0 --- The HP proof is wrong

By Mike Terry on Sat Sep 6 18:55:45 2025

Latest reply by Fred. Zwarts on Wed Sep 10 09:57:11 2025
Count C description as a TM.

By wij on Tue Sep 9 20:19:51 2025

Latest reply by wij on Tue Sep 9 20:19:51 2025
My work has been most popular since I began posting in 2004

By olcott on Tue Sep 9 14:46:32 2025

Latest reply by olcott on Tue Sep 9 14:46:32 2025
Reboot The Olcott... BASIC?

By Chris M. Thomasson on Mon Sep 8 20:40:01 2025

Latest reply by Chris M. Thomasson on Tue Sep 9 11:49:10 2025
Re: Pink (Reprise)

By Chris M. Thomasson on Sat Sep 6 11:28:12 2025

Latest reply by Mr Flibble on Sun Sep 7 14:08:17 2025