Intuïtionisme: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
Regel 18:
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 [[constructieve wiskunde]] (waar intuïtionisme grotendeels toe gerekend wordt) de laatste decennia sterk toegenomen. Men is meer geïnteresseerd geraakt in de principiële berekenbaarheid van wiskundige entiteiten, en de constructieve wiskunde biedt hiervoor een passend kader.
Veel van de klassieke wiskunde is niet-constructief. Soms is dit essentiëel (bijvoorbeeld wanneer de betreffende stelling intuïtionistisch onwaar is), soms is er een constructieve herformulering van de betreffende stelling mogelijk.
| |||