1. Forum
  2. Newsgroups
  3. comp.theory
Semantic properties of finite string inputs

By olcott on Thu Oct 30 09:49:08 2025

Latest reply by olcott on Sat Nov 1 21:49:27 2025
Plonkers

By Mr Flibble on Sun Nov 2 01:46:04 2025

Latest reply by olcott on Sat Nov 1 21:41:12 2025
I am only referring the this C code right D simulated by H

By olcott on Sat Nov 1 13:51:54 2025

Latest reply by Kaz Kylheku on Sat Nov 1 22:03:30 2025
fuck chris

By dart200 on Wed Oct 29 14:22:07 2025

Latest reply by Kaz Kylheku on Sat Nov 1 20:26:06 2025
Pink is still not a physical colour

By Mr Flibble on Sat Nov 1 17:02:35 2025

Latest reply by Mr Flibble on Sat Nov 1 20:16:08 2025
Re: "there will still be a nested simulation tower" Kaz ---

By Kaz Kylheku on Wed Oct 29 23:30:02 2025

Latest reply by olcott on Sat Nov 1 14:15:53 2025
Re: No human has been able to understand this simple C in three years

By Mikko on Thu Oct 30 12:24:26 2025

Latest reply by dbush on Sat Nov 1 14:14:26 2025
Dr. Fuzz

By Chris M. Thomasson on Thu Oct 30 13:52:41 2025

Latest reply by Chris M. Thomasson on Sat Nov 1 12:11:37 2025
Re: Corrected spec that overcomes dbush objection

By Mikko on Thu Oct 30 12:54:35 2025

Latest reply by Chris M. Thomasson on Sat Nov 1 12:05:10 2025
Re: A much shorter proof that the Halting Problem is a category error.

By Mikko on Thu Oct 30 13:06:29 2025

Latest reply by olcott on Sat Nov 1 08:43:46 2025
Re: H(D) as simple as it gets

By Tristan Wibberley on Fri Oct 31 14:48:42 2025

Latest reply by dbush on Sat Nov 1 09:43:25 2025
Re: Claude AI understands this rebuttal of Ben --- Category Error

By Richard Damon on Wed Oct 29 21:46:08 2025

Latest reply by olcott on Sat Nov 1 08:39:53 2025
=?UTF-8?B?UmU6IEfDtmRlbCdzIEcgOj0gKEYg4oqsIEcpIHNwZWNpZmllcyBhIGN5?==?UTF-8?Q?cle_in_the_directed_graph_of_its_evaluation_sequence?=

By Richard Damon on Wed Oct 29 21:46:05 2025

Latest reply by olcott on Sat Nov 1 08:54:09 2025
Re: x86utm with "reckoning" code: git repo with published commit.

By Mike Terry on Fri Oct 31 04:51:54 2025

Latest reply by Richard Damon on Fri Oct 31 14:10:50 2025
Re: I've written the code which shows HHH's DDD simulation halts.

By olcott on Fri Oct 31 09:11:31 2025

Latest reply by olcott on Fri Oct 31 09:11:31 2025
A better HHH?

By Chris M. Thomasson on Wed Oct 29 22:39:35 2025

Latest reply by Chris M. Thomasson on Wed Oct 29 23:45:55 2025
Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022

By Chris M. Thomasson on Wed Oct 29 14:29:23 2025

Latest reply by Chris M. Thomasson on Wed Oct 29 15:16:11 2025