Re: A new category of thought

By Kaz Kylheku on Sat Nov 29 17:53:26 2025

Latest reply by olcott on Sun Dec 7 11:38:42 2025

on what even is the limit to decidability?

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

Latest reply by Mikko on Sun Dec 7 14:07:28 2025

Re: Rejecting expressions of formal language having pathologicalself-reference

By olcott on Sat Nov 29 12:01:47 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

Re: on deciding this sentence is false

By dart200 on Sat Nov 29 10:48:42 2025

Latest reply by Mikko on Sun Dec 7 13:08:41 2025

Re: A new foundation for correct reasoning

By olcott on Sat Nov 29 11:54:09 2025

Latest reply by Mikko on Sun Dec 7 13:02:57 2025

Re: New formal foundation for correct reasoning makes True(X)computable

By Richard Damon on Sat Nov 29 15:01:52 2025

Latest reply by olcott on Sun Dec 7 11:15:26 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 08:53:09 2025

The rational reasoner

By Julio Di Egidio on Sun Nov 30 16:16:30 2025

Latest reply by Chris M. Thomasson on Sat Dec 6 18:48:54 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 Richard Damon on Sat Nov 29 14:58:09 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

Re: Stop responding to Olcott by December 2025: who is in? [t - 0]

By Kaz Kylheku on Mon Dec 1 19:14:45 2025

Latest reply by Chris M. Thomasson on Fri Dec 5 02:45:43 2025

Could AlphaEvolve find the sixth busy beaver ?

By Mild Shock on Sun Nov 30 13:38:25 2025

Latest reply by Sylvia Else on Thu Dec 4 12:59:02 2025

Olcott is wrong

By HAL 9000 on Sun Nov 30 16:15:14 2025

Latest reply by olcott on Wed Dec 3 19:44:48 2025

Most generically exactly what is a proof?

By olcott on Mon Dec 1 06:27:20 2025

Latest reply by olcott on Wed Dec 3 10:06:12 2025

Is this it for our PO here?

By Chris M. Thomasson on Mon Dec 1 16:39:50 2025

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

Re: Generalized Halting Problem

By Chris M. Thomasson on Sat Nov 29 14:49:35 2025

Latest reply by olcott on Tue Dec 2 08:57:15 2025

Re: Is Goldbach conjecture a NPC problem?

By dart200 on Sat Nov 29 10:57:35 2025

Latest reply by dart200 on Mon Dec 1 11:26:20 2025

Computer Science

By HAL 9000 on Sun Nov 30 21:28:29 2025

Latest reply by Richard Damon on Sun Nov 30 16:59:38 2025

on "Nothing is final"

By dart200 on Sat Nov 29 10:53:14 2025

Latest reply by Mikko on Sun Nov 30 11:16:06 2025

Re: Done with Olcott. --- Kaz cannot think outside the box

By Kaz Kylheku on Sat Nov 29 20:39:27 2025

Latest reply by Richard Damon on Sat Nov 29 20:08:17 2025

All taste...

By Chris M. Thomasson on Sat Nov 29 20:06:06 2025

Latest reply by Chris M. Thomasson on Sat Nov 29 20:07:33 2025

Re: olcott is wrong

By Chris M. Thomasson on Sat Nov 29 16:00:08 2025

Latest reply by Chris M. Thomasson on Sat Nov 29 16:00:08 2025

Re: Meta: a usenet server just for sci.math

By Chris M. Thomasson on Sat Nov 29 15:20:29 2025

Latest reply by Chris M. Thomasson on Sat Nov 29 15:20:29 2025