It used to puzzle me that Scott Aaronson still hasn't come to terms with the obvious absurdity of attempts to make quantum mechanics yield a single world.
I should have realized what was going on when I read Scott's blog post "The bullet-swallowers" in which Scott compares many-worlds to libertarianism. But light didn't dawn until my recent diavlog with Scott, where, at 50 minutes and 20 seconds, Scott says:
"What you've forced me to realize, Eliezer, and I thank you for this: What I'm uncomfortable with is not the many-worlds interpretation itself, it's the air of satisfaction that often comes with it."
-- Scott Aaronson, 50:20 in our Bloggingheads dialogue.
It doesn't show on my face (I need to learn to reveal my expressions more, people complain that I'm eerily motionless during these diavlogs) but at this point I'm thinking, Didn't Scott just outright concede the argument? (He didn't; I checked.) I mean, to me this sounds an awful lot like:
Sure, many-worlds is the simplest explanation that fits the facts, but I don't like the people who believe it.
And I strongly suspect that a lot of people out there who would refuse to identify themselves as "atheists" would say almost exactly the same thing:
What I'm uncomfortable with isn't the idea of a god-free physical universe, it's the air of satisfaction that atheists give off.
If you're a regular reader of Robin Hanson, you might essay a Hansonian explanation as follows:
Although the actual state of evidence favors many-worlds (atheism), I don't want to affiliate with other people who say so. They act all brash, arrogant, and offensive, and tend to believe and advocate other odd ideas like libertarianism. If I believed in many-worlds (atheism), that would make me part of this low-prestige group.
Or in simpler psychology:
I don't feel like I belong with the group that believes in many-worlds (atheism).
I think this might form a very general sort of status catch-22 for contrarian ideas.
When a correct contrarian idea comes along, it will have appealing qualities like simplicity and favorable evidence (in the case of factual beliefs) or high expected utility (in the case of policy proposals). When an appealing contrarian idea comes along, it will be initially supported by its appealing qualities, and opposed by the fact that it seems strange and unusual, or any other counterintuitive aspects it may have.
So initially, the group of people who are most likely to support the contrarian idea, are the people who are - among other things - most likely to break with their herd in support of an idea that seems true or right.
These first supporters are likely to be the sort of people who - rather than being careful to speak of the new idea in the cautious tones prudent to supplicate the many high-status insiders who believe otherwise - just go around talking as if the idea had a very high probability, merely because it seems to them like the simplest explanation that fits the facts. "Arrogant", "brash", and "condescending" are some of the terms used to describe people with this poor political sense.
The people first to speak out in support of the new idea will be those less sensitive to conformity; those with more confidence in their sense of truth or rightness; those less afraid of speaking out.
And to the extent these are general character traits, such first supporters are also more likely to advocate other contrarian beliefs, like libertarianism or strident atheism or cryonics.
And once that happens, the only people who'll be willing to believe the idea will be those willing to tar themselves by affiliating with a group of arrogant nonconformists - on top of everything else!
tl;dr: When a counterintuitive new idea comes along, the first people to support it will be contrarians, and so the new idea will become associated with contrarian traits and beliefs, and people will become even more reluctant to believe it because that would affiliate them with low-prestige people/traits/beliefs.
A further remark on "airs of satisfaction": Talk about how we don't understand the Born Probabilities and there are still open questions in QM, and hence we can't accept the no-worldeaters interpretation, sounds a good deal like the criticism given to atheists who go around advocating the no-God interpretation. "But there's so much we don't know about the universe! Why are you so self-satisfied with your disbelief in God?" There's plenty we don't understand about the universe, but that doesn't mean that future discoveries are likely to reveal Jehovah any more than they're likely to reveal a collapse postulate.
Furthermore, atheists are more likely than priests to hear "But we don't know everything about the universe" or "What's with this air of satisfaction?" Similarly, it looks to me like you can get away with speaking out strongly in favor of collapse postulates and against many-worlds, and the same people won't call you on an "air of satisfaction" or say "but what about the open questions in quantum mechanics?"
This is why I think that what we have here is just a sense of someone being too confident in an unusual belief given their assigned social status, rather than a genuine sense that we can't be too confident in any statement whatever. The instinctive status hierarchy treats factual beliefs in pretty much the same way as policy proposals. Just as you need to be extremely high-status to go off and say on your own that the tribe should do something unusual, there's a similar dissonance from a low-status person saying on their own to believe something unusual, without careful compromises with other factions. It shows the one has no sense of their appropriate status in the hierarchy, and isn't sensitive to other factions' interests.
The pure, uncompromising rejection merited by hypotheses like Jehovah or collapse postulates, socially appears as a refusal to make compromises with the majority, or a lack of sufficient humility when contradicting high-prestige people. (Also priests have higher social status to start with; it's understood that their place is to say and advocate these various things; and priests are better at faking humility while going on doing whatever they were going to do anyway.) The Copenhagen interpretation of QM - however ridiculous - is recognized as a conventional non-strange belief, so no one's going to call you insufficiently humble for advocating it. That would mark them as the contrarians.
Well, what precisely is meant to me excluded when interceptions of non extendible futures are the only ones that matter? (ugh... I just had the thought that this conversation might summon the spambots :)) anyways, why only the non extendible paths?
As far as the rest, I want to read through and understand the paper before I comment on it. I came to a halt right early on due to being confused about extendibility.
However, my overall question is if the idea on its own naturally produce a single history, or does it still need some sort of "collapse" or other contrived mechanism to do so?
This earlier paper might also help.
The big picture is that we are constructing something like special relativity's notion of time, for any partially ordered set. For any p and q in the set, either p comes before q, p comes after q, or p and q have no order relation. That last possibility is the analogue of spacelike separation. If you then have p, q, r, s..., all of which are pairwise spacelike, you have something resembling a spacelike slice. But you want it to be maximal for the analogy to be complete. The bit about intersecting all inextendible paths i... (read more)