I study the complexity of mathematics. In mathematics there are constructions, proofs, and objects that are clearly more complicated than others. In computability theory we look for tools to measure this complexity and we measure it.