Computer science--and its core notion of efficient computations--provides a new way of looking at the world by bringing a quantitative perpective to fundamental notions such as randomness, proofs, games, and learning. The radical insight of efficient computations is the assumption of "bounded computational power"--that all observers (human, machine, or nature itself) in these scenarios should be considered computationally limited. This marriage of computational complexity with science and mathematics has led to startling ideas such as: zero-knowledge proofs, cryptography, pseudo-randomness, learning (theoretical AI), and quantum computing.
Show more +
Show less -