1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
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
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
A new foundation for correct reasoning

By olcott on Mon Nov 24 18:53:47 2025

Latest reply by olcott on Wed Dec 3 20:39:07 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
A new foundation for correct reasoning +++

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

Latest reply by Alan Mackenzie on Sat Nov 29 11:55:14 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
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 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
Making true on the basis of meaning computable from finite strings

By olcott on Sat Nov 8 12:46:03 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 --- 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
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
Re: Semantic properties of finite string inputs --- Closure !!!

By olcott on Fri Nov 7 10:27:45 2025

Latest reply by olcott on Fri Nov 7 10:27:45 2025
Proof that D simulated by H never reaches its own simulated "return" statement

By olcott on Fri Nov 7 08:04:22 2025

Latest reply by olcott on Fri Nov 7 08:04:22 2025
Re: Kaz does not understand his own code. --- I AM PROVED EXACTLYCORRECT.

By olcott on Wed Nov 5 12:17:06 2025

Latest reply by olcott on Wed Nov 5 12:17:06 2025
Re: Kaz does not understand his own code --- I AM PROVED EXACTLYCORRECT

By olcott on Tue Nov 4 21:51:10 2025

Latest reply by olcott on Tue Nov 4 21:51:10 2025
Kaz does not understand his own code.

By olcott on Tue Nov 4 20:14:45 2025

Latest reply by olcott on Tue Nov 4 20:14:45 2025
Re: Does D simulated by H reach its own "return" statement?

By olcott on Tue Nov 4 07:56:17 2025

Latest reply by olcott on Tue Nov 4 07:56:17 2025
Re: Semantic properties of finite string inputs --- Closure ???

By olcott on Mon Nov 3 18:43:27 2025

Latest reply by olcott on Mon Nov 3 18:43:27 2025
Olcott's revised position statement

By olcott on Mon Nov 3 15:48:12 2025

Latest reply by olcott on Mon Nov 3 15:48:12 2025
Addressing duffer-speak

By olcott on Mon Nov 3 07:47:39 2025

Latest reply by olcott on Mon Nov 3 12:30:31 2025
Re: "duffer speak" ??? Mike can't be dishonest so what is left ?

By olcott on Sun Nov 2 18:25:31 2025

Latest reply by olcott on Sun Nov 2 18:25:31 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 olcott on Sat Nov 1 13:51:54 2025
Re: Semantic properties of finite string inputs --- More precisely

By olcott on Fri Oct 31 21:58:18 2025

Latest reply by olcott on Fri Oct 31 21:58:18 2025
Semantic properties of finite string inputs

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

Latest reply by olcott on Fri Oct 31 11:51:26 2025
A self-reflecting UTM

By olcott on Thu Oct 30 14:18:34 2025

Latest reply by olcott on Thu Oct 30 14:18:34 2025
Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022

By olcott on Wed Oct 22 14:55:23 2025

Latest reply by Chris M. Thomasson on Wed Oct 29 15:16:11 2025
A much shorter proof that the Halting Problem is a category error.

By olcott on Sun Oct 26 09:46:33 2025

Latest reply by Richard Damon on Mon Oct 27 22:03:01 2025
Kaz is now dishonored in his deceit

By olcott on Sun Oct 26 20:58:00 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 11:55:12 2025
dbush is now dishonored in his deceit

By olcott on Sun Oct 26 20:56:17 2025

Latest reply by dbush on Sun Oct 26 22:47:02 2025
Re: What expressions of language are logically certain?

By Tristan Wibberley on Wed Oct 22 21:01:36 2025

Latest reply by Tristan Wibberley on Sun Oct 26 17:35:46 2025
Halting Problem Simulation in C --- first draft of final paper

By olcott on Sun Oct 26 10:56:54 2025

Latest reply by olcott on Sun Oct 26 10:56:54 2025
Claude AI understands this rebuttal of Ben --- Category Error

By olcott on Sun Oct 26 09:56:25 2025

Latest reply by olcott on Sun Oct 26 09:56:25 2025
Re: HHH(DD) figured out by ChatGPT, Claude AI, Grok and Gemini

By Richard Damon on Sat Oct 25 09:43:05 2025

Latest reply by Richard Damon on Sat Oct 25 09:43:05 2025
Olcott's specification has zero ambiguity

By olcott on Thu Oct 23 20:46:59 2025

Latest reply by olcott on Thu Oct 23 22:44:01 2025
Re: This only has one correct meaning and proves that HHH(DD)==0

By olcott on Thu Oct 23 13:17:45 2025

Latest reply by dbush on Thu Oct 23 18:47:01 2025
Re: XXXXX is proven wrong about H(D)==0 --- The Halting Problem is aCategory Error

By olcott on Thu Oct 23 09:43:17 2025

Latest reply by dbush on Thu Oct 23 11:12:21 2025