Intuïtionisme: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
kGeen bewerkingssamenvatting |
cat:Filosofie van de wiskunde |
||
Regel 23:
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.
[[categorie:
[[categorie:Logica]]
[[Categorie:Filosofie van de wiskunde]]
[[cs:Intuicionistická logika]]
|