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

As a corollary to some of Tegmark's theory I believe it will be possible to prove that the level 4 multiverse is "accounted for" by a 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 reality hypothesis 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 a some consistent mathematical structure. Which is an open problem. Assuming mechanism, physical universes have no real existence at all, except as first person sharable experience by machines (mathematical digital machines).




--
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 .


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.

Reply via email to