Lecture notes on Turing machines, universal Turing machines, the Church-Turing thesis, the halting problem, multiple infinities, and infinitely many unsolvable problems.
Please be advised that external sites may have terms and conditions,
including license rights, that differ from ours. MIT OCW is not responsible
for any content on third party sites, nor does a link suggest an endorsement
of those sites and/or their content.