The correct link is on archive.org: https://web.archive.org/web/20130511044913/http://www.boundaryinstitute.org/bi/articles/Link_Theory_intro.pdf
On Wed, Jan 6, 2021 at 1:17 PM James Bowery <[email protected]> wrote: > 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-Me03642c8c2b425120c9ae530 Delivery options: https://agi.topicbox.com/groups/agi/subscription
