On Fri, Sep 10, 2021 at 2:36 PM Ben Goertzel via AGI <[email protected]> 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 Permalink: https://agi.topicbox.com/groups/agi/T5e30c339c3bfa713-M950a2b7cfd1b28a60b3739df Delivery options: https://agi.topicbox.com/groups/agi/subscription
