See Appendix A - Complex Case Counts <http://www.boundaryinstitute.org/bi/articles/Link_Theory_intro.pdf> for what qualifies as a dynamical logic's 4-valued (1, i, -1, -i) approach to deriving the core of quantum mechanics (complex probability amplitudes) as a theorem of the combinatorics of 4 real-valued, 2x2 spinor matrices.
On Sat, Jan 2, 2021 at 1:47 PM Ben Goertzel <[email protected]> wrote: > To kick off the new year ... here is Part 2 of a trilogy of papers I'm > working on ... > > "Paraconsistent Foundations for Probabilistic Reasoning, Programming > and Concept Formation > " > > https://arxiv.org/abs/2012.14474 > > this one grounds (key aspects of) PLN in paraconsistent logic, and > thus makes clearer the programming-language Curry-Howard cognate of > PLN (via the known prog-lang cognate of relevant sorts of > paraconsistent logic). Also some other related stuff like > paraconsistent Formal Concept Analysis... > > Part 3 (another paper) will sketchily represent the core OpenCog > cognitive algorithms as Galois connections involving > continuation-passing-style metagraph chronomorphisms , where the > metagraph targets are labeled w/ probabilistic/paraconsistent > dependent types as outlined in Part 2 ... > > But I will defer starting on that till I finish some work on the SNet > roadmap and related issues ... > > -- > Ben Goertzel, PhD > http://goertzel.org > > “Words exist because of meaning; once you've got the meaning you can > forget the words. How can we build an AGI who will forget words so I > can have a word with him?” -- Zhuangzhi++ ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T425c68f0cea319cd-M94fd83daf748cfc36aecd5ca Delivery options: https://agi.topicbox.com/groups/agi/subscription
