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
Vorerst planen wir mit MS Teams. Der Team-Code lautet ff0hxpgEmpfohlene 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.
Termine
| Datum (Wochentag) | Zeit | Ort |
|---|---|---|
| 18.10.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 20.10.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 25.10.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 27.10.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 03.11.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 08.11.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 10.11.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 15.11.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 17.11.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 22.11.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 24.11.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 29.11.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 01.12.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 06.12.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 08.12.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 13.12.2021 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 15.12.2021 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 03.01.2022 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 05.01.2022 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 10.01.2022 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 12.01.2022 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 17.01.2022 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 19.01.2022 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 24.01.2022 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 26.01.2022 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 31.01.2022 (Montag) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |
| 02.02.2022 (Mittwoch) | 10:00 - 12:00 | 03 428 2413 - Neubau Physik/Mathematik |