1. Forum
  2. USENET
  3. sci.logic
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
=?UTF-8?Q?Boiling_G=C3=B6del=27s_1931_Incompleteness_proof_down_to_?= =?UTF-8?Q?its_barest_essence?=

By olcott on Tue Jan 6 08:02:27 2026

Latest reply by Mikko on Mon Jan 12 13:05:02 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 Tristan Wibberley on Sun Jan 11 14:49:46 2026
Good Morning, Vietnam! Sudoku 2026 Challenge

By Mild Shock on Mon Jan 5 12:13:19 2026

Latest reply by Tristan Wibberley on Sat Jan 10 17:02:56 2026
Exactly what are deciders in the theory of computation?

By olcott on Wed Jan 7 15:29:42 2026

Latest reply by olcott on Wed Jan 7 15:29:42 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 Tristan Wibberley on Tue Jan 6 23:43:09 2026
Re: have we been misusing incompleteness???

By Tristan Wibberley on Mon Dec 29 18:42:35 2025

Latest reply by Tristan Wibberley on Tue Jan 6 08:39:31 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 olcott on Sat Jan 3 16:14:15 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
Re: have we been misusing incompleteness? no

By joes on Tue Dec 30 09:47:48 2025

Latest reply by Mike Terry on Tue Dec 30 18:18:06 2025
Re: Meta: a usenet server just for sci.math

By Thomas 'PointedEars' Lahn on Sun Dec 28 06:23:14 2025

Latest reply by Thomas 'PointedEars' Lahn on Sun Dec 28 06:23:14 2025
Re: Proof that the halting problem is incorrect in five pages

By Richard Damon on Sat Dec 27 08:35:14 2025

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