1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
Re: The Halting Problem asks for too much

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

Latest reply by olcott on Fri Jan 30 20:10:47 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 dart200 on Wed Jan 28 13:37:49 2026
"true on the basis of meaning expressed in language"

By olcott on Mon Jan 26 21:28:20 2026

Latest reply by olcott on Mon Jan 26 21:28:20 2026
Re: a subset of Turing machines can still be Turing complete PLO

By olcott on Thu Jan 22 17:58:46 2026

Latest reply by dart200 on Sun Jan 25 13:07:35 2026
=?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_never_actually_been_true_in_ar?= =?UTF-8?Q?ithmetic?=

By olcott on Sun Jan 18 22:28:04 2026

Latest reply by olcott on Thu Jan 22 19:38:40 2026
=?UTF-8?Q?G=C3=B6del=27s_G_has_never_actually_been_true_in_arithmet?==?UTF-8?Q?ic?=

By olcott on Sat Jan 17 15:08:22 2026

Latest reply by Richard Damon on Thu Jan 22 21:48:21 2026
Re: Back in 2020 I proved that Wittgenstein was correct all along

By olcott on Wed Jan 21 21:24:33 2026

Latest reply by olcott on Wed Jan 21 21:24:33 2026
"true on the basis of meaning expressed in language" as the ultimateanchor

By olcott on Mon Jan 19 13:11:39 2026

Latest reply by Richard Damon on Tue Jan 20 23:00:33 2026
Proof of original authorship

By olcott on Mon Jan 19 10:49:24 2026

Latest reply by Richard Damon on Tue Jan 20 00:29:19 2026
"true on the basis of meaning expressed in language" as the anchor ofall my work

By olcott on Mon Jan 19 14:39:25 2026

Latest reply by olcott on Mon Jan 19 14:39:25 2026
Re: Analytic Truth-makers

By olcott on Mon Jan 19 12:50:10 2026

Latest reply by olcott on Mon Jan 19 12:50:10 2026
=?UTF-8?Q?Closing_the_gap_of_G=C3=B6del_Incompleteness_with_Proof-T?==?UTF-8?Q?heoretic_Semantics?=

By olcott on Wed Jan 14 15:36:14 2026

Latest reply by Mikko on Mon Jan 19 10:35:15 2026
Re: What formal logical systems resolve the Liar Paradox?

By olcott on Sun Jan 18 07:45:37 2026

Latest reply by Mikko on Mon Jan 19 10:24:03 2026
=?UTF-8?Q?Re=3A_Simply_defining_G=C3=B6del_Incompleteness_and_Tarsk?==?UTF-8?Q?i_Undefinability_away_V24_=28Mapping_to_Boolean=29?=

By olcott on Mon Jan 19 09:59:12 2026

Latest reply by olcott on Mon Jan 19 09:59:12 2026
Proof Theoretic Semantics Blocks Pathological Self-Reference

By olcott on Fri Jan 16 11:47:53 2026

Latest reply by Mikko on Sun Jan 18 11:51:43 2026
Systems such as PA with proof-theoretic semantics

By olcott on Thu Jan 15 18:24:12 2026

Latest reply by Richard Damon on Fri Jan 16 11:46:52 2026
The halting problem proof fails under operational semantics

By olcott on Wed Jan 14 18:14:25 2026

Latest reply by olcott on Wed Jan 14 18:14:25 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 pa on Wed Dec 31 21:16:39 2025

Latest reply by x on Fri Jan 2 09:54:08 2026
Re: Directed Acyclic Graph's with roots

By Ross Finlayson on Wed Dec 31 18:53:42 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
Re: The exact meaning of these exact words prove ALL of my points

By Richard Damon on Wed Dec 31 14:14:33 2025

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