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 das Liquid Tensor Experiment nicht nur Sicherheit über die Korrektheit, sondern auch…

Das Morse-Lemma ist ein zentrales Lemma in der Geometrie negativ gekrümmter Räume. Es besagt, dass in einem negativ gekrümmten Raum alle Quasi-Geodäten durch “kleine” Deformationen von Geodäten entstehen, und es ist so etwas wie der ultimative Grund, warum die Geometrie in negativer Krümmung sich von der in unserer flachen Welt unterscheidet. In der flachen Ebene…

Das 4-Farben-Problem und Computerbeweise in der Mathematik.