104.508 AKLOG: Gödel's Incompleteness Theorems
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022S, VO, 2.0h, 3.0EC

Course evaluation

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to...

The intended result of this course is to understand the contents of the course. Among other effects, this understanding forms the basis for the capability to correctly reproduce the statements and notions covered in the course as well as for the ability to explain and apply the proof techniques used in the course.

Subject of course

Gödel's incompleteness theorems are among the most important results of
mathematical logic. In this lecture we will prove the incompleteness theorems.
In doing so we will not take the most direct route, instead we take the
incompleteness theorems as motivation to study topics and proof techniques in
their vicinity.

We start with a short introduction to computability theory which allows to get
to know the central proof techniques of diagonalisation and arithmetisation in
a comparatively simple setting. The consideration of the notion of truth in the
standard model will lead us to the logical level. Afterwards we will study
arithmetical theories and their non-standard models. Thus prepared we will
prove and discuss various forms and proofs of the incompleteness theorems.

Teaching methods

Lecture

Mode of examination

Oral

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon14:15 - 15:4507.03.2022 - 27.06.2022 Dissertantenraum, Freihaus, 8th floor, green arealecture
AKLOG: Gödel's Incompleteness Theorems - Single appointments
DayDateTimeLocationDescription
Mon07.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon14.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon21.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon28.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon04.04.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon25.04.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon02.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon09.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon16.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon23.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon30.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon13.06.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon20.06.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture
Mon27.06.202214:15 - 15:45 Dissertantenraum, Freihaus, 8th floor, green arealecture

Examination modalities

Oral exam

 

Course registration

Begin End Deregistration end
07.03.2022 00:00 28.06.2022 23:59

Registration modalities

Bitte melden Sie sich an um über organisatorische Änderungen der VO oder UE per E-Mail informiert zu werden.

Curricula

Literature

Course notes will be made available.

Previous knowledge

Basic knowledge in mathematical logic as taught, e.g., in the courses VO + UE "Logic and Foundations of Mathematics".

Preceding courses

Accompanying courses

Language

if required in English