I should proof-read my emails, first: On Sun, Jan 17, 2021 at 2:21 PM Linas Vepstas <[email protected]> wrote:
> > I've wrapped a few things here and there. I have not daydreamed about > wrapping formal systems, but have not found any compelling reason to do so. > I strongly encourage others to do so. (Well, I strongly encourage planning > and strategizing, first. Good plans results in fewer disappointments.) > I meant to say "I have daydreamed about wrapping formal systems". High on my list is ASP - answer-set-programming (potasco, the potsdam solver) but certainly, other solvers, HOL systems, metamath are all reasonable candidates, and really, the question has to be "great! so what? now what do we do?" I have provisional answer to that, but maybe later. -- Linas -- Patrick: Are they laughing at us? Sponge Bob: No, Patrick, they are laughing next to us. -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHrUA34mZxD36grAZ_Vef5ROGZx%3DdmeDf7k34ipLJfHHr0ysZQ%40mail.gmail.com.
