What does it mean for students if they are learning technology that can answer every challenge?
<h3>Computers have helped mathematical research accelerate in multiple directions and increased the presence of <a href="https://www.cnet.com/how-to/count-steps-with-apple-watch/">mathematics in everyday life</a>.</h3>
<p>The role of technology in teaching and learning mathematics is increasingly on my mind as a math instructor who sees new students arrive at Simon Fraser University (SFU) every year. Both at SFU, and <a href="https://www.sfu.ca/mathcatcher.html">when I visit</a> <a href="https://www.google.com/maps/d/viewer?ll=15.290666696045552%2C-104.17303904999994&;z=3&;mid=12IkRTShtyG7A6MMaoq7MJL9GU7YSVgnv">Canadian math classrooms as a guest speaker</a>, I look out into rooms filled with vibrant young people surrounded by calculators, computers and smart phones.</p>
<p>And that’s OK. Like many mathematicians, I have not pushed back against the new technological winds ushered forward by modern times. But such technology should enhance and extend, rather than replace, the ability to think mathematically.</p>
<h2>Adieu geometry?</h2>
<p>Recently, I met with a young person who was interested in math and computing, but not certain which direction he would like to go in. I offered the following problem used by the University of Oxford to interview undergraduate mathematics candidates:</p>
<blockquote>
<p>“<a href="https://www.theguardian.com/education/2016/oct/11/oxford-university-releases-sample-interview-questions">Imagine a ladder leaning against a vertical wall with its feet on the ground</a>. The middle rung of the ladder has been painted a different colour on the side, so that we can see it when we look at the ladder from the side on. What shape does that middle rung trace out as the ladder falls to the floor?”</p>
</blockquote>
<p>One way to approach the ladder puzzle is to use, in a relatively simple way, Euclidean geometry, to show that the answer is a quarter of a circle. See below:</p>
<figure class="align-center "><img src="https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=45&;auto=format&;w=754&;fit=clip" sizes="(min-width: 1466px) 754px, (max-width: 599px) 100vw, (min-width: 600px) 600px, 237px" srcset="https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=45&;auto=format&;w=600&;h=468&;fit=crop&;dpr=1 600w, https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=30&;auto=format&;w=600&;h=468&;fit=crop&;dpr=2 1200w, https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=15&;auto=format&;w=600&;h=468&;fit=crop&;dpr=3 1800w, https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=45&;auto=format&;w=754&;h=588&;fit=crop&;dpr=1 754w, https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=30&;auto=format&;w=754&;h=588&;fit=crop&;dpr=2 1508w, https://images.theconversation.com/files/310688/original/file-20200117-118352-xdkrno.png?ixlib=rb-1.1.0&;q=15&;auto=format&;w=754&;h=588&;fit=crop&;dpr=3 2262w" alt="" /><figcaption><span class="caption">Euclidean geometry can be used to solve the problem given to University of Oxford’s undergraduate mathematics candidates.</span> <span class="attribution"><span class="source">(Veselin)</span>, <span class="license">Author provided</span></span></figcaption></figure>
<p>Rather than draw on geometrical properties, the young man used the <a href="https://www.python.org/">Python programming language</a> to animate the problem and find the required shape. He had learned Python on his own earlier that summer. When I asked him about congruent triangles, the young man looked perplexed.</p>
<p>Situations like this make me fear that if not used with due care in classrooms, technology may deprive students of fully developing their numeracy and spatial skills.</p>
<h2>Unreachable problems</h2>
<p>What mathematicians call “the computationally assisted approach” has enabled researchers to explore and solve mathematical problems that would otherwise be unreachable. The computer-assisted proof of the celebrated Four Colour Theorem comes to mind.</p>
<figure><iframe src="https://www.youtube.com/embed/ANY7X-_wpNs?wmode=transparent&;start=0" width="440" height="260" frameborder="0" allowfullscreen="allowfullscreen" data-mce-fragment="1"></iframe><figcaption><span class="caption">The four colour theorem.</span></figcaption></figure>
<p>But some mathematical questions have demonstrated limitations of existing technology — and the fact that some solutions are dependent largely on human intuition, inspiration and intelligence. One <a href="https://blogs.scientificamerican.com/roots-of-unity/moores-law-and-ramsey-numbers/">such problem</a>, known as the party problem (yes, as in a dinner party), is finding the number of guests that would guarantee that one always can find six people who are mutual friends or six people who are mutual strangers.</p>
<p>In mathematical terms, this problem is about finding what’s called “the Ramsey number R(6,6),” related to a branch of mathematics that studies <a href="https://doi.org/10.1007/s00283-014-9508-7">what conditions must exist for a given pattern to appear</a>.</p>
<p>Believe it or not, since 1930 mathematicians have know that R(6,6) exists; since 1994 we have known this number is between 102 and 165.</p>
<p>No progress since!</p>
<h2>Experimental mathematics</h2>
<p>Celebrated Canadian mathematicians and brothers <a href="http://www.cecm.sfu.ca/%7Epborwein/">Peter Borwein</a> and <a href="https://www.carma.newcastle.edu.au/resources/jon/">Jonathan Borwein</a> — who established the <a href="http://www.cecm.sfu.ca/">Centre for Experimental and Constructive Mathematics</a> in 1993 at SFU — were among research pioneers who contributed to the process of aligning mathematics and new technologies.</p>
<p>As suggested by Jonathan Borwein and <a href="https://www.davidhbailey.com/">mathematician David H. Bailey</a>, <a href="https://www.ems-ph.org/books/show_abstract.php?proj_nr=207&;vol=1&;rank=2">experimental mathematics uses “a computationally assisted approach to mathematical research.”</a> They meant experimental math is about using computers to boost processes that have been the basic elements of mathematical research for centuries:</p>
<ol>
<li>Gaining insight and intuition;</li>
<li>Visualizing mathematical principles;</li>
<li>Discovering new relationships;</li>
<li>Testing and especially falsifying conjectures;</li>
<li>Exploring a possible result to make an evidence-based decision if the possible result merits formal proof;</li>
<li>Suggesting approaches for formal proof.</li>
</ol>
<p>They also argued computers could help with performing lengthy mathematical derivations and confirming analytically derived results.</p>
<p>Their point was that computers enable researchers to push their explorations into new or different dimensions.</p>
<h2>New exploration</h2>
<p>Bailey and Borwein’s ideas may be used to help describe contemporary and future ways of teaching mathematics to help students look at problems in new ways.</p>
<figure class="align-right "><img src="https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=45&;auto=format&;w=237&;fit=clip" sizes="(min-width: 1466px) 754px, (max-width: 599px) 100vw, (min-width: 600px) 600px, 237px" srcset="https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=45&;auto=format&;w=600&;h=662&;fit=crop&;dpr=1 600w, https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=30&;auto=format&;w=600&;h=662&;fit=crop&;dpr=2 1200w, https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=15&;auto=format&;w=600&;h=662&;fit=crop&;dpr=3 1800w, https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=45&;auto=format&;w=754&;h=832&;fit=crop&;dpr=1 754w, https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=30&;auto=format&;w=754&;h=832&;fit=crop&;dpr=2 1508w, https://images.theconversation.com/files/311745/original/file-20200124-81357-osgbxm.jpg?ixlib=rb-1.1.0&;q=15&;auto=format&;w=754&;h=832&;fit=crop&;dpr=3 2262w" alt="" /><figcaption><span class="caption">Mathematician and philosopher René Descartes resolved ‘never to accept anything for true which I did not clearly know to be such.’</span></figcaption></figure>
<p>In my geometry-Python anecdote, I might have challenged the student by observing that the shape obtained by the Python-generated animation only looks like a quarter circle (this may refer to points 1-3 and 5 in the Bailey-Borwein definition) and that a complete answer would require an analytically derived result (point 6).</p>
<p>To justify the challenge, I might also choose to show the student a seemingly mind-bending visual proof, such as the <a href="http://people.math.sfu.ca/%7Evjungic/CLF/64-equals-65.html">animation that “shows” 64 = 65</a>.</p>
<p>I might conclude by quoting <a href="https://plato.stanford.edu/entries/descartes/">17th-century mathematician and philosopher René Descartes</a>, who resolved:</p>
<blockquote>
<p>“… <a href="http://www.gutenberg.org/files/59/59-h/59-h.htm">never to accept anything for true which I did not clearly know to be such</a>; that is to say, carefully … avoid … prejudice, and to comprise nothing more in my judgment than what was presented to my mind so clearly and distinctly as to exclude all ground of doubt.”</p>
</blockquote>
<h2>Experimental mathematics curricula</h2>
<p>Researchers and educators have developed curricula specializing in teaching children and youth how to use computers to enhance and extend their own mathematical learning and thinking in Canadian high schools. For example, <a href="https://mast.queensu.ca/%7Emath9-12/">The RabbitMath Curriculum Project</a>, led by mathematician Peter Taylor of Queen’s University and Chris Suurtamm of the University of Ottawa, or the <a href="https://callysto.ca/">Callysto Project</a>, championed by the <a href="https://www.pims.math.ca/">Pacific Institute for Mathematical Sciences</a> (PIMS) and the Alberta-based not-for-profit organization <a href="https://www.cybera.ca/">Cybera</a>.</p>
<p>The challenge for the mathematics teaching community will be about increasingly creating and sustaining a healthy balance in our classrooms between the power of rigorous, formal mathematics and the power of computing.</p>
<p>When I think of the future, I am concerned that the rigorous and formal parts of mathematics could fade away and be left outside students’ scope.</p>
<p>For a student in the not-too-distant future, would, for example, <a href="https://www.scientificamerican.com/article/what-is-pi-and-how-did-it-originate/">the number pi</a> become a rational number — meaning, would it be equal to its approximation generated by the most powerful computer at the moment?</p>
<p>Most importantly, what will all this mean to students and their learning of mathematics as an instrument to better navigate the world around them?<!-- Below is The Conversation's page counter tag. Please DO NOT REMOVE. --><img style="border: none !important; box-shadow: none !important; margin: 0 !important; max-height: 1px !important; max-width: 1px !important; min-height: 1px !important; min-width: 1px !important; opacity: 0 !important; outline: none !important; padding: 0 !important; text-shadow: none !important;" src="https://counter.theconversation.com/content/127159/count.gif?distributor=republish-lightbox-basic" alt="The Conversation" width="1" height="1" /><!-- End of code. If you don't see any code above, please get new code from the Advanced tab after you click the republish button. The page counter does not collect any personal data. More info: http://theconversation.com/republishing-guidelines --></p>
<h6><a href="https://theconversation.com/profiles/veselin-jungic-497947">Veselin Jungic</a>, Professor, Department of Mathematics, <em><a href="http://theconversation.com/institutions/simon-fraser-university-1282">Simon Fraser University.</a></em>This article is republished from <a href="http://theconversation.com">The Conversation</a> under a Creative Commons license. Read the <a href="https://theconversation.com/a-math-teachers-plea-lets-keep-pi-irrational-127159">original article</a>.</h6>

A study investigating the realities of out-of-field teachers is seeking participants for groundbreaking research.
The resources are designed to support teachers to make sure all students are engaged in…
Tic disorders are far more common than many people realise, and are often misrepresented in…
The school library has long been a place of discovery, reflection, and learning. But as…
Is your school an inclusive community that empowers students to recognise bullying and to stand…
Performance indicators for the education and VET sectors have just been released with some encouraging…
This website uses cookies.