Theoretical computer science seeks to explore the ultimate limits of computation, asking what can be known, calculated or figured out by physical entities. Quantum computing is a proposal for a new type of computation that harnesses the principles of quantum mechanics, with the aim of expanding these limits.