Limits of Mathematics - A Journey Through the Key Areas of Mathematical Logic

The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.