See "Digram Boxes to the Rescue" in: http://www.boundaryinstitute.org/articles/Dynamical_Markov.pdf
"Digram box linking, which is based on the mathematics of relations rather than of functions..." Set-valued maps strike me as a premature degeneration of relations. While I understand the importance of such degeneration in computer systems (since computers are deterministic state machines as you obviously recognize) I'm not so sure it is necessary to abandon relations in your formulation so early in your project by degenerating them into set-valued maps (ie: set valued functions). It's widely recognized that von Neumann screwed up quantum logic but there has been little success in reformulating it in such a manner as to permit information theory to contribute to non-deterministic systems. Specifically, what I was trying to do by hiring Tom Etter at the HP e-speak project <https://web.archive.org/web/20061010040625/http://boundaryinstitute.org/articles/Reflections_on_PSCQM.pdf> was revisit the foundation of programming languages, and more generally logic programming languages in terms that would encompass so-called quantum computing and more generally quantum logic in terms of "general Markov process" that, quite naturally, exhibit two-way flow of information ala constraint logic programming where abstract processes (ala Whitehead) get spawned by virtue of the non-deterministic relations. Aggregating those *processes* as "set values" is necessary only when treating them as probability distributions to be sampled. Of course that *is* necessary in any deterministic computer system but one should not get ahead of one's self in the formulation. On Sun, Apr 28, 2024 at 7:13 AM YKY (Yan King Yin, 甄景贤) < [email protected]> wrote: > Hi friends, > > This is my latest paper. I have uploaded some minor revisions past the > official deadline, not sure if they would be considered by the referees 😆 > > In a sense this paper is still on-going research, inasmuch as AGI is still > on-going research. But it won't remain that way for long 😆 > > I am also starting a DAO to develop and commercialize AGI. I hope some > people will start to join it. Right now I'm alone in this world. It seems > that everyone are still uncomfortable with global collaboration (which > implies competition, that may be the thing that hurts) and they want to > stay in their old racist mode for a little while longer. > > To be able to lie, and force others to accept lies, confers a lot of > political power. Our current world order is still based on a lot of lies. > North Korea doesn't allow their citizens to get on the internet for fear > they will discover the truth about the outside world. Lies are intricately > tied to institutions and people tend to support powerful institutions, > which is why it is so difficult to break away from old tradition. > > -- > YKY > *"The ultimate goal of mathematics is to eliminate any need for > intelligent thought"* -- Alfred North Whitehead > > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + > delivery options <https://agi.topicbox.com/groups/agi/subscription> > Permalink > <https://agi.topicbox.com/groups/agi/T45b9784382269087-Md44aa1a2894f9b955e01d8f1> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T45b9784382269087-Mdeee59d0bb36a9c114ae3078 Delivery options: https://agi.topicbox.com/groups/agi/subscription
