Konstruktive Mathematik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Gruppe mathematischer Auffassungen, die explizite Konstruktionen oder Algorithmen verlangen, um Existenzaussagen zu bezeugen, und die typischerweise nichtkonstruktive Prinzipien wie das uneingeschränkte Ausschlussprinzip zurückweisen; Beweise sollen rechnerischen Gehalt liefern.