Mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory).
2 episodes
Episodes in this category also belong to the following categories:
Gödel's Incompleteness Theorems
Melvyn Bragg and guests discuss the mathematician Kurt Godel and his work at the very limits of maths.
9 October 2008
Featuring: Marcus du Sautoy, John D. Barrow, Philip Welch
Truth
Melvyn Bragg and guests discuss philosophical approaches to truth.
18 December 2014
Featuring: Simon Blackburn, Jennifer Hornsby, Crispin Wright