Sets, logic and computability

In this video we give a very quick overview of a highly controversial period in the development of modern mathematics: the rise of set theory, logic and computability in the late 19th and early 20th centuries. Starting with the pioneering but contentious work of Georg Cantor in creating Set Theory arising from questions in harmonic analysis, we discuss Dedekind’s construction of real numbers, ordinals and cardinals, and some of the paradoxes that this new way of thinking led to. We also explain how the Sch