Register to reply 
Tegmark's Mathematical Universe 
Share this thread: 
#1
Nov2807, 12:35 AM

Sci Advisor
PF Gold
P: 9,455

Max Tegmark has interesting, if controversial ideas about cosmology. I read this paper today and was intrigued. Any comments?
http://arxiv.org/abs/0704.0646 The Mathematical Universe Authors: Max Tegmark (MIT) (Submitted on 5 Apr 2007 (v1), last revised 8 Oct 2007 (this version, v2)) Abstract: I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and Godel incompleteness. I hypothesize that only computable and decidable (in Godel's sense) structures exist, which alleviates the cosmological measure problem and help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. I reflexively dismiss this idea because it appear untestable, but, he makes a compelling argument this objection may be illusory. The symmetry breaking thing really intrigues me. The apparently broken symmetries could be restored in parallel universes. I find that idea strangely attractive. 


#2
Nov2807, 01:12 AM

Astronomy
Sci Advisor
PF Gold
P: 23,235

Tegmark himself is an abstract mathematical structure. They used to hang out at Schraft's on Park Avenue and 53rd street, eating abstract mathematical icecream, but recently they have been duplicating themselves and gradually infiltrating Think Tanks and Major Universities. 


#3
Nov2807, 01:29 AM

Sci Advisor
PF Gold
P: 9,455

Hilarious, marcus. His posits on the brain thing were amusing. His reasoning, however, was interesting. I think he made a case that Godel's 'incompleteness' conjecture is not bullet proof.



#4
Nov2807, 01:35 AM

P: 587

Tegmark's Mathematical Universe
I think Tegmark's idea is really interesting, but as I see it it is fundamentally not a scientific idea. It is a philosophical idea. I don't think we can ever use it to draw useful conclusions except in a philosophical sense.
The one obvious, useful conclusion that I'm aware of which comes out of Tegmark's idea "we should expect the ultimate laws of our universe to have a description which is simple, in the kinformation theory sense" one could perhaps reach in other ways without specifically positing Tegmark's whole mathematical multiverse. I'm a little confused where Godel comes in. I may try to read that paper later and see if I have anything to say on that particular point. 


#5
Nov2807, 01:54 AM

Sci Advisor
P: 1,594

If the "true physical laws" (whatever they are) have a finite mathematical description, and these laws encompass all of the possible phenomena of reality, then the idea that reality is a mathematical abstraction is tautologically true (it would, after all, be isomorphic to a mathematical abstraction, which is good enough as far as any sensible philosophical definition of "is"). As such, this idea is both fascinating and meaningless at the same time.
The other possibility is that reality admits no finite mathematical description, which means there are ultimately no fixed rules; but it does mean physicists won't be out of a job any time soon. In either case, this is the stuff of philosophy, not physics. 


#6
Nov2807, 02:19 AM

P: 2,799

Perhaps I misunderstand what he means but I skimmed this paper before and when I read the paper my impression is that his constructs and the ERH somehow has the purpose of justifying a reductionist approach.
My main objection is that the birds view as he calls it, might not fit into a frog projection due to information capacity limits. So doesn't that miss see point? He seems to look for a bird view, so that he can explain the frog view? But I consider myself the frog in this context, not the bird. I can "try to be a bird" but my nature probabyl limits me? Imagine that the the "size of the view" is constrained by the information capacity of the observer. Certainly the environment can be used to extent the information storage, but then it can hardly be immediately available because we ran into the issue of information content vs compression vs processing. And if we reduce this into "computing" and "decoding", that is fine, but then what's the different from normal "learning"? I like parts of the paper, but I don't think I share his apparent philosophy of science. Edit: I think I said this in another thread, but relative to say an atom in a lab, a human + the lab could probably fairly well satisfy the requirements for a birds view, informationwise. But relative to a remote object in space, or on the cosmological scale I am nothing but a tiny frog. /Fredrik 


#7
Nov2807, 05:23 PM

P: 76

That seems like borderline philosophy to me



#8
Nov2807, 11:10 PM

Sci Advisor
PF Gold
P: 9,455

Philosophy relies on logic, an often useful instrument in the 'tool box' of science. Mathematics is merely a more rigorous extension of logic. I'm pretty firmly attached to the idea the universe must be mathematically consistent. I perceive Tegmark has framed a persuasive argument to this effect. But, I'm also attached to information theory as a powerful tool in understanding the universe.



#9
Nov2907, 12:35 AM

P: 2,799

