Re: Evidence for the simulation argument

From: Brent Meeker <meekerdb.domain.name.hidden>
Date: Tue, 13 Mar 2007 09:44:48 -0800

Mohsen Ravanbakhsh wrote:
> /Why? "Mathematical" means nothing but not self-contradictory.
> Sherlock Holmes stories are mathematical. That doesn't mean Sherlock
> Holmes exists in some Platonic realm.
> /
>
> Brent,
>
> What do you mean by that?

Mathematics is just assuming some axioms and rules of inference and then proving theorems that follow from those. There's no restriction except that it should be consistent, i.e. not every statement should be a theorem. So you can regard a game of chess as a mathematical theorem or even a Sherlock Holmes story. You may suppose these things "exist" in some sense, but clearly they don't exist in the same sense as your computer.

>I do not get your point.
> Anyway I do not insist that it should be realizable. But I have examples
> in which we need them!
> Consider the use of Pythagoras theorem in nature. There are many cases
> in which the distance between two points should be irrational.

Only under the assumption that space has a Euclidean metric - which is begging the question. From the operational viewpoint, all measurements yield integers (in some units). Real numbers are introduced in the Platonic realm to insure that some integer equations have solutions. Similarly imaginary numbers are introduced to complete the algebra. They are all our inventions - except some people think the integers are not.

Brent Meeker


--~--~---------~--~----~------------~-------~--~----~
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 Tue Mar 13 2007 - 13:46:00 PDT

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