Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-07 Thread John Rose
Need something akin to an LED, a Qualia Emitting Diode (QED), bidirectional... like a DIAC to communicate direct consciousness using a concept language, time symmetric. An array of quantum dots as conscious connect coupled to nervous system excited states... dots to DIAC to DIAC to dots... or so

Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-07 Thread Ben Goertzel
Wow, fascinating history! I know both Dean Radin and Ed May ... I haven't been active in empirical psi research but as you may know I edited the book "Evidence for Psi" with Damien Broderick a few years back, and have been lurking around the parapsychology community for quite a while... This pape

Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-05 Thread James Bowery
BTW: As long as we're going down the "formal tools" rabbit hole, an important bit of history bears mentioning. About the time HP kicked Tom and me out of Fiorina's $500M "Internet Chapter 2" fiasco, Federico Faggin stepped up to the plate to fund the work. Although Faggin wasn't directly aware o

Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-05 Thread James Bowery
On Sun, Jul 5, 2020 at 11:09 AM Ben Goertzel wrote: > As you perhaps know I am a big fan of imaginary logic, having started in > this direction due to some correspondences w/ Lou Kauffmann (G. Spencer > Brown's collaborator) in the mid-1980s ... > I'm not at all surprised which is why I said NOR

Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-05 Thread Ben Goertzel
As you perhaps know I am a big fan of imaginary logic, having started in this direction due to some correspondences w/ Lou Kauffmann (G. Spencer Brown's collaborator) in the mid-1980s ... However as you probably also know, type theory is now far beyond its roots w/ Russell & Whitehead etc., and th

Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-05 Thread James Bowery
The original point of Principia Mathematica's "theory of types" was to escape from Russell's Paradox. Russell's Paradox can be viewed as the problem of interpreting the statement, "This statement is false." A system of statements that permit such "paradoxes" is reducible to a directed cyclic grap

Re: [agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-05 Thread Ben Goertzel
I don't understand how the complaint about type theory connects w the point about dimensions being ignored? E.g. in our thinking regarding revising/upgrading OpenCog we have been looking at gradual typing, in which there can be multiple type systems present in the same Atomspace metagraph, with de

[agi] Formal Language Theory Has Its Head Up Its Ass

2020-07-04 Thread James Bowery
I'm motivated to write this because, while doing a routine calculation using an old 25 year old tool that no one ever much liked but a few people, for whom I have the deepest respect, I found that it had been ported to Javascript and is now online at http://www.calchemy.com/uclive.htm Here's what