Samspelet mellan Matematiken och Vetenskapen Ambjörn Naeve The Knowledge Management Research group Centre for user-oriented IT Design (CID) Numerical Analysis and Computer Science (NADA) Royal Institute of Technology (KTH) Stockholm / Sweden
[ ] A B kalibrerings- process P [P] A [P] B AB Två olika begreppsmodeller av samma område
diff förändra modellen öka uppmärksamheten nej ja jaja ne j minska uppmärksamheten diff registrera sinnesintrycken kontrollera modell- förväntningarna registrera sinnesintrycken kontrollera modell- förväntningarna BakgrundFörgrund En modell av hur vi använder mentala modeller
PåståendeTeoremMatematisk Teori {grundläggande påstående} DefinitionAxiomBevisModell 1..* 1 {härlett påstående} {logiskt resonemang som grundar sig på axiomen} <<synonym>> Postulat uppfyller gäller för 2..* * Strukturen hos en matematisk teori * *
Matematik då måsteB vara sant Vetenskap Experimentell Teoretisk B överlever testet Antagande Faktum Betingat Påstående omA vore sant såbleve B sant Aär sant Experiment Logisk Slutsats > ettTest Teori Vederläggning av antaganden genom vederläggning av deras logiska slutsatser Samspelet mellan matematiken och vetenskapen
Erfarenhet StrukturFörväntanRum BegreppFenomen Axiom Teorem återställbar? ja nej T id Begreppsbildning ExperimenterandeResultatNaturlagFörkastad falsifierbar? nej ja Teori * Utsaga FörsvagningHypotes Förstärkning förväntan uppfylld? ja nej