Mathematical Logic

The formal study of reasoning itself — proof, computability and model theory — where mathematics examines its own foundations.

Core Principles & Analysis

• Frege and Russell tried to reduce mathematics to logic; Godel showed no such system can prove itself.
• Church and Turing formalized effective computation while answering the decision problem.
• Model theory studies which structures satisfy which theories, revealing limits of axioms.