Intuïtionisme: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→Intuïtionistische formele logica: Heytings werk |
k bronnenboxje |
||
Regel 22:
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.
{{bron|<references/>}}
[[categorie:Filosofische stroming]]
|