constructivisme

Het constructivisme is een stroming in de filosofie van de wiskunde die stelt dat het enige geldige bewijs van het bestaan van een wiskundig object een constructie van dat object is. In het bijzonder wordt de bewijsmethode van de reductio ad absurdum uitgesloten. Men spreekt meestal van `constructieve wiskunde' in plaats van `constructivisme'. Grondlegger van de constructieve wiskunde was L.E.J. Brouwer. Zijn intuïtionisme werd door opgepakt en zo aangepast dat de resultaten van Bishops constructieve wiskunde ook geldig zijn in de klassieke wiskunde. (Het intuïtionisme wordt nu gezien als een stroming binnen de constructieve wiskunde. Een andere belangrijke stroming is de , ook wel RUSS genoemd.) Sinds Bishop in 1967 zijn Foundations of Constructive Analysis publiceerde, mag de constructieve wiskunde zich verheugen in een groeiende populariteit. Dit komt onder andere door de opkomst van de computers, waardoor de interesse in daadwerkelijke berekenbaarheid van wiskundige entiteiten aanzienlijk is verscherpt.