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

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

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

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

[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