Sektion 2
Angewandte Logik und Informatik
Leitung: Professor Dr. Peter Schroeder-Heister (Tübingen)
- 14:15: Einführung
- 14:30: Dr. Klaus Prätor (Berlin)
Logik und Handlung im Computer
Weitere Informationen - 15:15: Priv.-Doz. Dr. Joachim Bromand (Bonn)
Gibt es Grenzen des mathematischen Wissens?
Weitere Informationen - 16:00: Thomas Schmäcke, M.A. (Lingen)
Die These, dass die Welt ein Computer ist, ist unwiderlegbar
Weitere Informationen - 16:40: Pause
- 17:15: Andrea Reichenberger, M.A. (Paderborn)
Hypercomputation als Brückenschlag zwischen theoretischer Informatik und theoretischer Physik
Weitere Informationen - 18:00: Dr. Bartosz Wieckowski (Moringen)
Regeln für das subatomare Schließen
Weitere Informationen