Berechenbarkeit, Unbeweisbarkeit und das Unendliche
Dozent:innen: Dr. rer. nat. Markus BlumenstockKurzname: 08.079.4431
Kurs-Nr.: 08.079.4431
Kurstyp: Vorlesung/Übung
Voraussetzungen / Organisatorisches
Vorkenntnisse in Mathematik und theoretischer Informatik werden stark empfohlen.Besonders die Veranstaltungen "Diskrete Mathematik für Informatiker" und "Formale Sprachen und Berechenbarkeit" sollten gehört worden sein.
Digitale Lehre
Es wird LMS verwendet, das Skript ist in Overleaf verfügbar.Empfohlene Literatur
Robert I. Soare. Turing ComputabilityDirk W. Hoffmann. Grenzen der Mathematik
Inhalt
- Isomorphiesatz von Myhill- Rekursionssatz von Kleene
- Konstruktion einer einfachen Menge nach Post
- Axiomatische Mengenlehre
- Gödels Unvollständigkeitssatz und Rossers Trick vom berechenbarkeitstheoretischen Standpunkt
- Ordinalzahlen
- Satz von Goodstein und die Kirby-Paris-Hydra
Wenn die Zeit reicht, werden weitere Themen wie z. B. Kolmogorow-Komplexität behandelt. Der Berechenbarkeitsanteil macht ca. 60 % aus, der über Unbeweisbarkeit und Ordinalzahlen ca. 40 %.
Termine
| Datum (Wochentag) | Zeit | Ort |
|---|---|---|
| 24.10.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 31.10.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 07.11.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 14.11.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 21.11.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 28.11.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 05.12.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 12.12.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 19.12.2023 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 09.01.2024 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 16.01.2024 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 23.01.2024 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 30.01.2024 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |
| 06.02.2024 (Dienstag) | 12:15 - 13:45 | 04 422 2413 - Neubau Physik/Mathematik |