1. Forum
  2. USENET
  3. sci.math
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
The essence of all Computation generically defined

By olcott on Fri Jan 16 16:58:20 2026

Latest reply by Richard Damon on Fri Jan 16 18:21:05 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 Mikko on Thu Jan 8 12:22:50 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
Prolog formally resolves the Liar Paradox

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

Latest reply by Richard Damon on Thu Jan 15 22:27:55 2026
Re: Schematic systems

By olcott on Thu Jan 15 20:06:50 2026

Latest reply by olcott on Thu Jan 15 20:06:50 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: Moment and Motion: hypercube distance

By Ross Finlayson on Wed Jan 14 09:41:00 2026

Latest reply by Ross Finlayson on Wed Jan 14 09:41:00 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 Mon Jan 12 13:05:02 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 Tristan Wibberley on Sun Jan 11 14:49:46 2026
Re: interesting new math content on yt

By sobriquet on Thu Jan 8 01:54:20 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
Chad Brown's Megalodon goes LLM (Re: Good Morning, Vietnam! Sudoku2026 Challenge)

By Mild Shock on Sat Jan 10 17:19:57 2026

Latest reply by Mild Shock on Sat Jan 10 17:19:57 2026
Help! An AI found a Heuristic for me (Re: Good Morning, Vietnam!Sudoku 2026 Challenge)

By Mild Shock on Sat Jan 10 02:41:44 2026

Latest reply by Mild Shock on Sat Jan 10 03:23:54 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