On 02 Aug 2010, at 00:30, Brian Tenneson wrote:

As a corollary to some of Tegmark's theory I believe it will bepossible to prove that the level 4 multiverse is "accounted for" bya mathematical structure..

`Hmm... Lawvere has tried to build an all encompassing universal`

`mathematical structure, but he failed. It was an interesting failure`

`as he discovered the notion of topos, (discovered also independently`

`by Groethendieck) which is more a mathematical mathematician than a`

`mathematical universe.`

`Also Tegmark is not aware that Digital Mechanism entails the non`

`locality, the indeterminacy and the non cloning of matter, and that DM`

`makes the physical into a person-modality due to the presence of the`

`mathematician in the arithmetical reality.`

Quanta are special case of first person plural sharable qualia.

It's a project I've been working on which assumes that the realityhypothesis implies the mathematical universe hypothesis.

`I can only encourage you to proceed, but it may be nice to try using`

`the already existing results in the field. Tegmark is not aware of the`

`importance of the mind-body problem when searching a toe. He uses`

`implicitly the brain-mind identity thesis which breaks down with`

`digital mechanism (and plausibly with any form of reasonable mechanist`

`assumption). You can ascribe an 1-mind to a 3-brain, but you can only`

`ascribe a whole infinite set of 3-brain to a 1-mind.`

- Bruno Marchal

Bruno Marchal wrote:... and if you believe that the universe can be accounted for by asome consistent mathematical structure. Which is an open problem.Assuming mechanism, physical universes have no real existence atall, except as first person sharable experience by machines(mathematical digital machines).--You received this message because you are subscribed to the GoogleGroups "Everything List" group.To post to this group, send email to everything-l...@googlegroups.com.To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com.For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.

http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-l...@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.