NWI-WB070C
Intuïtionistische Wiskunde
Cursus informatieRooster
CursusNWI-WB070C
Studiepunten (ECTS)6
CategorieBA (Bachelor)
VoertaalNederlands
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Wiskunde, Natuur- en Sterrenkunde;
Docenten
Coördinator
dr. W.H.M. Veldman
Overige cursussen docent
Docent
dr. W.H.M. Veldman
Overige cursussen docent
Contactpersoon van de cursus
dr. W.H.M. Veldman
Overige cursussen docent
Examinator
dr. W.H.M. Veldman
Overige cursussen docent
Collegejaar2021
Periode
KW1-KW2  (06-09-2021 t/m 30-01-2022)
Aanvangsblok
KW1
Onderwijsvorm
voltijd
Opmerkingcursus wordt om het jaar gegeven, in 23/24
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure-
Cursusdoelen
Kennis maken met de intuïtionistische wiskunde van L.E.J. Brouwer (1881-1966) en andere vormen van constructieve wiskunde.
Inhoud
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.

Instructional Modes

 

 
Niveau

Voorkennis
Logica
Toetsinformatie
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.
Bijzonderheden

Verplicht materiaal
Dictaat
wordt gedeeld via Brightspace
Kosten:0,00

Werkvormen
Cursusgebeurtenis

Hoorcollege

Werkcollege

Zelfstudie

Toetsen
Mondeling tentamen
Weging1
ToetsvormMondeling
GelegenhedenBlok KW2, Blok KW3