On Monday, December 10, 2018 at 5:59:44 PM UTC-6, Philip Thrift wrote: > > > > On Monday, December 10, 2018 at 4:58:24 PM UTC-6, Jason wrote: >> >> >>> Supposing every thing you write above is true, how does this produce the >>> illusion of matter? TIA, AG >>> >>>> >>>> >>> >> This is explained in Bruno's work: >> http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHAL.htm >> >> Also in a recent paper by Markus Muller: >> https://arxiv.org/pdf/1712.01826.pdf >> >> The main conclusions are confirmed by experience, namely: >> >>> >>> - “What I observe seems to be fundamentally nondeterministic; it >>> seems that that there is irreducible randomness that governs my >>> experience.” >>> >>> >>> - “But it seems that this randomness is itself subject to simple >>> laws, which I can write down in concise equations. I can feed these >>> equations into a computer and use them to predict future observations >>> quite >>> successfully, even if only probabilistically.” >>> >>> It also predicts a "Big Bang": >> >> In particular, we will see that our theory predicts (under the assumption >>> just mentioned) that observers should indeed expect to see two facts which >>> are features of our physics as we know it: first, the fact that the >>> observer seems to be part of an external world that evolves in time (a >>> “universe”), and second, that this external world seems to have had an >>> absolute beginning in the past (the “Big Bang”). >> >> >> Jason >> > > > These complexity-oriented computing theories (like Markus Muller's [ > https://arxiv.org/abs/1712.01826 > <https://www.google.com/url?q=https%3A%2F%2Farxiv.org%2Fabs%2F1712.01826&sa=D&sntz=1&usg=AFQjCNFy6D1BDdAkJuvZTOBonPgD6E996g> > > ] above) are > Markus Mueller [sp.]
> indeed interesting. > > Also see > > Noson Yanofsky > http://www.sci.brooklyn.cuny.edu/~noson/pubs.html > http://nautil.us/issue/49/the-absurd/chaos-makes-the-multiverse-unnecessary > > One can write the universal machine in binary lambda calculus (BLC) of > course (as a binary string): > https://tromp.github.io/cl/Binary_lambda_calculus.html > > There is also higher-order modal logic theorem provers. > > (But one of these is a refutation of the existence of matter, which we use > to write [and execute] the above articles and codebases.) > > - pt > > > > > -- 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.
