> On 25 Aug 2019, at 20:10, Philip Thrift <[email protected]> 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/>
If you accept the idea that a machine stops, or does not stop, then 99,9999…% of the mathematical reality, and some percentage of the physical reality, is not programmable. > 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. If I am computable, reality cannot be computable. > > So a program and a "physical structure" are only isomorphic if the universe > itself is a simulation. With mechanism, despite a general misunderstanding, the physical reality is not a simulation, nor is the mathematical reality (even limited to the arithmetical reality). This is already empirically confirmed somehow, by QM, I would say. Bruno > > @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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/519b551b-9a7a-412f-938b-f73aa3830eec%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/519b551b-9a7a-412f-938b-f73aa3830eec%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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/A8A8F04C-1943-4B91-A5C9-8124423D72F7%40ulb.ac.be.
