On 25 Dec 2013, at 23:54, LizR wrote:

## Advertising

Arithmetical reality theories like comp and Tegmark's MUH assumethat the only things that exist are those that must exist (in thiscase some simple numerical relations). This seems to me to be a goodstarting hypothesis - show that some specific thing must exist, suchas the facts of simple arithmetic, and see what happens. Descartestried this when he started with his own thoughts (i.e., as wegenerally assume, with the idea of computation). Which is prettydarn close to assuming just abstract relations exist...My favourite answer to the question "Why is there something ratherthan nothing?" is "There isn't!"

`Hmm... You still have to assume something, like 0 and its successors,`

`or the empty set + some operation adding sets from it (like reflexion`

`and comprehension), etc.`

`Logicism has failed. you can't prove the existence of zero in logic,`

`still less of the successors and the laws to which they obey.`

Nothing *primitively* physical? Then I can be OK. Bruno

(See "Theory of nothing" for more details.) --You received this message because you are subscribed to the GoogleGroups "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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.