Instructors: Prof. Dr. rer. nat. Thomas Streicher
Event type: Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as: 04-00-0236-vu
Subject:
Crediting for:
Hours per week: 3
Language of instruction: Englisch
Min. | Max. participants: - | -
Course Contents: Gödel’s Incompleteness Theorems, Löb’s Theorem, Provability Logic
Incompleteness of Formal Systems
Prof. Dr. rer. nat. Thomas Streicher
Mon, 13. Oct. 2014 [18:05]-Mon, 9. Feb. 2015 [18:55]