I.e. that website looks unrelated to https://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts-and-maps/boundary-institute-got-psi
On Wed, Jan 6, 2021 at 11:34 AM Ben Goertzel <[email protected]> wrote: > > Hmm.. Boundary Institute webpage seems hacked or broken or something... > > https://www.boundaryinstitute.org/ > > On Wed, Jan 6, 2021 at 11:32 AM Ben Goertzel <[email protected]> wrote: > > > > That link doesn't work for me ... but I'm highly interested, I wonder > > how that 4-valued logic relates to the ones in constructible duality > > logic or in https://arxiv.org/abs/1905.12891 > > > > On Wed, Jan 6, 2021 at 11:18 AM James Bowery <[email protected]> wrote: > > > > > > See Appendix A - Complex Case Counts 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 / see discussions + > > > participants + delivery options Permalink > > > > > > > > -- > > 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++ > > > > -- > 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++ -- 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-M806ac7566fad2a2c4159c87c Delivery options: https://agi.topicbox.com/groups/agi/subscription
