Intuitionismus (Logik und Mathematik)

Der Intuitionismus ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als Tätigkeit des exakten Denkens angesehen wird, die ihre eigenen Objekte hervorbringt und nicht voraussetzt. Die Wahrheit mathematischer Aussagen wird reduziert auf ihre Konstruierbarkeit, womit der Intuitionismus als eine Art des Konstruktivismus gelten kann. Der Intuitionismus ist eine der Grundpositionen im Grundlagenstreit der Mathematik.