Limits of Mathematics

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.