Das heutige Google Doodle ist einem Mathematiker gewidmet, dem Begründer der Funktionalanalysis Stefan Banach. Die Funktionalanalysis ist ein sehr abstrakter Ansatz, um (zum Beispiel) Lehrsätze über die Existenz und Eindeutigkeit der Lösungen linearer Differentialgleichungen beweisen, partieller wie gewöhnlicher. (Der klassische Existenzsatz für Lösungen gewöhnlicher Differentialgleichungen beruht auf Picard-Iteration, die man als Anwendung des Banachschen Fixpunktsatzes…