Re: The Halting Problem asks for too much

By olcott on Sun Jan 11 08:18:11 2026

Latest reply by Mikko on Tue Jan 13 11:13:22 2026

Re: Proof that the halting problem itself is a category error

By Oleksiy Gapotchenko on Tue Jan 6 01:24:39 2026

Latest reply by Richard Damon on Tue Jan 13 07:09:44 2026

Re: Prolog formally resolves the Liar Paradox

By olcott on Sat Jan 10 10:11:17 2026

Latest reply by Richard Damon on Mon Jan 12 22:16:53 2026

Re: Computation and Undecidability

By olcott on Sun Jan 11 12:12:42 2026

Latest reply by olcott on Sun Jan 11 15:50:30 2026

=?UTF-8?Q?Why_do_people_ignore_how_G=C3=B6del_simplified_his_own_pr?= =?UTF-8?Q?oof=3F?=

By olcott on Mon Jan 5 18:06:15 2026

Latest reply by Richard Damon on Sun Jan 11 07:37:57 2026

=?UTF-8?Q?Why_do_people_ignore_the_simplifications_that_G=C3=B6del_?= =?UTF-8?Q?admitted_to_=3F?=

By olcott on Mon Jan 5 08:04:28 2026

Latest reply by olcott on Mon Jan 5 08:54:07 2026

Computing truth values from finite strings

By olcott on Sat Jan 3 16:15:51 2026

Latest reply by olcott on Mon Jan 5 08:30:57 2026

Re: The ultimate foundation of [a priori] Truth

By olcott on Fri Jan 2 15:24:36 2026

Latest reply by olcott on Mon Jan 5 08:59:50 2026

Key difference between math and the philosophy of math

By olcott on Fri Jan 2 10:08:58 2026

Latest reply by Thomas 'PointedEars' Lahn on Sat Jan 3 22:20:03 2026

Re: have we been misusing incompleteness???

By olcott on Mon Dec 29 13:32:01 2025

Latest reply by x on Fri Jan 2 09:54:08 2026

Directed Acyclic Graph's with roots

By olcott on Mon Dec 29 17:07:24 2025

Latest reply by Ross Finlayson on Fri Jan 2 01:38:09 2026

=?UTF-8?Q?Boiling_G=C3=B6del=27s_1931_Incompleteness_down_to_its_es?= =?UTF-8?Q?sence?=

By olcott on Thu Jan 1 08:45:19 2026

Latest reply by Richard Damon on Thu Jan 1 18:13:39 2026

The exact meaning of these exact words prove ALL of my points

By olcott on Tue Dec 30 22:21:51 2025

Latest reply by Richard Damon on Wed Dec 31 17:51:30 2025

Thought this through for 30,000 hours over 28 years

By olcott on Sat Dec 27 18:54:33 2025

Latest reply by Tristan Wibberley on Tue Dec 30 21:23:30 2025

Americans Hate AI. Which Party Will Benefit?

By Nomen Nescio on Tue Dec 30 08:55:08 2025

Latest reply by Nomen Nescio on Tue Dec 30 08:55:08 2025

Proof that the halting problem is incorrect in five pages

By olcott on Thu Dec 25 17:39:26 2025

Latest reply by Richard Damon on Sat Dec 27 19:44:02 2025

By what process can we trust the analysis of LLM systems

By olcott on Fri Dec 26 21:19:46 2025

Latest reply by Tristan Wibberley on Sat Dec 27 17:24:13 2025

The scope of computation defines its true limits

By olcott on Wed Dec 24 13:20:16 2025

Latest reply by Richard Damon on Wed Dec 24 21:22:53 2025

Categorically exhaustive reasoning

By olcott on Wed Dec 24 16:58:26 2025

Latest reply by Richard Damon on Wed Dec 24 18:20:05 2025

Turing-machine deciders a precise definition

By olcott on Tue Dec 23 09:34:19 2025

Latest reply by Richard Damon on Wed Dec 24 14:27:25 2025

Conventional notion of deciders

By olcott on Sun Dec 21 08:37:22 2025

Latest reply by Richard Damon on Mon Dec 22 16:54:02 2025

Re: The primary first principle of all Turing Machine based computation

By Richard Damon on Fri Dec 19 18:20:19 2025

Latest reply by Richard Damon on Mon Dec 22 11:39:14 2025

Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules

By olcott on Sun Dec 21 17:19:50 2025

Latest reply by Richard Damon on Mon Dec 22 07:38:16 2025

How do halt deciders really work? --- AKA The Halting Problem Is Wrong

By olcott on Fri Dec 19 19:27:44 2025

Latest reply by Richard Damon on Sun Dec 21 12:38:41 2025

The fundamental nature of computational undecidability

By olcott on Sat Dec 20 20:33:18 2025

Latest reply by Richard Damon on Sun Dec 21 12:38:38 2025

Turing machines can not run other Turing machines

By olcott on Sat Dec 20 07:09:16 2025

Latest reply by Python on Sun Dec 21 11:58:09 2025

Re: The most definitive measure of the behavior of the input to H(P)

By olcott on Sat Dec 20 08:07:59 2025

Latest reply by Richard Damon on Sat Dec 20 13:56:35 2025