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

[88/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0878+274.PAR2""106408" yEnc (217/284)

By GhostGhost on Mon Jan 12 00:59:52 2026

Latest reply by GhostGhost on Mon Jan 12 00:59:52 2026

[86/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0330+274.PAR2""106408" yEnc (280/284)

By GhostGhost on Mon Jan 12 00:59:16 2026

Latest reply by GhostGhost on Mon Jan 12 00:59:16 2026

[86/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0330+274.PAR2""106408" yEnc (279/284)

By GhostGhost on Mon Jan 12 00:59:14 2026

Latest reply by GhostGhost on Mon Jan 12 00:59:14 2026

[88/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0878+274.PAR2""106408" yEnc (210/284)

By GhostGhost on Mon Jan 12 00:59:12 2026

Latest reply by GhostGhost on Mon Jan 12 00:59:12 2026

[86/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0330+274.PAR2""106408" yEnc (278/284)

By GhostGhost on Mon Jan 12 00:59:04 2026

Latest reply by GhostGhost on Mon Jan 12 00:59:04 2026

[88/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0878+274.PAR2""106408" yEnc (208/284)

By GhostGhost on Mon Jan 12 00:59:03 2026

Latest reply by GhostGhost on Mon Jan 12 00:59:03 2026

[88/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0878+274.PAR2""106408" yEnc (207/284)

By GhostGhost on Mon Jan 12 00:58:59 2026

Latest reply by GhostGhost on Mon Jan 12 00:58:59 2026

[88/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0878+274.PAR2""106408" yEnc (204/284)

By GhostGhost on Mon Jan 12 00:58:34 2026

Latest reply by GhostGhost on Mon Jan 12 00:58:34 2026

[86/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0330+274.PAR2""106408" yEnc (272/284)

By GhostGhost on Mon Jan 12 00:58:06 2026

Latest reply by GhostGhost on Mon Jan 12 00:58:06 2026

[88/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0878+274.PAR2""106408" yEnc (197/284)

By GhostGhost on Mon Jan 12 00:58:06 2026

Latest reply by GhostGhost on Mon Jan 12 00:58:06 2026

[86/91] - "Adobe Photoshop 2025 v26.9 Portable.vol0330+274.PAR2""106408" yEnc (271/284)

By GhostGhost on Mon Jan 12 00:58:03 2026

Latest reply by GhostGhost on Mon Jan 12 00:58:03 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

interesting new math content on yt

By sobriquet on Wed Jan 7 04:57:33 2026

Latest reply by Ross Finlayson on Sun Jan 11 10:09:51 2026

Murder INC.

By The Starmaker on Sat Jan 10 08:49:10 2026

Latest reply by Thomas 'PointedEars' Lahn on Sun Jan 11 03:44:41 2026

Good Morning, Vietnam! Sudoku 2026 Challenge

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

Latest reply by Mild Shock on Sat Jan 10 17:19:57 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

Re: 32 bit or 64 bit !

By sobriquet on Sun Jan 4 02:59:55 2026

Latest reply by Thomas 'PointedEars' Lahn on Tue Jan 6 21:11:16 2026

Re: have we been misusing incompleteness???

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

Latest reply by Tristan Wibberley on Tue Jan 6 02:26:01 2026

Re: Hidden dimensions could explain where mass comes from

By nospam on Mon Jan 5 22:55:19 2026

Latest reply by nospam on Mon Jan 5 22:55:19 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

Re: have we been misusing =?UTF-8?Q?incompleteness=3F=20=3F=20=3F=20PLO?=

By Python on Fri Jan 2 15:11:13 2026

Latest reply by Richard Damon on Mon Jan 5 07:28:30 2026

Re: Computing truth values from finite strings --- no buts

By olcott on Sat Jan 3 20:44:30 2026

Latest reply by olcott on Mon Jan 5 08:30:57 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

Computing truth values from finite strings

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

Latest reply by Richard Damon on Sat Jan 3 21:28:59 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

Fwd: Einstein's God (a cosmic religion) is called Spinoza's God

By Thomas Heger on Mon Dec 29 09:57:28 2025

Latest reply by Ross Finlayson on Thu Jan 1 10:30:38 2026

Re: Any Math Heads Out There?

By Thomas 'PointedEars' Lahn on Sun Dec 28 04:27:13 2025

Latest reply by Ross Finlayson on Wed Dec 31 18:51:09 2025

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

A Question On Randomness

By Thomas Rumble on Tue Dec 30 13:27:18 2025

Latest reply by John Hasler on Tue Dec 30 13:21:16 2025

technical-scientific spreadsheet

By Udo Mark on Mon Dec 29 12:48:55 2025

Latest reply by Udo Mark on Mon Dec 29 12:48:55 2025

Re: Einstein's God (a cosmic religion) is called Spinoza's God

By Thomas 'PointedEars' Lahn on Sun Dec 28 06:26:48 2025

Latest reply by Thomas 'PointedEars' Lahn on Sun Dec 28 19:54:17 2025

Re: The Ever Expanding Universe

By The Starmaker on Sat Dec 27 22:50:14 2025

Latest reply by The Starmaker on Sun Dec 28 11:39:49 2025

Re: Re TOE

By Ross Finlayson on Sun Dec 28 10:07:47 2025

Latest reply by Ross Finlayson on Sun Dec 28 10:07:47 2025

Re: how (Aristotle says "potential is actual and actual is potential")

By Ross Finlayson on Sun Dec 28 10:02:04 2025

Latest reply by Ross Finlayson on Sun Dec 28 10:02:04 2025

Re: The syllogism proves that the Principle of Explosion is nonsense

By Ross Finlayson on Sun Dec 28 09:59:10 2025

Latest reply by Ross Finlayson on Sun Dec 28 09:59:10 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

Proof that the halting problem is incorrect in five pages

By olcott on Sat Dec 27 10:49:53 2025

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