Video Lectures
Lecture 11: Recursion Theorem and Logic
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
Course Info
Instructor
As Taught In
Fall
2020
Level
Topics
Learning Resource Types
theaters
Lecture Videos
assignment
Problem Sets
grading
Exams
notes
Lecture Notes
Instructor Insights