1. Forum
  2. Newsgroups
  3. comp.theory
Re: on mathematical ghosts

By Richard Damon on Wed Dec 17 23:29:54 2025

Latest reply by Richard Damon on Thu Dec 25 07:45:19 2025
Collatz Conjectur proved

By wij on Wed Dec 24 20:06:04 2025

Latest reply by Tristan Wibberley on Wed Dec 24 22:23:58 2025
on levels of machine equivalence

By dart200 on Sun Dec 21 17:15:37 2025

Latest reply by Richard Damon on Wed Dec 24 21:22:23 2025
The scope of computation defines its true limits

By olcott on Wed Dec 24 13:20:16 2025

Latest reply by Richard Damon on Wed Dec 24 21:22:53 2025
Categorically exhaustive reasoning

By olcott on Wed Dec 24 16:58:26 2025

Latest reply by Richard Damon on Wed Dec 24 18:20:05 2025
Turing-machine deciders a precise definition

By olcott on Tue Dec 23 09:34:19 2025

Latest reply by Richard Damon on Wed Dec 24 14:27:25 2025
I proved the HP input is the same as the Liar Paradox back in 2004

By olcott on Mon Dec 22 18:01:20 2025

Latest reply by Richard Damon on Tue Dec 23 10:58:21 2025
Mutex contention profiler

By Mr Flibble on Sun Dec 21 21:36:49 2025

Latest reply by Mr Flibble on Mon Dec 22 21:55:13 2025
Conventional notion of deciders

By olcott on Sun Dec 21 08:37:22 2025

Latest reply by Richard Damon on Mon Dec 22 16:54:02 2025
Carol's question + my Prolog are a convincing combination

By olcott on Mon Dec 22 10:39:47 2025

Latest reply by Richard Damon on Mon Dec 22 15:22:41 2025
I spent 22 years on the notion of undecidability

By olcott on Mon Dec 22 10:28:18 2025

Latest reply by Richard Damon on Mon Dec 22 17:04:42 2025
Re: The primary first principle of all Turing Machine basedcomputation

By Richard Damon on Wed Dec 17 23:30:11 2025

Latest reply by Richard Damon on Mon Dec 22 11:39:14 2025
Re: D correctly simulated by H proved for THREE YEARS --- finitestring transformation rules

By olcott on Sun Dec 21 17:19:50 2025

Latest reply by Richard Damon on Mon Dec 22 07:38:16 2025
First documented use of: "finite string transformation rules"

By olcott on Sun Dec 21 17:12:15 2025

Latest reply by olcott on Sun Dec 21 17:12:15 2025
Meaning of life

By Mr Flibble on Sun Dec 21 15:37:31 2025

Latest reply by Mr Flibble on Sun Dec 21 15:37:31 2025
Re: Very simple first principles showing the halting problem error

By Mikko on Thu Dec 18 13:10:28 2025

Latest reply by olcott on Sun Dec 21 08:12:14 2025
How do halt deciders really work? --- AKA The Halting Problem IsWrong

By olcott on Fri Dec 19 19:27:44 2025

Latest reply by Richard Damon on Sun Dec 21 12:38:41 2025
Turing machines can not run other Turing machines

By olcott on Sat Dec 20 07:09:16 2025

Latest reply by Python on Sun Dec 21 11:58:09 2025
Three page proof that the Halting Problem is incorrect

By olcott on Sat Dec 20 06:07:49 2025

Latest reply by Richard Damon on Sat Dec 20 08:32:21 2025
DD simulated by HHH cannot reach its own final state state

By olcott on Thu Dec 18 02:02:54 2025

Latest reply by Richard Damon on Thu Dec 18 19:54:00 2025
Re: Exactly what halt deciders actually do

By olcott on Wed Dec 17 22:51:54 2025

Latest reply by Richard Damon on Thu Dec 18 19:53:50 2025
Re: Defining a halt decider with perfect accuracy

By Mikko on Thu Dec 18 12:36:33 2025

Latest reply by olcott on Thu Dec 18 07:04:55 2025