Konstruktive Analysis

Ein Zugang zur reellen und funktionalen Analysis, der verlangt, dass Existenzbehauptungen von expliziten Konstruktionen oder Algorithmen begleitet werden, und der typischerweise nichtkonstruktive Prinzipien wie das uneingeschränkte Gesetz vom ausgeschlossenen Dritten oder beliebige Auswahl ablehnt; im Mittelpunkt stehen berechenbarer Inhalt, uniforme Moduli (z. B.