Bewijsbaarheidslogica 2004-2005

Toetsen

Voor het college zijn er de volgende toetsonderdelen: voordrachten van de studenten, huiswerkopgaven, tussentoetsen en eindtoets. Het eindcijfer wordt voor 10 % bepaald door de voordrachten, voor 50 % door de eindtoets, voor 25 % door de tussentoetsen en voor 25 % door de huiswerkopgaven.

Week 1

Maandag 6 September in de avond. We hebben de context van Goedel's stellingen behandeld en de grondslagencrisis van rond 1900. Vervolgens hebben we een begin gemaakt met hoofdstuk 1 van Boolos. Het is de bedoeling dat de rest van Hoofdstuk 1 thuis wordt bestudeerd. Bestudeer alleen de zaken die met K, K4 en GL te maken hebben. Sjoerd zal het volgende college bewijzen dat GL een uitbreiding is van K4. Het huiswerk van Week 1 moet voor volgende week maandag 19:00 worden ingeleverd.

Week 2

Maandag 13 September hebben we in grote lijnen hoofdstuk 4 van Boolos behandeld. Wederom is het alleen nodig om de stellingen die betrekking hebben op GL en K4 te lezen. Het huiswerk van Week 2 moet voor volgende week maandag 19:00 worden ingeleverd.

Week 3

Maandag

We hebben de modale volledigheid van GL bewezen. Lees zelf van hoofdstuk 5 het bewijs voor K4. Het huiswerk naar aanleiding van dit college kan nu al worden gemaakt.

Donderdag

Van 13:00-15:00 komen we bijeen in BG 195. Het college is een soort werkcollege geworden. Willem heeft de theorem op blz 84 van Boolos behandeld.

Week 4

We hebben deze week alleen op maandag les. We hebben het bewijs van interpolatie van GL gedaan op het truth lemma na. Verder hebben we uit het boek van Smullyan Stelling GT op blz 7 behandeld. Het huiswerk naar aanleiding van dit college kan nu worden gemaakt.

Het is de bedoeling om voor het volgend college (Maandag 4-10) het bewijs van de interpolatie van GL zelf te bekijken.

Week 5

Bouke doet in minder dan tien minuten Case 1 van het truth lemma behorend bij het interpolatie bewijs van GL voor. Tom maakt exercise 2 op blz 20 van Smullyan voor. We zullen ons met Hoofdstukken 1 en 2 van S bezig houden. Het huiswerk van deze week is Exercise 4 en 7 van Hoofdstuk 2 van Smullyan.

Week 6

Donderdag 14-10

13.30-15.30, Gaat niet door wegens de NS treinstaking.

Vrijdag 15-10

Chapter 3, Smullyan 13.00-16.00, BG 195

Week 7

Maandag 18-10

Chapter 3, Smullyan, Begin van het semantisch bewijs van de Fixed Point stelling van Boolos Chapter 8. We hebben gesproken over de voorwaarden van de tussentoets.

Donderdag 21-10

Midterm exam.

Week 8

Maandag 25-10

Bewijs fixed point theorem, met toepassing van Joop. Begin Hoofdstuk 4 Smullyan. Het huiswerk kan nu al gemaakt worden. Het zijn de eerste twee sommen van dit velletje.


Vrijdag 12 november 14:00-17:00 tentamen
Joost Joosten
Last modified: Wed Oct 27 14:36:04 MET DST 2004