On 29 June 2014 20:04, Bruno Marchal <[email protected]> wrote: > With comp, what i showed is that we have indeed to extract the law of the > qubits ("quantum logic") from the laws of the bits (the laws of Boole, + > Boolos). IMO, Everett + decoherence already shows the road qubits to bits. > But comp provides a double (by G/G*) reverse of that road, which separates > quanta and qualia (normally, although quanta must be a first person plural). > > >> It sounds to me as though you are saying that information is real if > arithmetic is real...? > > What do you mean by "real" here? > > The question is not so much about what is real, but about what is > primitively real. > > With computationalism, and the TOE chosen, 0, s(0), ... and + and * are > primitively real, as we assume the RA axioms. Information is derived from > it, both the classical one, and the quantum one. > > But a physicist like Landauer(*) would say that "information" is real > because it is an essentially physical things: > > > (*) > http://www.uni-leipzig.de/~biophy09/Biophysik-Vorlesung_2009-2010_DATA/QUELLEN/LIT/A/B/3/Landauer_1996_physical_nature_information.pdf > > > (If so, deriving the entropy of a black hole would be support for comp :-) > > > I don't see why. It would be consistent with Landauer's notion of physical > information, ISTM. >
Maybe I jumped the gun here, or something. Deriving the entropy of a black hole seems to me - upon reflection - to show that information is physically real, so it makes it as real as the physical world. According to comp the physical world is not primitively real, so information would be not primitively real either. However, it WOULD be physically real, which is a step away from "just something convenient for humans to use" (like temperature, as mentioned elsewhere). This seems to accord with fundamental particles appearing to be little bundles of information, which I think is roughly A Garrett Lisi's view, amongst others (JA Wheeler?) -- 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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
