Kennis maken met de intuïtionistische wiskunde van L.E.J. Brouwer (1881-1966) en andere vormen van constructieve wiskunde. |
|
Voorbeelden die laten zien dat de betekenis van een stelling pas duidelijk wordt uit het bewijs van de stelling.
Tegenvoorbeelden die Brouwer gaf tegen `klassieke' wiskundige stellingen.
Brouwers aanval op de klassieke logica. Intuïtionistische logica. De grote uitdrukkingskracht van de taal van de intuïtionistische wiskunde.
De nieuwe axioma's die Brouwer voorstelde: het continuïteitsprincipe, het pricipe van barrière-inductie en de waaierstelling.
Toepassingen van deze axioma's.
Vergelijking van intuïtionistische wiskunde met `berekenbare' wiskunde en met constructieve wiskunde in de stijl van E. Bishop.
|
|
|
|
Tentamen, schriftelijk of mondeling afhankelijk van het aantal deelnemers.
Studenten die tentamen afleggen voor de mastervariant dienen zich in te schrijven voor de toets NWI-WM037C. |
|
|