Turing 2018/5: Settling Hilbert's Entscheidungsproblem, and the Halting Problem


Jan 14 2021 57 mins   4
Lecture 5 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/