Schema för möte 2, 9/3
Obs! Tiderna är ungefärliga!
16.00-16.15 Samling/fika i fikarummet plan 4.
Förflyttning till sal D2, Lindstedtsvägen 5.
16.15-17.00 Vi börjar gå igenom avsnitt A (detta avsnitt tar troligen två möten att gå igenom).
Närmare bestämt tänker vi diskutera hur man beräknar vissa geometriska operationer i planet, t ex en vridning 45 eller en spegling i en linje. Vi kommer då använda oss av matriser. Du som undrat över vad The Matrix är för något egentligen kommer alltså här få förklaringen (matris heter matrix på engelska).
Som underlag för diskussionen ligger kap 3 t o m 6 i kompendiet "Linjära avbildningar i planet", som man med stor fördel har räknat igenom före mötet. Det tar några timmar i anspråk, men du kommer förstå mycket mer av diskussionen om du tar dig den tiden.
Frågor på texten, bilderna (ursäkta kvaliteten på trycket) och övningarna är mycket välkomna redan nu eller på mötet!
Paus
17.15-17.40 Gödels ofullständighetssats (Lasse Svensson)
En av de stora upptäckterna inom logik förra seklet (ja t o m förra milleniet) var en sats av matematikern och logikern Kurt Gödel. Satsen är begreppsmässigt svår, men kan kläs i för lekmannen begripligt språkbruk med en enkel modell uppfunnen av Roger Penrose.17.40-18.00 Slutna ytor (Mattias Dahl)
Med identifikation av sidorna i en kvadrat på olika sätt, kan man skapa olika slutna ytor. På motsvarande sätt kan man skapa olika "rum" genom att identifiera sidorna i en kub. Mattias föredrag avslutas med en kortfilm på engelska, "The shape of space", som illustrerar hur det kan vara att leva i dessa rum. (Det finns en hemsida om ämnet.)Dessa föredrag kräver inga förberedelser, det är bara att luta sig tillbaka och njuta.
Dan Laksovs föredrag om talteori är flyttat till den 11/5.
Passa gärna på att diskutera ev. val av individuellt ämne med oss under fikat eller i pausen!