Abenteuerreise durch die Mathematik

Bundesweite Veranstaltungsreihe zu den Millennium-Problemen von Juni bis November 2022Im Jahr 2000 veröffentlichte das Clay Mathematics Institute eine Liste von sieben fundamentalen mathematischen Problemen. Diese mathematischen Probleme, auch Millennium-Probleme genannt, werden seit damals als die zentralen...

12. Mai: Wir feiern den Internationalen Tag der Frauen in der Mathematik

Der 12. Mai ist Internationaler Tag der Frauen in der Mathematik (International Women in Mathematics Day). Er erinnert seit 2019 an die wichtige Rolle von Mathematikerinnen in ihrem Fach und an die berühmte iranische Mathematikerin Maryam Mirzakhani, die am 12. Mai 1977 geboren wurde, 2014 als erste Frau überhaupt die...

Der Unerbittliche

Vor 150 Jahren, am 18. Mai 1872, wurde der Mathematiker und Philosoph Bertrand Russell geboren. Er gilt als einer der einflussreichsten Intellektuellen seiner Zeit. Die von ihm formulierte Russell’sche Antinomie markiert eine Zäsur in der Geschichte der Logik und sein (zusammen mit Alfred North Whitehead verfasstes)...

Gysis Geschichtsklitterung

Der Linken-Außenpolitiker Gregor Gysi hat sich zum Abschluss einer mehrtägigen Ukraine-Reise gegen deutsche Waffenlieferungen an das von Russland angegriffene Land ausgesprochen. „Wir haben 27 Millionen Tote im Zweiten Weltkrieg in der Sowjetunion, überwiegend Russinnen und Russen, verursacht“, sagte Gysi der...

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...