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

The scope of computation defines its true limits

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

Latest reply by olcott on Wed Dec 24 17:30:57 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

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

The primary first principle of all Turing Machine based computation

By olcott on Tue Dec 16 21:36:16 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

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

The fundamental nature of computational undecidability

By olcott on Sat Dec 20 20:33:18 2025

Latest reply by Richard Damon on Sun Dec 21 12:38:38 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

The most definitive measure of the behavior of the input to H(P)

By olcott on Tue Dec 16 11:21:18 2025

Latest reply by Richard Damon on Sat Dec 20 13:56:35 2025

Re: Defining a halt decider with perfect accuracy

By olcott on Sat Dec 13 16:41:47 2025

Latest reply by olcott on Thu Dec 18 07:04:55 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 olcott on Thu Dec 18 02:02:54 2025

Re: New formal foundation for correct reasoning makes True(X)computable

By olcott on Sat Dec 13 09:55:43 2025

Latest reply by Mikko on Wed Dec 17 12:49:01 2025

The correct foundation of the theory of computation

By olcott on Sat Dec 13 10:44:06 2025

Latest reply by olcott on Mon Dec 15 10:20:07 2025

Best First Principle of Turing Machine computation

By olcott on Sat Dec 13 09:50:39 2025

Latest reply by Mikko on Mon Dec 15 11:56:39 2025

Re: on mathematical ghosts

By olcott on Sat Dec 13 10:22:04 2025

Latest reply by olcott on Mon Dec 15 09:42:32 2025

Proof of halting problem category error --- Principle 1

By olcott on Thu Dec 11 22:01:49 2025

Latest reply by Mikko on Mon Dec 15 11:24:01 2025

A new foundation for correct reasoning +++

By olcott on Fri Nov 28 16:03:01 2025

Latest reply by Mikko on Sun Dec 14 13:05:33 2025

The halting problem itself is unequivocally a category error

By olcott on Sat Dec 13 15:07:25 2025

Latest reply by Mikko on Sun Dec 14 12:38:50 2025

This single paragraph proves that the halting problem is a categoryerror

By polcott on Tue Dec 9 16:27:53 2025

Latest reply by Tristan Wibberley on Sun Dec 14 04:29:57 2025

Re: A new foundation for correct reasoning

By Mikko on Thu Nov 27 10:00:46 2025

Latest reply by Tristan Wibberley on Fri Dec 12 13:16:43 2025

Very simple first principles showing the halting problem error

By olcott on Wed Dec 10 20:00:27 2025

Latest reply by Richard Damon on Fri Dec 12 09:20:03 2025

Ben's objection finally fully addressed --- Succinct First Principles

By olcott on Fri Dec 12 07:31:25 2025

Latest reply by olcott on Fri Dec 12 07:31:25 2025

The Halting Problem violates this self-evidently correct definition

By olcott on Sun Dec 7 21:14:39 2025

Latest reply by Mikko on Thu Dec 11 10:53:36 2025

Re: Proof that the halting problem itself is a category error ---typo

By polcott on Wed Dec 10 17:53:00 2025

Latest reply by polcott on Wed Dec 10 17:53:00 2025

Re: Proof that the halting problem itself is a category error

By polcott on Wed Dec 10 17:03:30 2025

Latest reply by polcott on Wed Dec 10 17:03:30 2025

Re: A new category of thought

By polcott on Tue Dec 9 10:22:53 2025

Latest reply by polcott on Tue Dec 9 10:22:53 2025

Alan Turing's Halting Problem is incorrectly formed --- My first post on the Halting Problem

By olcott on Fri Dec 5 10:36:48 2025

Latest reply by Mikko on Sun Dec 7 13:11:45 2025

Re: Every rebuttal of anything that I have ever said on USENET hasbeen entirely baseless

By olcott on Sun Dec 7 08:53:09 2025

Latest reply by olcott on Sun Dec 7 08:53:09 2025

Halting Problem Proof Counter-Example is Isomorphic to the Liar Paradox

By olcott on Sat Dec 6 17:37:07 2025

Latest reply by olcott on Sat Dec 6 17:37:07 2025

Re: The halting problem is incorrect two different ways --- fakingignorance

By olcott on Thu Nov 27 09:21:37 2025

Latest reply by Richard Damon on Sat Dec 6 17:26:36 2025

Re: I am first to have fully refuted the Halting Problem

By olcott on Sat Dec 6 11:31:59 2025

Latest reply by olcott on Sat Dec 6 11:31:59 2025

Re: I am first to have fully refuted the Halting Problem --- testlink posting

By olcott on Sat Dec 6 11:23:59 2025

Latest reply by olcott on Sat Dec 6 11:23:59 2025

Re: Alan Turing's Halting Problem is incorrectly formed --- My firstpost on the Halting Problem

By olcott on Sat Dec 6 06:22:19 2025

Latest reply by olcott on Sat Dec 6 06:22:19 2025

The H/D halting problem instance is isomorphic to the Liar Paradox

By olcott on Fri Dec 5 10:38:17 2025

Latest reply by olcott on Fri Dec 5 13:15:37 2025

Olcott is provably correct --- no one can correctly refute this

By olcott on Wed Dec 3 19:47:00 2025

Latest reply by olcott on Wed Dec 3 19:55:59 2025

Olcott is provably correct

By olcott on Sun Nov 30 10:52:15 2025

Latest reply by olcott on Wed Dec 3 18:28:38 2025

Re: Rejecting expressions of formal language having pathologicalself-reference

By Mikko on Thu Nov 27 10:20:46 2025

Latest reply by olcott on Mon Dec 1 09:18:03 2025

Re: on deciding this sentence is false

By olcott on Fri Nov 28 12:20:28 2025

Latest reply by olcott on Mon Dec 1 06:43:36 2025

Final Resolution of the Liar Paradox

By olcott on Thu Nov 27 08:36:42 2025

Latest reply by Mikko on Sun Nov 30 11:16:06 2025

Re: DD simulated by HHH and DD simulated by HHH1

By olcott on Fri Nov 28 12:09:10 2025

Latest reply by olcott on Fri Nov 28 12:09:10 2025