04-00-0236-vu Incompleteness of Formal Systems

Course offering details

Instructors: Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: Inc Formal Systems

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

Literature:
lecture notes provided online

Preconditions:
recommended: Introduction to Mathematical Logic

Small group(s)
This course is divided into the following small groups:

  • Incompleteness of Formal Systems

    Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger

    Mon, 14. Oct. 2019 [18:05]-Mon, 10. Feb. 2020 [18:50]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Mon, 14. Oct. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
2 Mon, 21. Oct. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
3 Mon, 28. Oct. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
4 Mon, 4. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
5 Mon, 11. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
6 Mon, 18. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
7 Mon, 25. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
8 Mon, 2. Dec. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
9 Mon, 9. Dec. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
10 Mon, 16. Dec. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
11 Mon, 13. Jan. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
12 Mon, 20. Jan. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
13 Mon, 27. Jan. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
14 Mon, 3. Feb. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
15 Mon, 10. Feb. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
Prof. Dr. rer. nat. Thomas Streicher
M.Sc. Jonathan Weinberger