ah yes these are very familiar. materials! ;) Linas Vepstas and I have been batting around Coecke's papers for an awfully long time now...
On Thu, Sep 9, 2021 at 9:54 PM Rob Freeman <chaotic.langu...@gmail.com> wrote: > > On Fri, Sep 10, 2021 at 2:36 PM Ben Goertzel via AGI <agi@agi.topicbox.com> > wrote: >> >> ... >> Working out the specifics of the Curry-Howard mapping from MeTTa to >> intuitionistic logics, and from there to categorial semantics, is one >> of the things on our plate for the next couple months > > > Ah, if that is to be worked out then there are a couple of threads of work > which might be useful. I don't recall if I've mentioned them to you anywhere: > > From quantum foundations via natural language meaning to a theory of > everything > Bob Coecke > https://arxiv.org/abs/1602.07618 > > Bartosz Milewski > Category Theory 1.1: Motivation and Philosophy > Motivation and philosophy > https://www.youtube.com/watch?time_continue=22&v=I8LbkfSSR58&feature=emb_logo > > The second appears to be the start of a lecture series on the relevance of CT > for the design of programming languages. > > The first proposes specifically category theoretic formal formulations for > AI/concepts. Starting with natural language. Coecke wraps meaning up in a > kind of CT formalism, and then expects they will need quantum computing to > disambiguate it all. Fold it in using CT, fold it out using quantum computing. > > Coecke's group appears to be getting good funding around Oxford. > > -Rob > Artificial General Intelligence List / AGI / see discussions + participants + > delivery options Permalink -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T5e30c339c3bfa713-Mca896eb4c2688faa48eb568c Delivery options: https://agi.topicbox.com/groups/agi/subscription
