Intuïtionisme: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k (cat) |
k →Constructieve wiskunde: linkcorrectie |
||
Regel 19:
Het blijkt mogelijk te zijn om een volwaardige wiskunde op te bouwen uitgaande van de intuïtionistische [[axioma|axioma's]]. Het enige intuïtionistische [[axioma]] dat niet in overeenstemming is met de klassieke wiskunde is het zogenaamde [[continuïteitsprincipe]] (CP).
Vanwege de opmars van de computer, is de interesse in [[
Veel van de klassieke wiskunde is niet-constructief. Soms is dit essentieel (bijvoorbeeld wanneer de betreffende stelling intuïtionistisch onwaar is), soms is er een constructieve herformulering van de betreffende stelling mogelijk.
|