Lecture 6

Click to enlarge

Note: on the 2nd board, the statement of Gödel's 2nd Incompleteness Theorem should of course end with "T ⊬ Con(T)".

Back to main page