Seminar Formale Mathematik
Dozenten
- Prof. Dr. Peter Koepke
- Prof. Dr. Bernhard Schröder
Zeit und Ort
Freitags 10-12 im Zimmer 006.
Inhalt
Vorträge von internen und externen Referenten über Formale Mathematik, d.h., über die axiomatische Durchführung von Mathematik in strikt formalen Sprachen mit strikt formalen Ableitungsregeln. Im Zusammenhang mit dem lokalen Projekt NaProChe (Natural language Proof Checking) wird besonders die Frage diskutiert, inwieweit durch den Einsatz von Softwaresystemen strikt formale Systeme aufgebaut werden können, die für den Benutzer "natürlich" im Sinne des gewöhnlichen mathematischen Arbeitens sind. Das bezieht sich auf Benutzerschnittstellen, verwendete Sprache, Theorien und Beweismethoden.
Die Vorträge finden etwa 14-tägig statt.