Konferanse for matematikklærerutdannere dag 3

Den tredje dagen av matematikklærerutdanningskonferansen i Loen varte bare fram til lunsj, men det var likevel nok av interessante temaer.

Det første plenumsforedraget var om automatiserte bevis. Christoph Kirfel (UiB og Tangenten-redaktør) viste Wus metode for å bevise geometriske setninger. Metoden går i korthet ut på at man uttrykker både forutsetningene og hypotesen ved hjelp av likninger (med 0 på høyre side av likhetstegnet). Man bruker så standard metoder til å uttrykke hypoteselikningen som en lineærkombinasjon av forutsetningslikningene.

Selve metoden er interessant, og Kirfel stilte spørsmålet om teoremer som er framskaffet slik (ved hjelp av en datamaskin) er "kunnskap" i like stor grad som andre beviser. Jeg vil spisse problemstillingen litt til, og spørre om slike teoremer er "kunnskap" før noe menneske har sett dem. Gir det mening å si at datamaskinen beviser teoremene, men at de ikke blir kunnskap før et menneske har lest gjennom det? (Dette henger naturligvis sammen med diskusjonen om matematikk blir oppdaget eller oppfunnet. Mange har problemer med den platonistiske tankegangen at all matematikk allerede "eksisterer" og at mennesker bare oppdager den. Men her er det jo konkrete eksempler på at teoremer kan eksistere uavhengig av mennesker, og det gir liten mening å påstå at det menneske som først leser datamaskinens teorem "finner opp" teoremet.)

Like interessant som selve metoden for automatiserte bevis var de gode eksemplene som vi nok vil ha glede av til bruk i kurs i GeoGebra, for eksempel. (Stikkordsmessig: Lorents Bies setning, Morleys teorem og et nestenteorem om fjerdegradsfunksjoner.)

Marianne Maugesten fortalte om sitt prosjekt om muntlig eksamen i matematikkemne 102 ved Høgskolen i Østfold. Hun hadde analysert lydopptak av åtte eksaminasjoner, og prøvd å finne ut hvordan studentenes forståelse kom fram. Jeg kan ikke gjengi konklusjonene her, jeg har ikke presise nok notater. Men i etterkant slo det meg at vi kanskje bør finne et annet navn enn "muntlig eksamen" på denne eksamensformen. Det er jo vel så mye en praktisk eksamen. Dette ble spesielt tydelig for meg når Maugesten sa at muntlig eksamen egner seg spesielt godt i for eksempel geometri, fordi geometri er et så visuelt tema. For folk som ikke forstår hvordan muntlig eksamen i matematikk foregår, vil et slikt utsagn framstå som helt bakvendt. Men muntlig eksamen i matematikk inkluderer en masse tegning og skriving - den er bare "muntlig" i den forstand at den ikke er rent skriftlig...

Deretter var det en økt om ny lærerutdanning igjen, hvor gruppene fra dagen før la fram sine innspill. Det blir spennende å følge prosessen videre. I løpet av diskusjonen ble jeg inspirert av Marit Johnsen Høines, som ofte starter sine setninger med "Tenk om..." Mens jeg har en tendens til å se vanskelighetene og prøve å tenke ut hvordan vi skal komme utenom dem, starter Marit gjerne med en visjon. "Tenk om vi fikk til å..." Jeg skal prøve å tenke mer sånn.

Til slutt fortalte Høgskolen i Oslo (hvor jeg er) om planene for neste års konferanse. Den skal være på Sanner hotell i perioden 20-22. eller 23. september 2010. Vi røpet også at vi har vært i kontakt med Ole Skovsmose og at planen er at han skal holde et plenumsforedrag. Vi gleder oss!

For øvrig ble det minnet om LAMIS' sommerkurs i Sandefjord i august 2010, med temaet kommunikasjon (slagord: "Matematikk - nå snakker vi!") Det er jo også noe å tenke på.

Og så var årets samling for matematikkmiljøet i lærerutdanningene over, og vi satte oss i bilen og kjørte hjem til Oslo...