1. Forum
  2. Newsgroups
  3. comp.theory
ChatGPT 5.2

By Mr Flibble on Sat Dec 13 23:00:59 2025

Latest reply by Mr Flibble on Sat Dec 13 23:00:59 2025
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
Defining a halt decider with perfect accuracy

By olcott on Sat Dec 13 15:32:26 2025

Latest reply by Richard Damon on Sat Dec 13 18:02:09 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
The Halting Problem violates this self-evidently correct definition

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

Latest reply by olcott on Sat Dec 13 10:49:42 2025
Re: A new foundation for correct reasoning

By Tristan Wibberley on Thu Dec 4 01:53:41 2025

Latest reply by Richard Damon on Sat Dec 13 13:36:44 2025
on what even is the limit to decidability?

By dart200 on Thu Dec 4 00:22:24 2025

Latest reply by Richard Damon on Sat Dec 13 13:41:16 2025
Re: New formal foundation for correct reasoning makes True(X)computable

By Mikko on Wed Dec 3 12:53:17 2025

Latest reply by olcott on Sat Dec 13 09:55:43 2025
Very simple first principles showing the halting problem error

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

Latest reply by Mikko on Sat Dec 13 12:58:32 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
Proof that the halting problem itself is a category error

By polcott on Wed Dec 10 16:43:03 2025

Latest reply by olcott on Thu Dec 11 20:02:47 2025
Re: P!=NP proof (revised)

By wij on Thu Dec 11 23:23:29 2025

Latest reply by wij on Thu Dec 11 23:23:29 2025
BB(googolplex ^ googolplex) ???

By olcott on Tue Dec 2 17:51:07 2025

Latest reply by x on Wed Dec 10 13:48:23 2025
Ben's objection finally fully addressed --- Version 3.0 Clearest oneyet

By olcott on Wed Dec 10 11:36:50 2025

Latest reply by Richard Damon on Wed Dec 10 21:14:32 2025
Ben's objection finally fully addressed --- much more clearly

By olcott on Tue Dec 9 18:09:08 2025

Latest reply by Richard Damon on Wed Dec 10 21:14:18 2025
Ben Bacarisse 2022 objection finally fully addressed --- Version 4.0

By olcott on Wed Dec 10 16:53:01 2025

Latest reply by olcott on Wed Dec 10 16:53:01 2025
Re: A new category of thought

By Mikko on Wed Dec 3 12:36:34 2025

Latest reply by Richard Damon on Tue Dec 9 23:02:55 2025
Ben's objection finally fully addressed 2.0 --- I am my own grandpa

By olcott on Tue Dec 9 22:33:21 2025

Latest reply by olcott on Tue Dec 9 22:33:21 2025
Re: A new foundation for correct reasoning +++

By Mikko on Wed Dec 3 13:17:20 2025

Latest reply by olcott on Mon Dec 8 13:56:15 2025
Every rebuttal of anything that I have ever said on USENET has beenentirely baseless

By olcott on Fri Dec 5 19:38:09 2025

Latest reply by olcott on Sun Dec 7 15:07:42 2025
Re: Rejecting expressions of formal language having pathologicalself-reference

By Mikko on Sun Dec 7 13:17:57 2025

Latest reply by Mikko on Sun Dec 7 13:17:57 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
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 --- updated

By Mikko on Wed Dec 3 13:34:01 2025

Latest reply by Richard Damon on Sat Dec 6 17:26:36 2025
=?UTF-8?Q?Re=3A_Attacking_the_Busy_Beaver_5_=5B1989=5D_=28The_size_?==?UTF-8?Q?of_a_G=C3=B6del_sentence_G=29?=

By Julio Di Egidio on Sat Dec 6 09:31:35 2025

Latest reply by olcott on Sat Dec 6 06:19:49 2025
it's honestly kinda fine if no one replies to polcott

By dart200 on Thu Dec 4 23:23:13 2025

Latest reply by olcott on Fri Dec 5 13:15:37 2025
The quality of reviewers on USENET

By olcott on Wed Dec 3 18:11:07 2025

Latest reply by Chris M. Thomasson on Fri Dec 5 02:45:43 2025
=?UTF-8?Q?The_size_of_a_G=c3=b6del_sentence_G_=28Re:_Could_AlphaEvo?==?UTF-8?Q?lve_find_the_sixth_busy_beaver_=3f=29?=

By Mild Shock on Wed Dec 3 09:00:10 2025

Latest reply by Sylvia Else on Thu Dec 4 12:59:02 2025
Re: Olcott is provably correct --- no one can correct refute this

By olcott on Wed Dec 3 18:28:38 2025

Latest reply by olcott on Wed Dec 3 19:44:48 2025
Re: Most generically exactly what is a proof?

By Mikko on Wed Dec 3 12:47:42 2025

Latest reply by olcott on Wed Dec 3 10:06:12 2025
Re: Is this it for our PO here?

By Dude on Tue Dec 2 15:46:57 2025

Latest reply by Julian on Tue Dec 2 23:54:50 2025