It's hard to see how physics can be self-consistent without the a priori existence of arithmetic. Though admittedly that is a different point to whether or not physics is "emulated" in arithmetic.
On Saturday, October 24, 2015 at 4:32:47 PM UTC+11, John Clark wrote: > > On Mon, Oct 19, 2015 at 7:42 AM, Bruno Marchal <mar...@ulb.ac.be > <javascript:>> wrote: > > > In arithmetic all emulation of programs exists, > > > That is totally unimportant, It's not worth arguing about because it > wouldn't change anything even if it were true. But I'll tell you the REALLY > important question, is physics a emulation of arithmetic or is arithmetic a > emulation of physics? > > > > > >> > There is word for "100% accurate simulation", we call that an emulation. > The models of RA emulates all computations. > > ... -- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.