What is constructive mathematics? (Q2266012)

Es ist die Absicht der Autoren, einem allgemeinen mathematischen Publikum den Ansatz von E. Bishop zur Entwicklung einer konstruktiven Mathematik zu erläutern; dies ist ihnen nach Ansicht des Referenten gut gelungen. Insbesondere enthält der Aufsatz kurze Darstellungen einiger interessanter Beispiele (sie gehen hauptsächlich auf Arbeiten der Autoren zurück), bei denen eine Betrachtung mathematischer Sätze vom konstruktiven Standpunkt aus zu lohnenden und zum Teil unerwarteten Einsichten geführt hat. Einschlägig interessierten Mathematikern ist der Artikel sehr zur Lektüre zu empfehlen.