On Thursday, August 22, 2019 at 3:34:02 AM UTC-5, Bruno Marchal wrote: > > > > On 21 Aug 2019, at 21:17, 'Brent Meeker' via Everything List < > [email protected] <javascript:>> wrote: > > > > > > > > On 8/21/2019 1:28 AM, Bruno Marchal wrote: > >> So A explains why there is only one M possible > > > > So what is the one possible M? Physicist build 10 billion dollar > machines to try to find out. If you can do it from your desk, let's hear > about it? > > A part of this has been already done, and I have explained it here. Once > you assume Mechanism, it is conceptually very simple, the physical reality > emerges from the conditional statistics on all computations, and it works > already by justifying the quantum shape of the physical reality. Only the > future will show if what they found with the 10 billion dollars machine > could have been deduced from arithmetic; or if it belongs to some > geographical type of reality. > In most case, you can bet that observation will be quicker than deduction > in arithmetic, but that has nothing to do with the conceptual question. > Arithmetic already explains why observation provides information more > quicker than the very hard derivation that Mechanism makes obligatory, if > we want to keep both the quanta and the qualia. > > The key, is that when we assume digital mechanism, there is just no choice > in the matter (sorry for the pun). > > Bruno > > >
Even if Arithmetic "explains" (all) Matter, exactly in the sense of your theory: >From a pragmatic POV, to make things (new computers, robots, vehicles, foods, ... ) there is no such thing as *arithmetics stores* to go to and get what is needed to build things out of. You have to go to *materials stores* to actually get what is needed to make anything. @philipthrift -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/c5a75345-9f97-431f-8cfe-1dc475a0ed30%40googlegroups.com.

