> On 31 Oct 2018, at 13:47, Philip Thrift <[email protected]> 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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
