On Sunday, August 25, 2019 at 8:47:17 PM UTC-5, Brent wrote: > > > > On 8/25/2019 11:10 AM, Philip Thrift wrote: > > > On Sunday, August 25, 2019 at 12:38:17 PM UTC-5, Brent wrote: >> >> >> >> >> A mathematical structure is a relation between propositions defined by >> some rules of deduction. It is static. It has no "accidental" or as Bruno >> would say "geographic" features. Two mathematical structures can be >> isomorphic precisely because of this. It is impossible that a mathematical >> and a physical structure be isomorophic. That is just a loose way of >> talking that assumes we will abstract away enough of the physical structure >> so that the remainder can be represented mathematically and then that can >> be isomorphic to some other mathematical structure. >> >> Brent >> >> >> > > Once one eliminates Platonism and accepts that mathematics is programming > <https://codicalist.wordpress.com/2019/08/22/arche-programming/> then all > of physics (what humans have thought of to model the cosmos) can be found > in the numerical relativity and quantum simulation programs running on > computers. > > > That's false. If it were true it would imply that the simulation programs > would simulate simulation programs and so on, ad infinitum. > > Brent > > > So a program and a "physical structure" are only isomorphic if the > universe itself is a simulation. > > @philipthrift > > > Of course one can simulate simulations. That's what a hierarchy of virtual machines does.
Sometimes people confuse physics - a human-made subject communicated via some textbooks and papers (like on arXiv) - and the material word itself. Name a theory (a *theory -* something written with TeX/Math in a paper on arXiv -not an entity or process of the material world itself) of physics that a physicist claims cannot be written as a program. @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/fbd19b02-7a62-43a4-b015-6708471cc9d7%40googlegroups.com.
