Schema för möte 1, 27/9
Obs! Tiderna är ungefärliga!
16.00-16.15 Samling/fika i fikarummet plan 4
16.15-17.15 Analysens grunder:
17.30-18.00 Föredrag:
- Niklas Eriksen: Kap 1
Vi kommer att beräkna binomialkoefficienterna samt se på några användningsområden för dem.
- Lasse Svensson: Variant av Gödels ofullständighetssats
Gödels ofullständighetssats hör till 1900-talets mest uppseendeväckande resultat inom matematisk logik. Min avsikt är att presentera en variant av denna sats som innehåller den bärande idén bakom beviset. Satsen säger grovt att varje formellt axiomsystem som inte är självmotsägande och som är tillräckligt stort alltid innehåller "påståenden" som varken kan visas eller motbevisas inom systemet, men vars "naturliga" tolkning är sanna.