Turing 2018/2: Hilbert's Programme and Gödel's Theorem


Jan 14 2021 48 mins   9
Lecture 2 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/