1. Forum
  2. USENET
  3. comp.theory
The Halting Problem asks for too much

By olcott on Tue Jan 6 22:44:13 2026

Latest reply by Mikko on Tue Jan 13 11:13:22 2026
Prolog formally resolves the Liar Paradox

By olcott on Thu Jan 8 17:28:22 2026

Latest reply by Richard Damon on Tue Jan 13 07:10:04 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
=?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
Re: have we been misusing incompleteness???

By dart200 on Sun Dec 28 23:17:50 2025

Latest reply by Tristan Wibberley on Tue Jan 6 02:26:01 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
reed the shit and weep, dick

By dart200 on Sat Jan 3 03:00:49 2026

Latest reply by dart200 on Sat Jan 3 22:25:33 2026
Key difference between math and the philosophy of math

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

Latest reply by olcott on Sat Jan 3 16:14:15 2026
on the ghost detector revised

By dart200 on Wed Dec 31 00:28:03 2025

Latest reply by Richard Damon on Fri Jan 2 10:56:43 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
Re: on the limit to undecidability

By dart200 on Sun Dec 28 23:13:54 2025

Latest reply by Richard Damon on Wed Dec 31 07:23:51 2025
Re: Thought this through for 30,000 hours over 28 years

By Richard Damon on Mon Dec 29 08:37:28 2025

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