‘Unsre Mathematik wandelt Experimente in Definitionen um.’