On 24 Feb 2015, at 23:00, Russell Standish wrote:
On Tue, Feb 24, 2015 at 08:10:35PM +0100, Bruno Marchal wrote:
Suppose, as people on this list have sometimes proposed, that we
and the world we perceive is a digital simulation in a computer
vastly more powerful than the ones we've built. Suppose this
computer is 1e500 bit machine.
I guess you mean 10e500 bit machine. (1e500 = 1).
Brent will probably jump in, but 1E500 is computer notation for
10^{500}.
More generally, xEy (normally the E is capitalised, but lower case e
is acceptable), where x is a decimal number and y is an integer,
denotes x в 10^y - convenient for ASCII script, where neither the
times symbol (в) nor superscripts are readily available.
You are right. Sorry. I don't know why that notation suddenly strikes
me as wrong, but I verified with my antic Casio mini-computer, and
indeed that's the notation. I stand corrected :)
Bruno
--
----------------------------------------------------------------------------
Prof Russell Standish Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics [email protected]
University of New South Wales http://www.hpcoders.com.au
Latest project: The Amoeba's Secret
(http://www.hpcoders.com.au/AmoebasSecret.html)
----------------------------------------------------------------------------
--
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 post to this group, send email to [email protected].
Visit this group at http://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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
