Den officielle kursusbeskrivelse samt information om tilmelding, tid og sted findes på kursets webside på Folkeuniversitetet. Nærværende hjemmeside er først og fremmest henvendt til de aktuelle deltagere på kurset samt eventuelt andre som måtte ønske mere detaljeret information om kursets indhold.
Herunder er den foreløbige lektionsplan samt tilhørende undervisningsmateriale. Beskrivelser og undervisningsmateriale vil blive opdateret løbende igennem kurset. Vigtige opdateringer af lektionsplan eller undervisningsmateriale vil blive meldt ud til kursusdeltagerne via email.
13/9. TB. Formelle systemer og aksiomatisk mængdelære.
Undervisningsmateriale:
20/9. SAP. Udvalgsaksiomet.
Undervisningsmateriale:
27/9. KFJ. Hilbert om det uendelige.
Undervisningsmateriale:
4/10. TB. Gödels ufuldstændighedssætning.
Undervisningsmateriale:
11/10. SAP. Skolems paradoks og en moderne kritik af mængdelæren.
Undervisningsmateriale:
25/10. SAP. Den urimelige effektivitet af matematikken i naturvidenskaben.
Undervisningsmateriale:
1/11. KFJ. Teoretisk beregnelighed og Churchs tese.
Undervisningsmateriale:
8/11. TB. Teoretisk og praktisk beregnelighed.
Undervisningsmateriale:
15/11. KFJ. Gentzen og de transfinitte bevismetoder.
Undervisningsmateriale:
22/11. SAP. Den moderne grundlagsdiskussion.
Undervisningsmateriale: