1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
The correct foundation of the theory of computation

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

Latest reply by Richard Damon on Sat Dec 13 15:26:11 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 Richard Damon on Sat Dec 13 16:53:18 2025
Proof of halting problem category error --- Principle 1

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

Latest reply by Richard Damon on Sat Dec 13 16:47:20 2025
The halting problem itself is unequivocally a category error

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

Latest reply by Richard Damon on Sat Dec 13 16:49:15 2025
Re: Defining a halt decider with perfect accuracy

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

Latest reply by olcott on Sat Dec 13 16:41:47 2025
Best First Principle of Turing Machine computation

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

Latest reply by olcott on Sat Dec 13 10:49:42 2025
Re: on mathematical ghosts

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

Latest reply by olcott on Sat Dec 13 10:22:04 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 olcott on Sat Dec 13 09:55:43 2025
A new foundation for correct reasoning

By olcott on Mon Nov 24 18:53:47 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
A new foundation for correct reasoning +++

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

Latest reply by olcott on Mon Dec 8 13:56:15 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
Rejecting expressions of formal language having pathologicalself-reference

By olcott on Wed Nov 12 08:45:34 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
The halting problem is incorrect two different ways

By olcott on Fri Nov 14 09:00:09 2025

Latest reply by Mikko on Fri Nov 28 10:14:21 2025
New formal foundation for correct reasoning makes True(X) computable

By olcott on Tue Nov 25 14:20:48 2025

Latest reply by Python on Tue Nov 25 20:56:05 2025
Re: D simulated by H cannot possibly reach its own simulated final halt state

By olcott on Tue Nov 25 10:09:50 2025

Latest reply by Kaz Kylheku on Tue Nov 25 17:33:58 2025
Re: D simulated by H cannot possibly reach its own simulated finalhalt state

By olcott on Sun Nov 16 11:40:34 2025

Latest reply by Richard Damon on Tue Nov 25 11:37:27 2025
Olcott creates a new foundation for automated correct reasoning

By olcott on Tue Nov 25 13:22:21 2025

Latest reply by Richard Damon on Tue Nov 25 16:47:40 2025
Transforming Logic into a system of correct reasoning

By olcott on Mon Nov 24 09:47:32 2025

Latest reply by polcott on Tue Nov 25 13:06:24 2025
halting problem counter example H/D pair is the Liar Paradox

By olcott on Fri Nov 21 21:34:06 2025

Latest reply by Kaz Kylheku on Sun Nov 23 04:11:47 2025
The halting problem is merely the Liar Paradox in disguise

By olcott on Mon Nov 17 16:59:04 2025

Latest reply by olcott on Thu Nov 20 22:00:20 2025
halting problem shows that "true on the basis of meaning is broken"

By olcott on Sat Nov 15 20:17:17 2025

Latest reply by olcott on Fri Nov 21 10:21:50 2025
Making True(Language L, Expression E) always computable

By olcott on Fri Nov 21 09:09:37 2025

Latest reply by olcott on Fri Nov 21 09:09:37 2025
Re: polcott agrees with the halting problem

By olcott on Mon Nov 17 18:31:50 2025

Latest reply by Chris M. Thomasson on Thu Nov 20 18:10:23 2025
Taiwan pulverized: CHIPX by Turing Quantum (Re: The 9 most powerfulsupercomputers)

By Mild Shock on Thu Nov 20 11:55:57 2025

Latest reply by Mild Shock on Thu Nov 20 11:55:57 2025
Re: People that have a very shallow understanding of these things--- "reckless disregard for the truth"

By Kaz Kylheku on Mon Nov 17 22:58:16 2025

Latest reply by Kaz Kylheku on Wed Nov 19 18:54:08 2025
People that have a very shallow understanding of these things --- AKAKaz

By olcott on Mon Nov 17 09:47:23 2025

Latest reply by olcott on Wed Nov 19 12:39:51 2025
Re: the halting problem is founded in computer science not math

By olcott on Tue Nov 18 14:12:57 2025

Latest reply by olcott on Tue Nov 18 14:12:57 2025
"true on the basis of meaning" AKA Analytic(Olcott)

By olcott on Sun Nov 16 10:01:19 2025

Latest reply by olcott on Tue Nov 18 09:15:58 2025
Re: People that have a very shallow understanding of these things

By olcott on Sat Nov 15 23:13:11 2025

Latest reply by Tristan Wibberley on Mon Nov 17 04:01:49 2025
Re: MIT study finds that AI doesn't, in fact, have values --- PLO

By Tristan Wibberley on Sun Nov 16 21:47:42 2025

Latest reply by Tristan Wibberley on Sun Nov 16 21:47:42 2025
KEY BASIS OF EVERYTHING THAT I HAVE SAID FOR 28 YEARS

By olcott on Sun Nov 16 20:15:00 2025

Latest reply by olcott on Sun Nov 16 20:15:00 2025
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDDcalling itself

By olcott on Sat Nov 15 15:49:20 2025

Latest reply by Chris M. Thomasson on Sun Nov 16 13:18:12 2025
DD simulated by HHH cannot possibly terminate normally

By olcott on Sun Nov 16 11:20:14 2025

Latest reply by olcott on Sun Nov 16 11:20:14 2025
Re: test server posting

By olcott on Fri Nov 14 12:13:59 2025

Latest reply by olcott on Sat Nov 15 14:37:10 2025
How pathological self-reference is confused with undecidability

By olcott on Tue Nov 11 19:38:09 2025

Latest reply by olcott on Wed Nov 12 06:50:13 2025
Three Year Update of proof of D simulated by H

By olcott on Sun Nov 9 09:20:55 2025

Latest reply by olcott on Sun Nov 9 09:20:55 2025
D simulated by H where H is a C interpreter --- Maybe Mike has becomea liar ???

By olcott on Sat Nov 8 20:08:11 2025

Latest reply by olcott on Sat Nov 8 20:08:11 2025
Re: Making true on the basis of meaning computable from finitestrings

By olcott on Sat Nov 8 16:41:52 2025

Latest reply by Chris M. Thomasson on Sat Nov 8 15:26:37 2025
D simulated by H where H is a C interpreter

By olcott on Sat Nov 8 16:35:07 2025

Latest reply by olcott on Sat Nov 8 16:35:07 2025