Free Will as Unsolvability by Rivals

I thank you for this new insight, besides general rationality training this is the kind of thing I visit LW for!

This matches the sense that facing a terrifyingly powerful intelligence, one that can solve us completely, strips away our free will, which in turn probably explains the common misconception that free will is incompatible with reductionism -- knowing that an explanation exists feels like having the explanation be known by someone. We don't want to be understood.

This might also explain why one needed something as strong as religion to make hundreds of millions of people to stop nominally believing in Libertarian free will. The number of people's who ceased to believe in it because of their belief in a omnipotent omniscient "terrifyingly powerful intelligence" dwarfs the number who have done so on materialist grounds.