En formalisering av matematiken i svensk gymnasieundervisning
This study examines how formal mathematics can be taught in the Swedishsecondary school with its new curriculum for mathematics. The study examineswhat a teaching material in formal mathematics corresponding to the initialcontent of the course Mathematics 1c could look like, and whether formalmathematics can be taught to high school students.The survey was conducted with second year students from the science programme.The majority of these students studied the course Mathematics D.The students described themselves as not being motivated towards mathematics.The results show that the content of the curriculum can be presented withformal mathematics. This both in terms of requirements for content and studentsbeing able to comprehend this content. The curriculum also requires thatthis type of mathematics is introduced in the course Mathematics 1c.The results also show that students are open towards and want more formalmathematics in their ordinary education. They initially felt it was strangebecause they had never encountered this type of mathematics before, but somestudents found the formal mathematics to be easier than the mathematicsordinarily presented in class.The study finds no reason to postpone the meeting with the formal mathematicsto university level. Students? commitment to proof and their comprehentionof content suggests that formal mathematics can be introduced inhigh school courses. This study thus concludes that the new secondary schoolcourse Mathematics 1c can be formalised and therefore makes possible a renewedmathematics education.