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.