Proseminar: Gödel, Escher, Bach (SS05)
Inhalte
Epimenides der Kreter sagte:
Alle Kreter lügen. Hätte ein anderer, als ein Kreter gesprochen wäre alles klar, doch was gilt jetzt?
Douglas R. Hofstadter veröffentlichte im Jahr 1979 das Buch, das sich über viele Wissenschaftebereiche, u.a. Physik, Chemie, Mathematik und auch Informatik erstreckt. Nebenbei erläutert er zentrale Kerngebiete der theoretischen Informatik, indem er sich mit Themen wie Rekursion, Schleifen, Logik und formalen Sprachen befasst.
Damit wird das Buch, das an sich schon sehr interessant ist, für die Informatik relevant. Es verschafft einen guten Überblick über die Inhalte und Probleme von Themengebieten, die in vielen Vorlesungen des Hauptstudiums behandelt werden.
Durch Vorträge, die sich an die Kapitel des Buches anlehnen, soll dem Hörerkreis die Thematik dargelegt werden und die grundlegende Idee jedes Kapitels klar herausgearbeitet werden. Somit können aufkommende und weitergehende Fragen im Anschluss an den Vortrag diskutiert werden.
Inhaltlich wird ein Bogen gespannt, der damit beginnt, Denkweisen zu abstrahieren. Im weiteren wird dies in verschiedenen Fachlichen Bereichen vertieft um schliesslich wieder beim Ausgangspunkt, dem Menschen selbst anzukommen.
Organisatorisches
Bereich: Informatik Grundstudium (WP INF 2), Informatik Bachelor (WP BS-INF 2)
Teilnehmerkreis: Studierende im Grundstudium
Vorraussetzungen: Grundwissen über Formale Sprachen, Abstraktionsfähigkeit
Empfehlenswert für Informatikstudierende im 3. und 4. Semester, um einen Überblick über die Kerngebiete der theoretischen Informatik zu erhalten
Anmeldung: Per mail an
toennis@in.tum.de. Vergabe der Plätze nach Eingang der e-mail.
Erhalt des Scheins:
- Jeder Studierende hält einen qualifizierten Vortrag von ca 1h mit anschliessender Diskussion
- Folien und eine max.10-seitige Ausarbeitung sind zu erstellen
Literatur:
Vorbesprechung
Mittwoch, 9.2.2005 um 11.00 Uhr (bis max. 13.00 Uhr)
in Raum
01.07.014
Wöchentliche Termine
Jeweils um
9.00 Uhr c.t. in
03.13.010.
| Datum | Thema | Referent | Folien | Handout | Ausarbeitung  |
| 9.2.05 (KW 06) | Vorbesprechung | Marcus Tönnis | ppt | - | - |
| 12.4.05 (KW 15) | 1. Gödel, Escher, Bach - Endlos Geflochtenes Band (Ein musiko-logisches Opfer), Organisatorisches | Marcus Tönnis | ppt | - | - |
| 12.7.05 (KW 28) | 13. Zusammenfassung, Scheine, ... | Marcus Tönnis | - | - | - |
| 17.5.05 (KW 20) | Pfingsten |
| 21.6.05 (KW 25) | 10. MU und Zen: Mumon und Gödel | Gabriel Oberhauser | ppt | - | doc |
| 19.4.05 (KW 16) | 2. Formale Systeme: Das MU-Rätsel | Chang Li | ppt | - | pdf |
| 26.4.05 (KW 17) | 3. Interpretation und Isomorphie: Bedeutung und Form in der Mathematik | Leon v. Tippelskirch | ppt | pdf | pdf |
| 3.5.05 (KW 18) | 4. Zählbare Mengen: Figur und Hintergrund | Michael Herpich | ppt | - | pdf |
| 10.5.05 (KW 19) | 5. Gödels Satz: Widerspruchsfreiheit, Vollständigkeit und Geometrie | Maximilian Steff | ppt | - | pdf |
| 24.5.05 (KW 21) | 6. Push und Pop: Rekursive Strukturen und Prozesse | Ahmet Saglam | ppt | - | pdf |
| 31.5.05 (KW 22) | 7. Musikbox im All: Wo die Bedeutung sitzt | Robert Isele | pdf | - | pdf |
| 7.6.05 (KW 23) | 8. Fantasieregeln: Die Aussagenlogik | Borislav Vangelov | ppt | - | pdf |
| 14.6.05 (KW 24) | 9. Quantoren: Theoria Numerorum Typographica | Christian Grewing | pdf | - | pdf |
| 28.6.05 (KW 26) | 11. Historiphilosophisches: Beschreibungsebenen und Computersysteme | Abdelhamid Barzali | pdf | - | pdf |
| 5.7.05 (KW 27) | 12. Abstraktion Mensch: Gehirn und Denken | Gabor Gönczöl | pdf | - | pdf |
-- Marcus Tönnis - 03 Mai 2005