I don’t get it. Okay, obviously our universe is a mathematical structure, that’s why physics works. “All math is real” is seductive, but “All computable math is real, but there are no oracles” is just weird; why would you expect that without experimental evidence of Church-Turing?
The idea that since there are twice as many infinite strings containing “1010” than “10100″, the former must exist twice as much as the latter nicely explains why our universe is so simple. But I’m not at all convinced that universes like ours with stable observers are simpler than pseudorandom generators that pop out Boltzmann brains.
That all math is “real” in some sense you observe directly any time you do any. The insight is not that math is MORE real than previously thought, but just that there isn’t some additional find of realness. Sort of, this is an oversimplification.
Combine this with the simulation hypothesis; a universe can only simulate less computationally expensive universes. (Of course this is handwavy and barely an argument, but it’s possible something stronger could be constructed along these lines. I do think that much more work needs to be done here.)
I’m pretty sure Eliezer’s approach is the opposite of Tegmark’s. For Tegmark, the math is real and our physical world emerges from it, or is an image of part of it. For Eliezer, our world, in all its thick, visceral, spatiotemporal glory, is the Real, and logical, mathematical, counterfactual, moral, mentalizing, essentializing, and otherwise abstract reasoning is a human invention that happens to be useful because its rules are precisely and consistently defined. There’s much less urgency to producing a reductive account of mathematical reasoning when you’ve never reified ‘number’ in the first place.
Of course, that’s not to deny that something like Tegmark’s view (perhaps a simpler version, Game-of-Life-style or restricted to a very small subset of possibility-space that happens to be causally structured) could be true. But if such a view ends up being true, it will provide a reduction of everything we know to something else; it won’t be likely to help at all in reducing high-level human concepts like number or qualia or possibility directly to Something Else. For ordinary reductive purposes, it’s physics or bust.
This problem is already solved, the answer is here: http://arxiv.org/abs/0704.0646
I don’t get it. Okay, obviously our universe is a mathematical structure, that’s why physics works. “All math is real” is seductive, but “All computable math is real, but there are no oracles” is just weird; why would you expect that without experimental evidence of Church-Turing?
The idea that since there are twice as many infinite strings containing “1010” than “10100″, the former must exist twice as much as the latter nicely explains why our universe is so simple. But I’m not at all convinced that universes like ours with stable observers are simpler than pseudorandom generators that pop out Boltzmann brains.
That all math is “real” in some sense you observe directly any time you do any. The insight is not that math is MORE real than previously thought, but just that there isn’t some additional find of realness. Sort of, this is an oversimplification.
Also check out: http://lesswrong.com/lw/1zt/the_mathematical_universe_the_map_that_is_the/
That post is a confused jumble of multiple misinterpretations of the word “exist”.
If all levels of the Turing hierarchy are about as real, it’s extremely unlikely our universe is at level zero. Yet Church-Turing looks pretty solid.
Combine this with the simulation hypothesis; a universe can only simulate less computationally expensive universes. (Of course this is handwavy and barely an argument, but it’s possible something stronger could be constructed along these lines. I do think that much more work needs to be done here.)
I’m pretty sure Eliezer’s approach is the opposite of Tegmark’s. For Tegmark, the math is real and our physical world emerges from it, or is an image of part of it. For Eliezer, our world, in all its thick, visceral, spatiotemporal glory, is the Real, and logical, mathematical, counterfactual, moral, mentalizing, essentializing, and otherwise abstract reasoning is a human invention that happens to be useful because its rules are precisely and consistently defined. There’s much less urgency to producing a reductive account of mathematical reasoning when you’ve never reified ‘number’ in the first place.
Of course, that’s not to deny that something like Tegmark’s view (perhaps a simpler version, Game-of-Life-style or restricted to a very small subset of possibility-space that happens to be causally structured) could be true. But if such a view ends up being true, it will provide a reduction of everything we know to something else; it won’t be likely to help at all in reducing high-level human concepts like number or qualia or possibility directly to Something Else. For ordinary reductive purposes, it’s physics or bust.