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

2020-07-05 Thread James Bowery
A 'bit' of information is an assertion about the state of the world. It is a "yes/no" _operator_ on the _set_ of _possibilities_, and thereby _deterministically_ alters a _nondeterministic_ structure called a "probability distribution" consisting of case counts. Each of these cases is a

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

2020-07-05 Thread immortal . discoveries
I don't get any of what you just said. We gotta use common words to explain our stuff guys. No more Front Pareto de-facto lament.  -- Artificial General Intelligence List: AGI Permalink:

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

2020-07-05 Thread immortal . discoveries
Don't get me wrong I get the whole thing about learning features, Semantics, predicting future bitsbut the other words, and phrases, are too random, can't recognize... -- Artificial General Intelligence List: AGI Permalink:

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

Re: [agi] Re: I made a multi-file compressor that beats 7zip on real-world data

2020-07-05 Thread stefan.reich.maker.of.eye via AGI
Thanks so much, Ian. -- Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Tb2cf064c700f181c-Mca28ce9c04867e73f0ee64de Delivery options: https://agi.topicbox.com/groups/agi/subscription

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