Re: Evidence for the simulation argument

From: Stathis Papaioannou <stathisp.domain.name.hidden>
Date: Sat, 17 Mar 2007 21:06:44 +1100

On 3/17/07, Brent Meeker <meekerdb.domain.name.hidden> wrote:

>> But what is Platonia - Tegmarks all mathematically consistent
> >> universe? or Bruno's Peano arithmetic - or maybe Torny's finite
> >> arithmetic (which would be a much smaller "everything").
> >
> >
> > And while we're at it, why exclude non-mathematical structures?
>
> I guess that depends on what you mean by "mathematical structures". I
> would take any non-contradictory set of axioms to define a mathematical
> structure. I'm not sure what it would mean to include self-contradictory
> "structures". If you regard "mathematics" as a game of propositions it just
> means every wff is a theorem. But if you regard "mathematics" as existing
> (even in Platonia) I'm at a loss.


What I meant was the naive interpretation of "everything exists": cartoon
characters in cartoon worlds *just there* rather than generated by some
computer simulation or set of physical laws, as our universe seems to be. If
you look at only computations in Platonia, you could argue that such
structures (which as a matter of fact could be generated computationally, so
perhaps non-mathematical was a poor choice of words) would be of low
measure. However, what of the ones "outside" the computer? It seems to me
they should have the same ontological status as the abstract computer, but
it is then impossible to assign them a measure which makes the weirder ones
less likely, as has been done with computation.

Stathis Papaioannou

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sat Mar 17 2007 - 06:07:00 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:13 PST