> On 3 Mar 2019, at 20:43, Brent Meeker <[email protected]> wrote: > > > > On 3/3/2019 4:52 AM, Philip Thrift wrote: >> >> >> Here's an example David Wallace presents (as an "outlandish" possibility): >> Suppose in pi (which is computable, so has a program (a spigot one, in fact) >> that produces its digits. Suppose somewhere in that stream of digits is the >> Standard Model Equation >> >> (say written in LaTeX/Math but rendered here) >> >> https://www.sciencealert.com/images/Screen_Shot_2016-08-03_at_3.20.12_pm.png >> <https://www.sciencealert.com/images/Screen_Shot_2016-08-03_at_3.20.12_pm.png> >> >> So what could this mean? (He sort of leaves it hanging.) >> > > Nothing. Given a suitable mapping the SM Lagrangian can be found in any > sequence of symbols. It's just a special case of the rock that computes > everything.
Even if rock would exist in some primitive sense, which I doubt, they do not compute anything, except in a trivial sense the quantum state of the rock. A rock is not even a definable digital object. If someone want to convince me that a rock can compute everything, I will ask them to write a complier of the combinators, say, in the rock. I will ask an algorithm generating the phi_i associated to the rock. Bruno > > Brent > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <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.
