Formalisierung der Mathematik - wann führen Computer die Beweise?
Diese in letzter Zeit häufig diskutierte Frage war das Thema einer Diskussionsrunde auf der Bonner Mathenacht am vergangenen Wochenende. Teilnehmer waren Peter Scholze, der Logiker Peter Koepke, die Informatikerin Erika Ábrahám und der Professor für Wissensrepräsentation Michael Kohlhase. Scholze erzählt, dass er durch…

