AllRecreational & visual mathPure mathematicsAlgorithms & data structuresProbability & game theoryInformation theory & signal processingComputability & complexity theoryLogic & formal methodsQuantum computingMath & theory (other)
Computability & complexity theory
Theory of computation: Turing machines, halting problem, P vs NP, complexity classes, lambda calculus, automata, Church-Turing, Goedel incompleteness, computability.
