1. Forum
  2. USENET
  3. sci.logic
2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back]

By Mild Shock on Wed Feb 4 02:21:40 2026

Latest reply by Mild Shock on Sat Feb 28 16:38:18 2026
=?UTF-8?Q?P=28doom=29_is_AI=e2=80=99s_latest_apocalypse_metric_=28R?= =?UTF-8?Q?e:_RDFs_revenge_on_the_AI_Boom_[GraphMERT]=29?=

By Mild Shock on Tue Feb 24 01:05:19 2026

Latest reply by Mild Shock on Tue Feb 24 01:05:19 2026
=?UTF-8?Q?Lion_and_Unicorn:_H=c3=a5kan_Kjellerstrand_R.I.P.?=

By Mild Shock on Mon Feb 23 20:54:55 2026

Latest reply by Mild Shock on Mon Feb 23 20:54:55 2026
Re: on ignoring the undecidable

By Mikko on Mon Feb 9 16:57:23 2026

Latest reply by Mikko on Fri Feb 20 11:46:27 2026
Re: Galaxies don't fly apart because their entire frame is rotating

By Ross Finlayson on Tue Feb 10 07:56:25 2026

Latest reply by Ross Finlayson on Mon Feb 16 09:38:10 2026
=?UTF-8?Q?ANN:_CulotteTalk=e2=84=a2_=e2=80=94_the_only_logic_langua?= =?UTF-8?Q?ge_with_thermal_semantics.?=

By Mild Shock on Fri Feb 13 14:56:34 2026

Latest reply by Mild Shock on Fri Feb 13 14:56:34 2026
=?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1931_Incompleteness_down_to_?= =?UTF-8?Q?its_essence?=

By Richard Damon on Fri Feb 13 11:01:15 2026

Latest reply by Richard Damon on Fri Feb 13 11:01:15 2026
Unabomber Mac Neger from the Ethernal Troll Cave [1993 Nostalgia]

By Mild Shock on Thu Feb 12 21:39:54 2026

Latest reply by Mild Shock on Fri Feb 13 07:41:34 2026
Re: Making the body of knowledge computable

By olcott on Wed Feb 11 15:27:45 2026

Latest reply by olcott on Thu Feb 12 14:26:21 2026
Re: on ignoring the undecidable --- is the wrong approach

By olcott on Thu Feb 12 11:41:55 2026

Latest reply by olcott on Thu Feb 12 11:41:55 2026
Die Geschichte von Ludwig XIV [AI is not Dead]

By Mild Shock on Mon Jan 19 23:03:57 2026

Latest reply by Mild Shock on Tue Feb 10 10:52:06 2026
Changing the foundational basis to Proof Theoretic Semantics Tarski Undefinability is overcome

By olcott on Thu Feb 5 10:55:56 2026

Latest reply by Richard Damon on Mon Feb 9 22:47:26 2026
When halt provers are allowed to reject bad inputs the remaining domain is decidable

By olcott on Wed Feb 4 10:47:50 2026

Latest reply by Mikko on Sun Feb 8 11:06:04 2026
Re: The Halting Problem asks for too much

By Mikko on Wed Jan 14 09:58:26 2026

Latest reply by Mikko on Mon Feb 2 09:39:34 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 Tristan Wibberley on Sun Feb 1 20:04:09 2026
Proof Theoretic Semantics Blocks Pathological Self-Reference

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

Latest reply by Tristan Wibberley on Fri Jan 30 23:39:33 2026
cancel <10l9s76$3f9qc$1@dont-email.me>

By mikko.levanto on Tue Jan 27 08:28:07 2026

Latest reply by mikko.levanto on Tue Jan 27 08:28:07 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
Well-founded proof theoretic semantics eliminates undecidability

By olcott on Thu Jan 22 11:25:34 2026

Latest reply by Richard Damon on Sat Jan 24 15:10:51 2026
Back in 2020 I proved that Wittgenstein was correct all along

By olcott on Mon Jan 19 11:56:38 2026

Latest reply by Tristan Wibberley on Fri Jan 23 04:43:32 2026
Magic square of squares [Richard Guy] (Re: Chad Brown's Megalodon goes LLM)

By Mild Shock on Thu Jan 22 01:41:30 2026

Latest reply by Mild Shock on Thu Jan 22 01:41:30 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 Tristan Wibberley on Wed Jan 21 20:56:23 2026
"true on the basis of meaning expressed in language" as the ultimate anchor

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 of all 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: What formal logical systems resolve the Liar Paradox?

By Richard Damon on Wed Jan 14 21:57:59 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
Schematic systems

By Tristan Wibberley on Thu Jan 15 23:10:22 2026

Latest reply by mikko.levanto on Sat Jan 17 10:18:03 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
The halting problem proof fails under operational semantics

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

Latest reply by Richard Damon on Thu Jan 15 06:50:36 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