Unfehlbarkeit durch Formalismus?
13. - 15. März 2015, Universität Bonn
  • Home
  • Was ist formale Mathematik?
  • Programm
  • Dozierende & Workshops
  • Anmeldung
  • Kontakt
"Unfehlbarkeit durch Formalismus? – Ein interdisziplinärer Blick auf Möglichkeiten, Grenzen und Folgen einer methodischen Revolution der Mathematik."

Unter diesem Titel wird eine von Studenten organisierte Tagung ca. 80 Studierenden und zehn Dozenten verschiedener Fachrichtungen ermöglichen, zusammen über formale Mathematik nachzudenken. Die Zukunft dieser in den letzten Jahren immer erfolgreicheren Form, Mathematik zu betreiben, wirft Fragen zu den Grundlagen der Mathematik, zu algorithmischen Problemen im Bereich des automatischen Beweisens, zu wissenschaftstheoretischen Themen, sowie zu soziologischen Aspekten der mathematischen Forschung auf. Dementsprechend werden Dozierende und Teilnehmende aus den Bereichen der Mathematik, Informatik, Philosophie und Soziologie, sowie angrenzender Fachbereiche erwartet. Die Tagung wird finanziell durch die Studienstiftung des deutschen Volkes und die Deutsche Mathematiker Vereinigung unterstützt.

Wir freuen uns über euer Interesse!

Simon Blessenohl, Deborah Kant, Lukas Kühne und Deniz Sarikaya






Gefördert durch
Picture
Picture
Powered by Create your own unique website with customizable templates.