Die Kraft formalen Arbeitens bei mathematischen Anwendungen
Inhaltsverzeichnis und Einführungstext zu einem Themenheft über die Kraft des formalen Arbeitens in der Mathematik. Präsentiert die Bedeutung von Formalisierung und gibt einen Überblick über fünf Beiträge zu verschiedenen Aspekten formalen mathematischen Arbeitens.
