Mathematics is the foundation for reasoning about computation, randomness, and discrete structures.