Turing 2018/1: Types of number, Cantor, infinities, diagonal arguments
Lecture 1 in Peter Millican's 2018 Turing series. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/