1. Forum
  2. USENET
  3. comp.ai.philosophy
Proof Theoretic Semantics Blocks Pathological Self-Reference

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

Latest reply by olcott on Fri Jan 16 19:27:55 2026
Re: is the ct-thesis cooked?

By Richard Damon on Mon Jan 12 07:06:54 2026

Latest reply by dart200 on Fri Jan 16 16:43:27 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 Richard Damon on Fri Jan 16 13:52:40 2026
Re: The Halting Problem asks for too much

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

Latest reply by Richard Damon on Fri Jan 16 12:08:26 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?Re=3A_Why_do_people_ignore_how_G=C3=B6del_simplified_his_?==?UTF-8?Q?own_proof=3F?=

By Richard Damon on Sun Jan 11 07:37:57 2026

Latest reply by Richard Damon on Sun Jan 11 07:37:57 2026
=?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1931_Incompleteness_proof_do?==?UTF-8?Q?wn_to_its_barest_essence?=

By Mikko on Thu Jan 8 12:21:15 2026

Latest reply by Mikko on Sat Jan 10 11:25:01 2026