"Human are capable of recognizing when an algorithm will halt (or not); computers are not; therefore thought cannot be reduced to computation"
This isn't really right. humans are capable of recognizing when SOME algorithms will halt. That isn't very spectacular, computers can do the same. Solving the halting problem would mean being able to recognize whether ANY algorithm will halt without resorting to dumb brute force methods. Humans are limited just as much as computers in this respect.
it's safe to say that people get bored of clicking "allow" really quickly.
If the opt-in notices get annoying, browsers could detect the requests and opt you in automatically. Problem solved.
Parts that positively cannot be assembled in improper order will be.