1. Forum
  2. Newsgroups
  3. comp.theory
Re: lol. An AI response to Olcott...

By Tristan Wibberley on Sun Oct 19 16:12:33 2025

Latest reply by Kaz Kylheku on Wed Oct 22 23:15:32 2025
Re: What expressions of language are logically certain?

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

Latest reply by olcott on Wed Oct 22 15:29:25 2025
HHH(DD) correctly rejects its input because of (a)

By olcott on Mon Oct 20 17:54:07 2025

Latest reply by olcott on Wed Oct 22 14:59:13 2025
UTM Theorem vs the identity function

By Tristan Wibberley on Tue Oct 21 17:35:50 2025

Latest reply by pa on Wed Oct 22 18:45:22 2025
Re: The halting problem is either incoherent or the proof wrong

By Mikko on Sun Oct 19 13:52:46 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:39:25 2025
Re: Cantor Diagonal Proof

By Tristan Wibberley on Wed Oct 22 13:40:45 2025

Latest reply by Richard Heathfield on Wed Oct 22 16:59:09 2025
Re: This only has one correct meaning and proves that HHH(DD)==0

By olcott on Sun Oct 19 10:44:25 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:42:59 2025
Re: The true nature of Undecidability

By Mikko on Sun Oct 19 13:32:26 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:51:50 2025
Re: The true nature of Undecidability --- Liar or dumb bunny ???

By olcott on Wed Oct 22 08:55:40 2025

Latest reply by dbush on Wed Oct 22 13:34:06 2025
HHH(DD) figured out by ChatGPT, Claude AI, Grok and Gemini

By olcott on Tue Oct 21 21:23:24 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:42:02 2025
Re: How Saul Kripke provided the foundation for a consistent and correct truth predicate

By Mikko on Sun Oct 19 13:47:16 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:37:55 2025
Re: RDFs revenge on the AI Boom [GraphMERT] --- This is the same ideaas my basic facts

By olcott on Sun Oct 19 20:47:12 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:37:10 2025
Re: Olcott admits that the Halting Problem is undecidable

By Tristan Wibberley on Sun Oct 19 12:33:55 2025

Latest reply by Chris M. Thomasson on Wed Oct 22 12:35:51 2025
Re: The halting problem is self-contradictory

By olcott on Sun Oct 19 11:08:34 2025

Latest reply by olcott on Wed Oct 22 07:22:05 2025
The Halting Problem is a Category Error

By olcott on Sun Oct 19 16:20:59 2025

Latest reply by Mikko on Wed Oct 22 11:38:05 2025
Re: Bacarisse is proven wrong about H(D)==0 --- The Halting Problem is Incoherent

By olcott on Sun Oct 19 10:51:23 2025

Latest reply by olcott on Wed Oct 22 07:09:26 2025
Make any sense, per-path counters?

By Chris M. Thomasson on Tue Oct 21 21:34:20 2025

Latest reply by Chris M. Thomasson on Tue Oct 21 21:34:20 2025
Proof that the input to HHH(DD) specifies non-halting behavior

By olcott on Tue Oct 21 20:51:22 2025

Latest reply by olcott on Tue Oct 21 20:51:22 2025
Re: Trustworthy LLM systems --- require citing external sources ---no more hallucination

By Tristan Wibberley on Sun Oct 19 16:26:11 2025

Latest reply by olcott on Tue Oct 21 20:46:55 2025
Re: polcott's hypothesis lacks effectiveness

By Tristan Wibberley on Tue Oct 21 12:33:55 2025

Latest reply by olcott on Tue Oct 21 08:47:48 2025
Re: My two specifications are equivalent HHH(DD)==0 is correct

By Tristan Wibberley on Sun Oct 19 10:43:37 2025

Latest reply by Tristan Wibberley on Tue Oct 21 09:02:06 2025
Re: Semantic Properties of Finite String Inputs measured by ChatGPT5.0

By olcott on Sun Oct 19 10:56:48 2025

Latest reply by olcott on Sun Oct 19 21:27:29 2025
Re: RDFs revenge on the AI Boom [GraphMERT] --- Bridge to LLMreliability

By olcott on Sun Oct 19 21:48:24 2025

Latest reply by olcott on Sun Oct 19 21:48:24 2025
Re: The halting problem is self-contradictory -- application to c/c++

By Mikko on Sun Oct 19 14:16:36 2025

Latest reply by Chris M. Thomasson on Sun Oct 19 13:34:57 2025