Der Zugang ist konsequent konstruktiv: anstelle von abstrakten Existenzbeweisen treten konstruktive Verfahren, Lösungen algorithmisch zu berechnen. Dies führt zu vielfältigeren Anwendungsmöglichkeiten der Ergebnisse sowie zu einer konzeptionellen Klarheit und einer schärferen Sicht auf die Zusammenhänge. Der Leser wird dadurch an moderne Entwicklungen herangeführt, etwa in der Topostheorie oder der (Homotopie-)Typentheorie, wo eine Sensibilität für konstruktive Schlussweisen zentral ist. weiterlesen