Mathematical logic lets mathematicians rephrase philosophical questions as precise mathematical questions. This project’s theme is to use tools from mathematical logic, specifically tools from computability theory, to study the question "How complicated is the universe of mathematical problems?" We analyze the complexity of the universe of problems as a whole and the complexities of several well-known concrete problems.