Sujet : Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prologDate : 01. Aug 2024, 18:13:03
Autres entêtes
Message-ID : <v8gc6e$l44p$1@solani.org>
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
Hi,
I remember Robert Stärk's disappearing from
academic life at ETH Zurich all of a sudden.
Did Ulrich Neumerkel now also disappeared not
because the Scryer Prolog disaster, but after
he figured out that failure slices are not hip
enought? What could be more hip, are the modalities
of Robert Stärk's logic more hip now and even useful?
Automated Theorem Proving for Prolog Verification
Fred Mesnard etc.. May 2024
https://lim.univ-reunion.fr/staff/fred/Publications/24-MesnardMP-slides.pdfDisclaimer: I am not deep into this theory,
it has some ingredients that were floating around
the 80's / 80's, not only in the millieau of ETH Zurich,
but also in the vincinity of Gehard Jaeger, Bern.
There are many alternative formalizations that
can express termination etc.. But maybe LPTP is
especially suited for Prolog?
Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]
ZebralLogic for evaluating LLMs (Was: Alan Kay's Dynabook fueled by Prolog?)