On 17 Mar 2016, at 16:26, spudboy100 via Everything List wrote:


Wolfram would agree with this paper in some ways.
https://www.youtube.com/watch?v=Re9eB_j6m-0

The main content gets very interesting, for me, at 1hr 8 minutes in, and 1 hr 12 minutes in to Wolfram's SETI lecture.

-----Original Message-----
From: Dan <[email protected]>
To: Everything List <[email protected]>
Sent: Wed, Mar 16, 2016 11:13 pm
Subject: Can Space-Time Be Based on Logic and Computation?

Paper:
http://arxiv.org/abs/1602.06987

Comments:
Lossless compression of an image or audio file approximates its Kolmogorov complexity and reveals its "compressibility," or "interestingness." If it's not at all compressible it is too random to be aesthetic or enjoyable, whereas too much compressibility is associated with oversimplicity. Many classical works have been analyzed in this way and show to be in the middle. Schmidhuber mentions a theory of creativity, fun, motivation based on compression progress. Compression progress seems to be essential to theory of general AI- I refer to neuroevolution techniques, Cilibrasi and Vitanyi's paper Clustering by Compression for inference, as well as Wissner-Gross's simulations showing tool-usage behavior upon entropy maximization. Was a paper recently giving exact mapping between renomalization group and deep learning.

Do you have the reference of that paper?



Paper I link to above takes idea of data compression / Kolmogorov complexity even beyond a relationship to statistical mechanics or deep learning to explain the causal appearance of spacetime itself. I want to understand how Extreme Physical Information fits in to all of this.. it provides observer dependence and derivation of so many physical and nonphysical laws. It also encapsulates limits of knowledge using any particular channel of perception.

Of course the Gödel type of limitation (as opposed to Kolmogorov or Chaitin type of limitation) is independent of even the existence of a channel of perception (which are eventually emergent on the Gödel- Löbian sort of limitation). A big difference between both is that the algorithmic information limitation is non constructive: you get an infinity of undecidable sentences, but no means to individually recognize them. On the contrary, the Gödel-Löbian limitations is constructive, and gives the means to the machine to build the undecidable sentences, and perhaps to extends itself from them. Indeed the whole (propositional) logic of the true but non provable sentences is structured by the modal logic G* minus G and its intensional variants. This is useful to get the qualia and the general qualitative feature associate to consciousness.

Bruno





--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

http://iridia.ulb.ac.be/~marchal/



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to