Lecture 1 in Peter Millican's 2018 Turing series.
Turing 2018/1: Types of number, Cantor, infinities, diagonal arguments
Error loading media: File could not be played
People:
Oxford Unit:
Keywords: