On 16 Mar 2017, at 00:42, Brent Meeker wrote:
"Emulated" would mean we're "really" computed somewhere else.
Emulation is just a 100% exact simulation. That notion makes sense in
the digital frame, and indeed the Universal Dovetailer (alias the true
sigma_1 sentences) emulates everything emulable, that is all program
executions (and thus ourselves in the case there is a human
computationalist substitution level).
Now most truth *about* the digital machines are not emulable by any
machine: the arithmetical truth is far bigger that the computable
arithmetical truth. As I said, a part of physics has to be not
emulable, if computationalism is correct. Physics is a first person
plural phenomenon, and the first person is not only not emulable by
machine, but not even definable by machine (assuming computationalism).
Bruno
Brent
On 3/15/2017 3:28 PM, Kim Jones wrote:
Where does Bruno say we are living in a simulation? He says we are
more likely emulated.
K
On 16 Mar 2017, at 8:57 am, Bruce Kellett
<bhkell...@optusnet.com.au> wrote:
Sabine Hossenfelder has an interesting blog post about the popular
idea that we are living in a simulation created by some super-
intelligence somewhere. She is not impressed with the idea....
http://backreaction.blogspot.com/2017/03/
I think she makes some good points. Maybe Wolfram and Bruno should
listen in....
Bruce
--
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.
--
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.