On 8/26/2019 12:11 AM, Philip Thrift wrote:
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.
It's a hierarchy of machines, but they are not running the same
computation. It bottoms out and doesn't imply an infinite regress.
Brent
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]
<mailto:[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
<https://groups.google.com/d/msgid/everything-list/fbd19b02-7a62-43a4-b015-6708471cc9d7%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/00b3a684-bf7a-c9b4-d6fd-e1ed1d27bac1%40verizon.net.
