Data Science, Analytics & Computer TechnologyComputer ScienceScience & MathMathematicsEngineering
Om kurset
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
Lecture 11: Recursion Theorem and Logic - MIT. Freelio.dk