Well [-l + come]; one of your comments was erroneous, as you said yourself (the one you retracted), another comment reads like a restatement of a popular comment predating yours by a over year (which you acknowledged yourself), and the third makes a pretty sweeping claim about superdeterminism not being Turing computable. Unfortunately, the proof you provide seems flawed on a couple of counts.* However, even if the proof did turn out to stand, people frown upon comments which do not give more explanations and context to sweeping statements that seemingly come out of thin air (even if they did turn out to be correct). FYI, I didn't read (until now) or vote on any of your comments.
That makes 3 plausible downvote explanations for 3 comments, two of which you mentioned yourself. I'm surprised about your surprise.
* (Superdeterminism doesn't require that part of the overall program can be perfectly predicted by a much smaller program in advance, nor that the outcome of the smaller program can then be used to change the overall outcome. At least two reasons: 1) Not being able to verify complete correspondence (except by fiat), given all hidden variables and their potentially unknowable context (unknowable from within the program, and the context may encompass the entire universe); 2) superdeterminism can in principle be saved simply by saying that the agent isn't able to show a contradiction; i.o.w. in a superdeterminist universe, a perfect prediction-machine conditional on which a contradiction can be derived cannot exist, by definition of what "superdeterminism" means. Your thought experiment would be inapplicable in a superdeterminist universe, strange as it sounds. In that light, your proof reads similar to the one that shows that a Halting problem decider cannot exist. Alternatively, the agent would be unable to use the result to show a contradiction. While such an inability would indeed seem strange, from the universe's point of view, every facet of that inability would have been predetermined anyways.)
You're basically saying that superdeterminism doesn't require Turing computability, not that it is in principle Turing computable. Anyway, my point was that superdeterminism predicts that we will never find a practical way to compute the observed answer to a simple quantum superposition, because that would imply that we could change it.
And I guess I did make a "sweeping claim", but I was still annoyed that I just got down-voted without a reply. If I had a "sweeping claim" to discuss, how should I have posted it?
The AIbox one I had thoug...
A few notes about the site mechanics
A few notes about the community
If English is not your first language, don't let that make you afraid to post or comment. You can get English help on Discussion- or Main-level posts by sending a PM to one of the following users (use the "send message" link on the upper right of their user page). Either put the text of the post in the PM, or just say that you'd like English help and you'll get a response with an email address.
* Normal_Anomaly
* Randaly
* shokwave
* Barry Cotter
A note for theists: you will find the Less Wrong community to be predominantly atheist, though not completely so, and most of us are genuinely respectful of religious people who keep the usual community norms. It's worth saying that we might think religion is off-topic in some places where you think it's on-topic, so be thoughtful about where and how you start explicitly talking about it; some of us are happy to talk about religion, some of us aren't interested. Bear in mind that many of us really, truly have given full consideration to theistic claims and found them to be false, so starting with the most common arguments is pretty likely just to annoy people. Anyhow, it's absolutely OK to mention that you're religious in your welcome post and to invite a discussion there.
A list of some posts that are pretty awesome
I recommend the major sequences to everybody, but I realize how daunting they look at first. So for purposes of immediate gratification, the following posts are particularly interesting/illuminating/provocative and don't require any previous reading:
More suggestions are welcome! Or just check out the top-rated posts from the history of Less Wrong. Most posts at +50 or more are well worth your time.
Welcome to Less Wrong, and we look forward to hearing from you throughout the site!
Once a post gets over 500 comments, the site stops showing them all by default. If this post has 500 comments and you have 20 karma, please do start the next welcome post; a new post is a good perennial way to encourage newcomers and lurkers to introduce themselves. (Step-by-step, foolproof instructions here; takes <180seconds.)
If there's anything I should add or update on this post (especially broken links), please send me a private message—I may not notice a comment on the post.
Finally, a big thank you to everyone that helped write this post via its predecessors!