For example, tegemarks seems to distinguish between apparently random and "true random".
In terms of information exchange  what is the difference until the "algorithm is cracked"? How _long time_ does it take to "crack an algorithm"? In the general case? The question is then, how can a definition be made _in time_, that doesn't incorporate a specualtion about future findings? If it can't be made, then again  what's the difference? /Fredrik 


#10
Nov2907, 01:22 AM

Astronomy
Sci Advisor
PF Gold
P: 23,235




#11
Nov2907, 01:36 AM

Astronomy
Sci Advisor
PF Gold
P: 23,235

Seriously, I agree with Coin's comment, at least the second part:
Probably there should be a thread discussing Tegmark mathematical universe idea in the Philosophy forum. Maybe there is one already. Did anyone check? edit: I checked in Philosophy http://www.physicsforums.com/forumdisplay.php?f=112 and they don't have a Tegmark thread, at least so far. 


#12
Nov2907, 02:34 AM

P: 2,799

A general forum question: Maybe I haven't seen the feature yet, but is there somewhere a "list of all posts (in any section)" since the last time visiting the forum?
Becase it could be that an interesting post is put under an "odd topic". For example, I would not a priori expect physics related dicussions under philosophy  which means I don't even look there. Philosophy is such a wide topic ranging almost from psychology to science. IMO, philosophy is not a sensible topic on it's own. Rather one usually refers to something more specific, for example the _philosophy of science_. IMO someone who thinks the _philosophy of science_ (not philosophy in general) is irrelevant to science should think again ;) This probably has the effect that one has to place the post, where it's most likely to be read by the intended group of readers, which gets wrong? If there was such a think as a list of new posts (listing the subjects) it would be easier to find interesting things regardless of where it's posted? Is there such a feature on here that I missed? Anyone else missing this? /Fredrik 


#13
Nov2907, 03:03 AM

P: 2,799

I guess I didn't look very hard because I thought it wasn't there :) I found the feature.
/Fredrik 


#14
Nov2907, 11:16 AM

P: 2,157

E.g. what are qualia (i.e. if I see the color blue, then what is this color blue I'm seeing)? What else could they be than events in the universe simulated by the brain? Tegmark writes in his articles about his idea that the fundamental problem is to come up with a measure over the space of all mathematical models. I think that it is unavoidable that the measure is some function of the Kolmogorov complexity of the model such that more complex models are assigned a low measure. This then leads to extremely complex universes like us that need trillions of arbitrary parameters to define finding themselves being simulated in simple universes instead of finding themself in their own universe. 


#15
Nov2907, 11:53 AM

P: 482

IMO the MUH is not nearly as important and vital as the CUH this is a fundamental issue of the ontology of existence what existence is and what can be
I said in another thread: I am a proponent of something like Max Tegmark's Computable Universe Hypothesis which states that Reality is defined by computable causal systems and that only computable structures 'exist' or more precisely computability IS existence since only causal structures with logical/consistent/computable relations and rules can provide the medium of isotropic space and time for which a world and it's history could be physically expressed as real 


#16
Nov2907, 11:46 PM

Sci Advisor
PF Gold
P: 9,455

Agreed, setAI. The CUH is the more fundamental issue. A causal universe [which ours appears to be] must yield logically consistent experimental results. It is otherwise difficult to imagine how our univere has persisted for so long. This concept may not be inherently predictive, but has utility in eliminating untenable solutions.



#17
Nov3007, 12:50 AM

P: 2,799

The way I envisions this, the reason for this constraint is that the probabilities are conditional and they must be formulated in terms of something the obserever can relate to. And if we think that the encoding capacity of an observer is generally not infinite this implies two things: 1) Overly complex things are automatically assigned a low measure, and this is an explicit realisation of occams razor or thta simplicivy is a virtue. It ultimately boils down to fitness. A overly complex model is not as fit because it adapts poorly. 2) The limiting relational capcity of the observer implies that there are bound to be limits to what he can predict. He knows what he knows, but it's not possible to assign bounds on what you don't know. However, there is also no reason to make assumptions on what you don't know. So as long as there is no negative feedback due to this ignorance forcing the observer to remodel, the ignorance of the observer could be stable. This is a fundamental key in my own thinking. /Fredrik 


Register to reply 
Related Discussions  
Our Universe Is A Closed Electron In A Far Grander Universe We Can Never See?  Cosmology  20  
The Mathematical Universe  Beyond the Standard Model  39  
Doughnutshaped Universe: Astronomers say Universe is small and finite  Cosmology  5  
If the observable universe were the entire universe, would the mass make it expand?  Cosmology  7  
Origin of the Universe: Created Universe vs Cyclical Universe  Astronomy & Astrophysics  9 