On 7 May 2014 06:22, <[email protected]> wrote: > > On Tuesday, May 6, 2014 6:07:27 PM UTC+1, Bruno Marchal wrote: > >> >> by the way, you wouldn't be the only one to be unclear what a prediction >> is supposed to be. No one much understands it these days. The guy with the >> major theory on this list, Bruno, thinks his ToE is falsifiable on >> the basis as a ToE it has to describe the forces of nature and everything >> else, and if that doesn't happen at some point in the future then his >> theory is falsified. >> >> >> You seem to have clearly missed the point Gibbsa. UDA just leaves no >> choice (except reifying matter with a magic ability to select a >> computation). >> >> UDA explains why we have to translate the mind-body problem into the >> problem of deriving physics from arithmetic, and AUDA makes the translation >> constructive, indeed we can already test the logic obeyed by the observable. >> >> Yeah, I decided not to bring in COMP - I had to make an emergency ruling that months with an 'M' in them also let me indulge my materialist side (I know, I know, but only in threads with an 'R' in the title, honest :)
The thing is, this is a physicalist theory, so I think we have to treat it as such and temporarily ignore COMP, or the waters get too murky. Will Tronnies drop out of physics which in turn drops out of a measure on computations, as seen from a 1p point of view? Perhaps - but, not having got to grips with Bruno's explanation about how physics emerges from the sum of computations (although I can see the logic of it, in a weak sense of the word), I feel unqualified to bring that into the discussion. So I have no choice but to stick with traditional empirical tests. -- 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.
