What are the mathematical limits of human control over computationally opaque systems?