Progress report_澳门葡京手机版app下载

larsk
2021-11-03T15:49:30.112Z
type:structured-message
www.uio.no

Tomorrow (Thursday) I will prove Theorem 6.3.6 (Godel's First Incompleteness Theorem). Then we are done with the curriculum.

For the rest the of the term we will solve exercises (exercises from Chapter 8 and past exams). The final lecture will take place November 18.