1. Forum
  2. Newsgroups
  3. comp.theory
word choice survey

By dart200 on Thu Nov 6 15:07:03 2025

Latest reply by Tristan Wibberley on Sat Nov 8 13:48:01 2025
D simulated by H cannot possibly reach its own simulated final haltstate

By olcott on Thu Nov 6 14:48:02 2025

Latest reply by olcott on Sat Nov 8 07:41:33 2025
Re: I am only referring the this C code right D simulated by H

By Richard Damon on Sun Nov 2 14:10:31 2025

Latest reply by Mikko on Sat Nov 8 10:40:40 2025
=?UTF-8?B?UmU6IEfDtmRlbCdzIEcgOj0gKEYg4oqsIEcp?=

By olcott on Mon Nov 3 17:40:06 2025

Latest reply by olcott on Sat Nov 8 07:47:15 2025
Does D simulated by H reach its own "return" statement?

By olcott on Mon Nov 3 17:28:03 2025

Latest reply by Mikko on Sat Nov 8 10:19:46 2025
Re: Semantic properties of finite string inputs ---

By Kaz Kylheku on Sun Nov 2 17:47:16 2025

Latest reply by olcott on Fri Nov 7 10:44:09 2025
recursive basic...

By Chris M. Thomasson on Wed Nov 5 12:33:59 2025

Latest reply by Chris M. Thomasson on Fri Nov 7 14:29:49 2025
Re: x86utm with "reckoning" code: git repo with published commit.

By Mike Terry on Tue Nov 4 18:04:11 2025

Latest reply by Kaz Kylheku on Thu Nov 6 22:10:33 2025
Wanted: Book Review of An Introduction to Formal Languages andAutomata

By Tristan Wibberley on Tue Nov 4 15:58:50 2025

Latest reply by olcott on Wed Nov 5 09:18:07 2025
Re: "duffer speak" ??? Mike can't be dishonest so what is left ?

By olcott on Sun Nov 2 08:09:27 2025

Latest reply by dbush on Tue Nov 4 07:53:47 2025
Wanted: The Upper Semi-Lattice of Degrees of Recursive Unsolvability

By Tristan Wibberley on Tue Nov 4 15:45:37 2025

Latest reply by dart200 on Tue Nov 4 09:59:46 2025
Re: A much shorter proof that the Halting Problem is a categoryerror.

By olcott on Mon Nov 3 17:34:48 2025

Latest reply by Mikko on Tue Nov 4 12:05:42 2025
Re: D simulated by H cannot possibly reach past its own first line

By joes on Mon Nov 3 14:06:34 2025

Latest reply by Mikko on Tue Nov 4 12:00:16 2025
Re: Claude AI understands this rebuttal of Ben --- Category Error

By joes on Mon Nov 3 14:03:20 2025

Latest reply by Mikko on Tue Nov 4 11:42:57 2025
Re: H(D) as simple as it gets

By olcott on Fri Oct 31 23:04:00 2025

Latest reply by Kaz Kylheku on Mon Nov 3 21:22:36 2025
Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022

By joes on Mon Nov 3 14:12:05 2025

Latest reply by Kaz Kylheku on Mon Nov 3 20:29:10 2025
Re: richard the lying retard

By Richard Damon on Sun Nov 2 14:10:24 2025

Latest reply by dart200 on Mon Nov 3 12:26:57 2025
Re: Pink is still not a physical colour

By Richard Damon on Sun Nov 2 14:10:29 2025

Latest reply by Mr Flibble on Mon Nov 3 17:38:43 2025
Re: Two hypothetical possibilities --- HP decision problem instance

By joes on Mon Nov 3 14:14:14 2025

Latest reply by joes on Mon Nov 3 14:14:14 2025
Re: "there will still be a nested simulation tower" Kaz ---

By Kaz Kylheku on Sun Nov 2 22:19:52 2025

Latest reply by Kaz Kylheku on Sun Nov 2 22:19:52 2025