Computer assisted verification of contemporary mathematics

Half a year ago Steffen Kionke wrote a blog post on condensed mathematics wherein he mentioned that Peter Scholze put up a challenge to formally verify a key fundamental result of a joint paper with Clausen: a result Scholze terms his most important theorem to date. Today I want to inform you that the mentioned … Continue reading "Computer assisted verification of contemporary mathematics"

Ergebnisse der Wissenschaftsbefragung

Gestern sind die Ergebnisse der DZHW-Wissenschaftsbefragung veröffentlicht worden. Die Wissenschaftsbefragung ist eine bundesweite repräsentative Trendstudie. [… Sie] versteht sich als langfristiges Barometer der Wissenschaft. Sie ist ein wichtiges Werkzeug zur Untersuchung der Arbeits- und Forschungsbedingungen an deutschen Universitäten und soll ein umfassendes Meinungsbild zur Lage und Entwicklung des deutschen Wissenschaftssystems liefern. Hier ist die Pressemeldung, … Continue reading "Ergebnisse der Wissenschaftsbefragung"

Reports on Impact of Mathematics

A week ago the EMS posted links to reports on the impact of mathematical research on society and economy. You can access these reports here: link. Though probably for many too long to read in detail, reading just the introductions is already interesting.

Vier Exzellenzcluster in der Mathematik

Vor drei Tagen ( Pressemitteilung der DFG ) wurde die Entscheidung über die zukünftigen Exzellenzcluster veröffentlicht. Vier davon wird es in der Mathematik geben: in Bonn, in Münster, in Berlin sowie in Heidelberg. Die Förderung in den neuen Exzellenzclustern beginnt am 1. Januar 2019 und läuft sieben Jahre. Nach erfolgreicher Wiederbewerbung kann dies um weitere … Continue reading "Vier Exzellenzcluster in der Mathematik"