1. Forum
  2. Newsgroups
  3. comp.theory
Re: P!=NP proof (revised)

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

Latest reply by wij on Sun Dec 14 17:26:50 2025
Proof of halting problem category error --- Principle 1

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

Latest reply by Tristan Wibberley on Sun Dec 14 13:19:03 2025
Re: A new foundation for correct reasoning +++

By Mikko on Thu Dec 4 11:29:19 2025

Latest reply by Mikko on Sun Dec 14 13:05:33 2025
Re: A new category of thought

By Mikko on Thu Dec 4 11:50:42 2025

Latest reply by Mikko on Sun Dec 14 13:02:40 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 Sun Dec 14 12:54:20 2025
The correct foundation of the theory of computation

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

Latest reply by polcott on Sun Dec 14 10:16:26 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 Sun Dec 14 12:46:49 2025
The halting problem itself is unequivocally a category error

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

Latest reply by Mikko on Sun Dec 14 12:38:50 2025
Re: A new foundation for correct reasoning

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

Latest reply by Mikko on Sun Dec 14 12:05:28 2025
Defining a halt decider with perfect accuracy

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

Latest reply by olcott on Sun Dec 14 10:25:51 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 polcott on Sun Dec 14 09:34:13 2025
ChatGPT 5.2

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

Latest reply by olcott on Sat Dec 13 17:12:28 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- first HPpost that I ever made

By Richard Damon on Sat Dec 13 22:41:16 2025

Latest reply by Richard Damon on Sat Dec 13 22:41:16 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 20:50:49 2025
Re: New formal foundation for correct reasoning makes True(X)computable

By Mikko on Thu Dec 4 11:07:05 2025

Latest reply by olcott on Sat Dec 13 09:55:43 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: on what in the fuck is going on there godel-bros ???

By olcott on Wed Dec 3 11:34:17 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
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
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 olcott on Wed Dec 3 18:24:03 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
Re: Could AlphaEvolve find the sixth busy beaver ?

By Sylvia Else on Thu Dec 4 12:59:02 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