On 23 Mar 2017, at 00:05, Brent Meeker wrote:
Good commentary on Sabine Hossenfelder's rant against the "we live
in a computer" form of everythingism by Scott Aaronson.
Your yearly dose of is-the-universe-a-simulation
March 22nd, 2017
Yesterday Ryan Mandelbaum, at Gizmodo, posted a decidedly tongue-in-
cheek piece about whether or not the universe is a computer
simulation. (The piece was filed under the category “LOL.”) The
immediate impetus for Mandelbaum’s piece was a blog post by Sabine
Hossenfelder, a physicist who will likely be familiar to regulars
here in the nerdosphere.
Read the rest on Scott's blog http://www.scottaaronson.com/blog/
After hammering home that point, Sabine goes further, and says that
the simulation hypothesis is almost ruled out, by (for example) the
fact that our universe is Lorentz-invariant, and a simulation of our
world by a discrete lattice of bits won’t reproduce Lorentz-
invariance or other continuous symmetries.
I agree with Aaronson's critics of Sabin. Sabin has to negate Church-
Thesis to make her point.
Both still seem to fail to see that if we accept Church Thesis and
"Yes doctor", we can only be in computation managing the infinities of
emulation in arithmetic below our substitution level.
By comparing the internal and the external physics, we can see if we
are in an emulation or not (keeping Church thesis and "yes doctor" all
along).
Bruno
Brent
P.S. I also concur with his, March 17th entry: "I will not log in to
your website"
--
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.