Constructivisme (wiskunde)
wiskunde / Uit Wikipedia, de vrije encyclopedia
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 het bewijs uit het ongerijmde 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 Erret Bishop opgepakt en zo aangepast dat de resultaten van Bishops constructieve wiskunde ook geldig zijn in de klassieke wiskunde. Het intuïtionisme wordt nu als een stroming binnen de constructieve wiskunde gezien. Een andere belangrijke stroming is de recursieve wiskunde.
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 de berekenbaarheid in de wiskunde aanzienlijk is verscherpt.