Heinrich Weizsäcker — mathematician