6 ECTS credits
150 u studietijd

Aanbieding 1 met studiegidsnummer 4013341ENR voor alle studenten in het 2e semester met een verdiepend master niveau.

Semester
2e semester
Inschrijving onder examencontract
Niet mogelijk
Beoordelingsvoet
Beoordeling (0 tot 20)
2e zittijd mogelijk
Ja
Onderwijstaal
Nederlands
Faculteit
Faculteit Wetenschappen en Bio-ingenieurswetensch.
Verantwoordelijke vakgroep
Wiskunde
Onderwijsteam
Mark Sioen (titularis)
Onderdelen en contacturen
30 contacturen Hoorcollege
30 contacturen Werkvormen en Praktische Oef.
Inhoud

De klassieke paradoxen in de wiskunde, zoals de Russel paradox en die van Burali-Forti, maken het noodzakelijk de fundamenten van de wiskunde axiomatisch te beschrijven. Anderzijds blijkt voor verschillende open problemen uit de abstracte analyse, uit de maattheorie of uit de topologie, de afhankelijkheid van de gebruikte axiomatiek. Naast de klassieke ZFC-axioma’s spelen de continuum hypothese en axioma’s over grote cardinalen een belangrijke rol.
We beogen ook een fundering te geven voor categorietheorie. Het bestaan van een universum wordt aan ZFC als axioma toegevoegd en de betekenis in termen van de hierarchie, "verzamelingen, klassen, conglomeraten" wordt uiteengezet. Tegelijk wordt het verband gelegd met het bestaan van sterk inaccessiebele cardinalen.

Inhoud:
Naïve verzamelingenleer: welordening, ordinalen, cardinalen, bewerkingen op cardinalen, reguliere en singuliere cardinalen, gesloten klasse van cardinalen, continuum hypothese.
Axiomatische verzamelingenleer: taal van ZF, Zermelo Fraenkel axioma’s, recursieve functies.
Keuze axioma, equivalente formuleringen en gevolgen voor de wiskunde.
Consistentie, voorbeelden van onbeslisbare formules in ZFC.
Het model van de welgefundeerde verzamelingen,  funderingsaxioma.
Universa en sterk inaccessiebele cardinalen.
Onvolledigheidsstelling van Gödel.

Studiemateriaal
Cursustekst (Vereist) : Grondslagen van de wiskunde, cursusnota's worden door de docent verstrekt, Door de docent verstrekt
Handboek (Aanbevolen) : The Joy of Sets, Fundamentals of contemporary Set theory, K. Devlin, 2de, Springer Verlag, 9781461269410, 2012
Digitaal cursusmateriaal (Aanbevolen) : SGA4, Lecture notes in Mathematics, M. Artin, A. Grothendieck, J.L. Verdier
Handboek (Aanbevolen) : Set Theory, an introduction to independence proofs, Volume 102, K. Kunen, Elsevier, 9780444868398, 1983
Handboek (Aanbevolen) : Introduction to Set theory, K. Hrbacek & T. Jech, 3de, M. Dekker, 9780824779153, 1999
Handboek (Aanbevolen) : Gödels theorem simplified, H. J. Genssler, UPA, 9780819138699, 1984
Bijkomende info

cursusnota's worden door de docent verstrekt

 

Leerresultaten

Algemene competenties

- De student  heeft inzicht in het belang van een axiomatische fundering van de wiskunde en in de impact ervan op verschillende domeinen, zoals maattheorie, analyse, topologie en algebra.

- De student kent verschillende equivalente formuleringen van het keuzeaxioma en de impact ervan buiten de verzamelingenleer.

- De student kan rekenen met oneindige cardinalen en kan deze rekenvaardigheid toepassen.

-De student begrijpt het onderscheid tussen reguliere en singuliere cardinalen, kent de betekenis van het axioma dat stelt dat sterk inaccessiebele cardinalen bestaan en kent het verband hiervan met het bestaan van universa.

- De student kent de betekenis van relatieve consistentie en kent voorbeelden van onbeslisbare formules in ZFC.

Inzicht en verbanden

- De student heeft inzicht in de materie, heeft nieuwe begrippen en resultaten grondig verwerkt en ziet verbanden tussen de verschillende concepten.

 

- De student herkent het verband met begrippen zoals ze in andere studiedelen worden ingevoerd.  

Opbouw & formulering

- De student kan de opbouw van bewijzen ontleden en heeft zich de logische redenering die eraan ten grondslag ligt eigen gemaakt. De student ziet in waar in een bewijs van een bewering op gestelde condities wordt gesteund.  

- De student kan bewijzen, die als oefening gelaten worden of die slechts schematisch in de syllabus of tijdens het hoorcollege worden weergegeven, zelf verder uitwerken en kan ontbrekende argumentatie zelf invullen.

- De student kan eigenschappen correct wiskundig formuleren en bewijzen correct opschrijven.

Zelfstandig probleemoplossen

- De student kan op zelfstandige wijze problemen oplossen: hij/zij is bekwaam om een probleem als dusdanig te herkennen, om een aangepaste strategie aan te wenden, om uit beschikbare methoden de meest geschikte te kiezen. 

Beoordelingsinformatie

De beoordeling bestaat uit volgende opdrachtcategorieën:
Examen Mondeling bepaalt 100% van het eindcijfer

Binnen de categorie Examen Mondeling dient men volgende opdrachten af te werken:

  • Mondeling examen met een wegingsfactor 1 en aldus 100% van het totale eindcijfer.

Aanvullende info mbt evaluatie

Mondeling

Toegestane onvoldoende
Kijk in het aanvullend OER van je faculteit na of een toegestane onvoldoende mogelijk is voor dit opleidingsonderdeel.

Academische context

Deze aanbieding maakt deel uit van de volgende studieplannen:
Master in de wiskunde: fundamentele wiskunde
Master in de wiskunde: onderwijs
Educatieve master in de wetenschappen en technologie: wiskunde (120 ECTS, Etterbeek)