Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 11: Recursion Theorem and Logic
Lecture 11: Recursion Theorem and Logic
1:17:32
Description: Quickly reviewed last lecture. Discussed self-reference and the recursion theorem. Gave various applications. Sketched Gödel’s first incompleteness theorem in mathematical logic.
Instructor: Prof. Michael Sipser
