> On 31 Oct 2018, at 13:47, Philip Thrift <cloudver...@gmail.com> wrote: > > > Bruno, > > Have you looked at various SKI interpreters around that could be used? > Several now (on GitHub) in JavaScript. Also in Haskell. And there's the > Unlambda system by David Madore.
A long time ago, I have programmed in LISP and PROLOG, even been paid for that!, but since some time, … I procrastine c++ and/or Python, there is too much things to do and explore … But I might take a look. My last attempt to search for some good “little” LISP has failed. It would be cool to run the Universal Dovetailer one more time :) The mathematical problem: to find the measure on the sigma_-sentences. The method: use the “classical definition” on Gödel’s beweisbar provability. The bad news: physics appears (seemingly) in the intuitionist quantum logic. Quanta are already qualia. They are only locally sharable, physics is first person plural. I am not sure I like that, but then, in science, we are not paid for confortable “truth”. “Truth” is in quote as this what follows from the mechanist hypothesis (or the sigma_1 restriction) and no one claim that Mechanism is true. Bruno > > - pt > > > > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
