Statistics for Approximation, Proof Systems, and Correlations in a Quantum World