1. Forum
  2. USENET
  3. comp.theory
The halting problem is self-contradictory

By olcott on Tue Oct 14 21:17:50 2025

Latest reply by olcott on Wed Oct 15 06:44:50 2025
Exactly how Ben Bacarisse is proven wrong about H(D)==0

By olcott on Tue Oct 14 10:28:21 2025

Latest reply by Mikko on Wed Oct 15 11:58:55 2025
The halting problem breaks with reality

By olcott on Mon Oct 13 19:37:59 2025

Latest reply by Mikko on Wed Oct 15 11:49:55 2025
Updated input to LLM systems proving HHH(DD)==0 within assumptions

By olcott on Sun Oct 12 08:50:05 2025

Latest reply by Mikko on Wed Oct 15 11:43:43 2025
Re: Socratic questioning is required to unmask deceivers

By olcott on Tue Oct 7 14:38:10 2025

Latest reply by Mikko on Wed Oct 15 11:23:26 2025
HHH(DD)==0 and the directly executed DD() proven not in the domain of HHH

By olcott on Tue Oct 14 10:48:57 2025

Latest reply by Mikko on Wed Oct 15 11:08:40 2025
How Saul Kripke provided the foundation for a consistent and correct truth predicate

By olcott on Sun Oct 12 09:56:17 2025

Latest reply by Mikko on Wed Oct 15 11:03:56 2025
Re: The true nature of Undecidability

By Mikko on Wed Oct 8 12:40:06 2025

Latest reply by Mikko on Wed Oct 15 10:59:16 2025
Claude AI found a key ambiguity in the words that professor Sipser agreed to

By olcott on Fri Oct 10 12:39:51 2025

Latest reply by Mikko on Wed Oct 15 10:43:40 2025
Re: Proving another way that halting is undecidable --- Hypothetical possibilities

By Mikko on Wed Oct 8 12:52:26 2025

Latest reply by Mikko on Wed Oct 15 10:26:38 2025
Re: I corrected the very subtle error in the halting problem

By Tristan Wibberley on Wed Oct 15 10:21:59 2025

Latest reply by Tristan Wibberley on Wed Oct 15 10:21:59 2025
Re: Social Engineering is how AI will take over key aspects of the world

By Tristan Wibberley on Wed Oct 15 09:28:58 2025

Latest reply by Tristan Wibberley on Wed Oct 15 09:28:58 2025
polcott are you willing to admit ur wrong???

By dart200 on Mon Oct 13 22:55:24 2025

Latest reply by Tristan Wibberley on Wed Oct 15 08:13:14 2025
Halting problem proof converted to Liar Paradox --- 2004 post converted to C

By olcott on Thu Oct 9 10:33:40 2025

Latest reply by olcott on Tue Oct 14 10:33:36 2025
The error of the halting problem that Ben Bacarisse did not understand

By olcott on Mon Oct 13 20:24:00 2025

Latest reply by olcott on Mon Oct 13 20:24:00 2025
polcott's hypothesis lacks effectiveness

By dart200 on Fri Oct 10 17:49:15 2025

Latest reply by Chris M. Thomasson on Sun Oct 12 19:24:52 2025
That HHH(DD) rejects its input as non-halting semantically logically entailed

By olcott on Sat Oct 11 15:33:14 2025

Latest reply by Mikko on Sun Oct 12 12:43:29 2025
=?UTF-8?Q?Re=3A_my_philosophy_is_the_=22we_are_god=22_=F0=9F=A4=B7?=

By Chris M. Thomasson on Sun Oct 12 11:17:43 2025

Latest reply by Chris M. Thomasson on Sun Oct 12 11:17:43 2025
Re: Olcott admits that the Halting Problem is undecidable --- full quote in context time & date stamped

By olcott on Tue Oct 7 14:50:06 2025

Latest reply by olcott on Sat Oct 11 13:56:36 2025
The Olcott All-in-One Halt Decider!

By Chris M. Thomasson on Fri Oct 10 01:36:24 2025

Latest reply by Chris M. Thomasson on Sat Oct 11 13:04:03 2025
Re: Olcott admits that the Halting Problem is undecidable - LIAR PARADOX

By Mikko on Wed Oct 8 12:17:36 2025

Latest reply by Mikko on Sat Oct 11 12:11:04 2025
Re: I came up with that back in 2004

By dbush on Tue Oct 7 15:08:31 2025

Latest reply by dbush on Fri Oct 10 15:34:10 2025
Re: Olcott admits that the Halting Problem is undecidable

By Tristan Wibberley on Fri Oct 10 15:12:11 2025

Latest reply by olcott on Fri Oct 10 09:14:39 2025
Re: The halting problem proof question is incorrect

By Tristan Wibberley on Thu Oct 9 16:52:18 2025

Latest reply by Tristan Wibberley on Fri Oct 10 14:32:27 2025
Olcott admits that the Halting Problem is undecidable - reprise #4

By Mr Flibble on Thu Oct 9 18:06:24 2025

Latest reply by olcott on Thu Oct 9 13:23:31 2025
Re: DD halts

By Chris M. Thomasson on Tue Oct 7 12:09:32 2025

Latest reply by Chris M. Thomasson on Thu Oct 9 12:39:38 2025
Re: Who here is too stupid that they can't correctly answer this question?

By Kaz Kylheku on Tue Oct 7 19:29:36 2025

Latest reply by olcott on Tue Oct 7 22:47:44 2025
Olcott admits that the Halting Problem is undecidable - reprise #3

By Mr Flibble on Wed Oct 8 00:30:53 2025

Latest reply by Chris M. Thomasson on Tue Oct 7 18:33:34 2025