Seminar Selected Works of Kurt Gödel
In diesem Seminar werden die Studenten ausgewählte Arbeiten von Kurt Gödel präsentieren. Anschließend werden die Seminarteilnehmer werden über die Arbeiten diskutieren. Die ausgewählten Themen reichen von Theoretischer Informatik zu Philosophie und Metaphysik. Die Veranstaltung ist für Studenten der Informatik, Mathematik und Philosophie geeignet.
(19328111)
| Dozent/in | Christoph Benzmüller |
|---|---|
| Institution | Dahlem Center for Machine Learning and Robotics |
| Anmeldemodalität | |
| Beginn | 27.02.2019 | 09:00 |
| Ende | 01.03.2019 | 17:00 |
| Zeit | Blockveranstaltung nach Ende der Vorlesungszeit. Vorbesprechung am 09.11., 12-14 Uhr im SR007 der Arnimallee 6 (Pi-Gebäude). Räume:
|
Links auf Kursbeschreibung
In this seminar students will present selected papers of Kurt Gödel. These papers will then be discussed by the participants of the seminar. The addressed topics range from theoretical computer science to philosophy and Metaphysics. Students from Computer Science, Mathematics and Philosophy are welcome.