{"id":381,"date":"2019-09-16T08:58:27","date_gmt":"2019-09-16T08:58:27","guid":{"rendered":"http:\/\/hilbert.dm.fct.unl.pt\/?page_id=381"},"modified":"2019-10-26T10:34:03","modified_gmt":"2019-10-26T10:34:03","slug":"proof-in-mathematical-education","status":"publish","type":"page","link":"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=381","title":{"rendered":"Proof in Mathematics Education"},"content":{"rendered":"<h1>PiME &#8211; <em>Proof in Mathematics Education<\/em><\/h1>\n<p>October 26th, 2019.<br \/>\nFCT, Universidade Nova de Lisboa, Campus de Caparica.<\/p>\n<h3><strong>Organizers<\/strong><\/h3>\n<ul>\n<li>Helena Rocha, Universidade Nova de Lisboa (Chair)<\/li>\n<li>Isabel Oitavem, Universidade Nova de Lisboa<\/li>\n<li>Reinhard Kahle, Universit\u00e4t T\u00fcbingen &amp; Universidade Nova de Lisboa<\/li>\n<li>Ant\u00f3nio Domingos, Universidade Nova de Lisboa<\/li>\n<\/ul>\n<h3><strong>Support<\/strong><\/h3>\n<ul>\n<li><strong>Departamento de Matem\u00e1tica, FCT, UNL<\/strong><\/li>\n<li><strong>CMA, FCT, UNL<\/strong><\/li>\n<li><strong><strong>Hilbert&#8217;s 24th Problem <\/strong><\/strong>(PTDC\/MHC-FIL\/2583\/2014)<\/li>\n<li><strong>Nova.ID.FCT<\/strong><\/li>\n<li><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-412\" src=\"https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/fct_logo-1-744x122.jpg\" alt=\"\" width=\"584\" height=\"100\" \/><\/li>\n<li><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-397\" src=\"https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/APM_logoA5-744x521.png\" alt=\"\" width=\"148\" height=\"104\" srcset=\"https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/APM_logoA5-744x521.png 744w, https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/APM_logoA5-420x294.png 420w, https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/APM_logoA5-768x538.png 768w, https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/APM_logoA5-1200x840.png 1200w, https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/APM_logoA5.png 1654w\" sizes=\"auto, (max-width: 148px) 100vw, 148px\" \/><\/li>\n<li><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-399\" src=\"https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/Screenshot_20191018_080805.png\" alt=\"\" width=\"227\" height=\"125\" srcset=\"https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/Screenshot_20191018_080805.png 454w, https:\/\/hilbert.dm.fct.unl.pt\/wp-content\/uploads\/2019\/09\/Screenshot_20191018_080805-420x232.png 420w\" sizes=\"auto, (max-width: 227px) 100vw, 227px\" \/><\/li>\n<\/ul>\n<h3><strong>Location<\/strong><\/h3>\n<p>Sala de Semin\u00e1rios (Seminar Room), Edif\u00edcio VII<\/p>\n<p>Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancia e Tecnologia, Universidade Nova de Lisboa<br \/>\n<a href=\"https:\/\/www.fct.unl.pt\/en\/about-fct\/how-get-fct\">Campus de Caparica<\/a><\/p>\n<p><a href=\"https:\/\/www.fct.unl.pt\/en\/about-fct\/how-get-fct\">How to get there.<\/a><\/p>\n<h2><span style=\"color: #ff0000;\"><a style=\"color: #ff0000;\" href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSfaTsafbCCvTJLuDTBm1U9Uz8oRKrvyEHMl20NLc7u4Z_pznQ\/viewform?usp=sf_link\"><strong>Registration<\/strong><\/a><\/span><\/h2>\n<p>Please register for the meeting as soon as possible: <a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSfaTsafbCCvTJLuDTBm1U9Uz8oRKrvyEHMl20NLc7u4Z_pznQ\/viewform?usp=sf_link\">link for registration<\/a>.<br \/>\nIf you have any further question, please contact <a href=\"mailto:hcr@fct.unl.pt\">Helena Rocha at hcr@fct.unl.pt<\/a>.<\/p>\n<h3>Speakers<\/h3>\n<ul>\n<li>David Reid, Universitetet i Agder, Norway<\/li>\n<li>Alessandra Mariotti, Universit\u00e0 di Siena, Italy<\/li>\n<li>Jaime Carvalho e Silva, Universidade de Coimbra, Portugal<\/li>\n<li><span class=\"gmail-biblio-title-mla\">Helena Rocha, Universidade Nova de Lisboa, Portugal<\/span><\/li>\n<li>Reinhard Kahle, Universit\u00e4t T\u00fcbingen, Germany &amp; Universidade Nova de Lisboa, Portugal<\/li>\n<\/ul>\n<h3>Programme<\/h3>\n<table>\n<tbody>\n<tr>\n<td width=\"123\">9:30h \u2013 10h<\/td>\n<td width=\"444\">Opening<\/td>\n<\/tr>\n<tr>\n<td width=\"123\">10h \u2013 11h<\/td>\n<td width=\"444\"><strong>David Reid<\/strong>: <em>Forms and functions of proofs in schools<\/em><\/td>\n<\/tr>\n<tr>\n<td width=\"123\">11h \u2013 11:30h<\/td>\n<td width=\"444\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td width=\"123\">11:30h \u2013 12:30h<\/td>\n<td width=\"444\"><strong>Helena Rocha<\/strong>: <em>Perspectives on mathematical proof by teachers of different levels<\/em><\/td>\n<\/tr>\n<tr>\n<td width=\"123\">12:30h \u2013 14h<\/td>\n<td width=\"444\">Lunch<\/td>\n<\/tr>\n<tr>\n<td width=\"123\">14h \u2013 15h<\/td>\n<td width=\"444\"><strong>Alessandra Mariotti<\/strong>: <em>Contexts for developing students\u2019 sense of proof<\/em><\/td>\n<\/tr>\n<tr>\n<td width=\"123\">15h \u2013 16h<\/td>\n<td width=\"444\"><strong>Jaime Carvalho e Silva<\/strong>: <em>The saga of mathematical proofs in Secondary Education in Portugal<\/em><strong><br \/>\n<\/strong><\/td>\n<\/tr>\n<tr>\n<td width=\"123\">16h \u2013 16:30h<\/td>\n<td width=\"444\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td width=\"123\">16:30h \u2013 17:30h<\/td>\n<td width=\"444\"><strong>Reinhard Kahle<\/strong>: <em>A Turing test for mathematical proof<\/em><\/td>\n<\/tr>\n<tr>\n<td width=\"123\">17:30h \u2013 18h<\/td>\n<td width=\"444\">Closing<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>Abstracts<\/h3>\n<ul>\n<li><strong>Forms and functions of proofs in schools<\/strong><br \/>\nDavid Reid, Universitetet i Agder, Norway<br \/>\n<em>In recent years there have been calls in many countries for an increased focus on proofs at all grade levels. In the past, proofs in school contexts have been limited to the later grades and often restricted to geometry or to algebraic manipulations. If proofs are a topic in all grades, we must consider what forms of proofs are appropriate in different contexts, and what function they might have in learning mathematics. I will explore these questions and some possible answers to them.<\/em><\/li>\n<li><strong>Perspectives on mathematical proof by teachers of different levels<\/strong><br \/>\nHelena Rocha, Universidade Nova de Lisboa, Portugal<br \/>\n<em>This study intends to analyze the perspectives of teachers of different levels regarding proof and its functions in Mathematics and Mathematics teaching. Adopting a methodology of a qualitative nature, and based on interviews, the perspectives of teachers of upper secondary, higher education and training teachers of Mathematics were collected. The conclusions reached suggest that teachers seem to share a formal conception of mathematical proof, recognizing the need to introduce some simplification when considering proof in Mathematics teaching as well as the importance of their functions of validation, contribution to learning and even a cultural function.<\/em><\/li>\n<li><strong>Contexts for developing students\u2019 sense of proof<\/strong><strong><br \/>\n<\/strong>Maria Alessandra Mariotti, Universit\u00e0 di Siena, Italy<br \/>\n<em>Within the frame of the Theory of Semiotic Mediation I will describe and explain the role of specific computer based contexts in fostering the development of students\u2019 sense of proof.<br \/>\nElaborating on the Vygotskian notion of semiotic mediation I intend to explain how the didactic use of computational tools can support students\u2019 introduction to mathematical proof.<br \/>\nThe key element on which the process of semiotic mediation is based concerns on the one hand, the link between tools and meanings emerging from their use in classroom activities and on the other hand the mathematical notions, which are the objective of instruction. Thus the discussion on the use of computational tools in the perspective of semiotic mediation, requires a complex analysis that can be summarized in the following components:<br \/>\n1.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/em><em>Epistemological analysis. The mathematical notions we intend to deal with; specifically, some key aspects in developing students\u2019 sense of proof will be discussed, such as the idea of Theorem as the system of a statement, a proof and a theory within which such a proof make sense; the idea of conditional statement as the logical relation between premises and conclusion.<br \/>\n2.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/em><em>Cognitive analysis. The use of\u00a0 an artefact<\/em><em>\u00a0according a specific purpose generates schemes of utilization, contributing to the emergence of meanings, but also that use creates in the classroom a meaningful environment within which interpersonal discourse may evolve.<br \/>\n3.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/em><em>Didactical analysis. The design of the introduction and integration of an artefact in the classroom activities; strictly related to the cognitive analysis the didactic analysis is aimed to set up the teaching sequence.<br \/>\nExamples will be presented, drawn from different teaching experiments, aiming at illustrating different aspects of\u00a0 the semiotic mediation process, as it may unfold in the solution of specific tasks and support the educational goal.<\/em><\/li>\n<li><strong>The saga of mathematical proofs in Secondary Education in Portugal<\/strong><strong><br \/>\n<\/strong>Jaime Carvalho e Silva, Universidade de Coimbra, Portugal<br \/>\n<em>In the eighties there were mathematical proofs that were compulsory in Secondary Education in Portugal. Nowadays there are mathematical proofs that were compulsory both in Basic and Secondary Education. In the meantime lots of different approaches have occurred with some occasional proofs present in national examinations. <\/em><em>What to figure out of all this (rich?) history?<\/em><\/li>\n<li><strong>A Turing test for mathematical proof<\/strong><br \/>\nReinhard Kahle, Universit\u00e4t T\u00fcbingen, Germany &amp; Universidade Nova de Lisboa, Portugal<br \/>\n<em>We discuss how the famous Turing Test, applied to mathematical proof, helps us to better understand and sharpen our notion of mathematical proof. It also shed light on the way how we should examine (the knowledge of) proofs. <\/em>(Joint work with Jesse Alama.)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<div class=\"entry-summary\">\nPiME &#8211; Proof in Mathematics Education October 26th, 2019. FCT, Universidade Nova de Lisboa, Campus de Caparica. Organizers Helena Rocha,&hellip;\n<\/div>\n<div class=\"link-more\"><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=381\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &ldquo;Proof in Mathematics Education&rdquo;<\/span>&hellip;<\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-381","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/381","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=381"}],"version-history":[{"count":27,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/381\/revisions"}],"predecessor-version":[{"id":418,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/381\/revisions\/418"}],"wp:attachment":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=381"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}