{"id":2631,"date":"2019-08-19T05:00:52","date_gmt":"2019-08-19T09:00:52","guid":{"rendered":"http:\/\/blogs.ams.org\/matheducation\/?p=2631"},"modified":"2020-12-04T17:19:21","modified_gmt":"2020-12-04T22:19:21","slug":"some-thoughts-about-epsilon-and-delta","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/matheducation\/2019\/08\/19\/some-thoughts-about-epsilon-and-delta\/","title":{"rendered":"Some thoughts about epsilon and delta"},"content":{"rendered":"<p><i>By Ben Blum-Smith, <a href=\"https:\/\/blogs.ams.org\/matheducation\/about-the-editors\/\">Contributing Editor<\/a><\/i><\/p>\n<p>The calculus has a very special place in the 20th century&#8217;s traditional course of mathematical study. It is a sort of fulcrum: both the summit toward which the whole secondary curriculum strives, and the fundamental prerequisite for a wide swath of collegiate and graduate work, both in mathematics itself and in its applications to the sciences, economics, engineering, etc.<sup>[<a id=\"sup1\" href=\"#foot1\">1<\/a>]<\/sup> At its heart is the notion of the <i>limit<\/i>, described in 1935 by <a href=\"https:\/\/www-history.mcs.st-andrews.ac.uk\/Biographies\/Broadbent.html\">T. A. A. Broadbent<\/a> as the critical turning point:<\/p>\n<blockquote><p>The first encounter with a limit marks the dividing line between the elementary and the advanced parts of a school course. Here we have not a new manipulation of old operations, but a new operation; not a new trick, but a new idea.<sup>[<a id=\"sup2\" href=\"#foot2\">2<\/a>]<\/sup><\/p><\/blockquote>\n<p>Humanity&#8217;s own collective understanding of this &#8220;new idea&#8221; was hard-earned. The great length of the historical journey toward the modern definition in terms of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> mirrors the well-known difficulty students have with it. Although it is the foundation of calculus, it is common to push the difficulty of this definition off from a first calculus course onto real analysis. Indeed, mathematicians have been discussing the appropriate place for the full rigors of this definition in the calculus curriculum for over 100 years.<sup>[<a id=\"sup3\" href=\"#foot3\">3<\/a>]<\/sup><\/p>\n<p>There is also a rich vein in the mathematics education research literature studying students&#8217; engagement with the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition. Researchers have examined student difficulties coming from its multiple nested quantifiers<sup>[<a id=\"sup4\" href=\"#foot4\">4<\/a>]<\/sup> as well as its great distance from the less formal notions of limit with which students typically enter its study,<sup>[<a id=\"sup5\" href=\"#foot5\">5<\/a>]<\/sup> and have also made an effort to chart the paths they take toward a full understanding.<sup>[<a id=\"sup6\" href=\"#foot6\">6<\/a>]<\/sup><\/p>\n<p>This blog post is a contribution to this conversation, analyzing in detail three learners&#8217; difficulties with <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>.<sup>[<a id=\"sup7\" href=\"#foot7\">7<\/a>]<\/sup> If there is a take-home message, it is to respect the profound subtlety of this definition and the complexity of the landscape through which students need to move as they learn to work with it.<\/p>\n<p><!--more--><\/p>\n<h4><b>Some history<\/b><\/h4>\n<p>Many readers will be familiar with the long struggle to find a rigorous underpinning for the calculus of Newton and Leibniz, leading to the modern definition of the limit in terms of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>. In this section, I excerpt a few episodes, which will become important in the later discussion of student thought. Readers already familiar with the history of the subject are welcome to skim or skip this section.<\/p>\n<p>While Newton and Leibniz published their foundational work on (what we now call) derivatives and integrals in the late 17th century, they based these ideas not on the modern limit, but on notions that look hand-wavy in retrospect.<sup>[<a id=\"sup8\" href=\"#foot8\">8<\/a>]<\/sup> To Leibniz, the derivative, for example, was a ratio of &#8220;infinitesimal&#8221; quantities &#8212; smaller than finite quantities, but not zero. To Newton, it was an &#8220;ultimate ratio&#8221;, the ratio approached by a pair of quantities as they both disappear. Both authors would calculate the derivative of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5En&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x^n\" class=\"latex\" \/> via a now-familiar manipulation: augment <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> by a small amount <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/>; correspondingly, <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5En&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x^n\" class=\"latex\" \/> augments to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%28x%2Bo%29%5En+%3D+x%5En+%2B+nox%5E%7Bn-1%7D+%2B+%5Cdots+%2B+o%5En&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"(x+o)^n = x^n + nox^{n-1} + &#92;dots + o^n\" class=\"latex\" \/>. The ratio of the change in <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5En&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x^n\" class=\"latex\" \/> to the change in <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> is <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=nox%5E%7Bn-1%7D%2B%5Cdots%2Bo%5En+%3A+o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"nox^{n-1}+&#92;dots+o^n : o\" class=\"latex\" \/>, or <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=nx%5E%7Bn-1%7D%2B%5Cdots%2Bo%5E%7Bn-1%7D%3A1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"nx^{n-1}+&#92;dots+o^{n-1}:1\" class=\"latex\" \/>. At this point, they would differ in their explanation of why you can ignore all the terms involving <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/> in this last expression: for Leibniz, it is because they are infinitesimal, and for Newton, it is because they all vanish when the augmentation of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> is allowed to vanish.<\/p>\n<p>A <a href=\"https:\/\/www.maths.tcd.ie\/pub\/HistMath\/People\/Berkeley\/Analyst\/Analyst.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">famous critique<\/a> of both of these lines of reasoning was leveled in 1734 by the British philosopher and theologian Bishop George Berkeley, arguing that since to form the ratio of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=nox%5E%7Bn-1%7D%2B%5Cdots%2Bo%5En&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"nox^{n-1}+&#92;dots+o^n\" class=\"latex\" \/> to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/> in the first place, it was necessary to assume <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/> is nonzero, it is strictly inconsistent to then decide to ignore it.<\/p>\n<blockquote><p>Hitherto I have supposed that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> flows, that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> hath a real Increment, that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/> is something. And I have proceeded all along on that Supposition, without which I should not have been able to have made so much as one single Step. From that Supposition it is that I get at the Increment of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5En&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x^n\" class=\"latex\" \/>, that I am able to compare it with the Increment of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/>, and that I find the Proportion between the two Increments. I now beg leave to make a new Supposition contrary to the first, i.e., I will suppose that there is no Increment of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/>, or that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/> is nothing; which second Supposition destroys my first, and is inconsistent with it, and therefore with every thing that supposeth it. I do nevertheless beg leave to retain <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=nx%5E%7Bn-1%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"nx^{n-1}\" class=\"latex\" \/>, which is an Expression obtained in virtue of my first Supposition, which necessarily presupposeth such Supposition, and which could not be obtained without it: All which seems a most inconsistent way of arguing&#8230;<\/p><\/blockquote>\n<p>It was a long journey from the state of the art in the early 18th century, to which Berkeley was responding, to the modern reformulation of calculus on the basis of the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> limit. The process took well over a century. I will summarize this story by quoting somewhat telegraphically from William Dunham&#8217;s book <i>The Calculus Gallery<\/i>,<sup>[<a id=\"sup9\" href=\"#foot9\">9<\/a>]<\/sup> from which I first learned it.<\/p>\n<blockquote><p>Berkeley penned the now famous question:<\/p>\n<blockquote><p>&#8230; They are neither finite quantities nor quantities infinitely small, nor yet nothing. May we not call them the ghosts of departed quantities?<\/p><\/blockquote>\n<p>&#8230; Over the next decades a number of mathematicians tried to shore up the shaky underpinnings&#8230; pp. 71-72<\/p>\n<p>&#8230; Cauchy&#8217;s &#8220;limit-avoidance&#8221; definition made no mention whatever of attaining the limit, just of getting and staying close to it. For him, there <i>were<\/i> no departed quantities, and Berkeley&#8217;s ghosts disappeared&#8230; p. 78<\/p>\n<p>&#8230; If his statement seems peculiar, his proof began with a now-familiar ring, for Cauchy introduced two &#8220;very small numbers&#8221; <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8230; p. 83<\/p>\n<p>&#8230; We recall that Cauchy built his calculus upon limits, which he defined in these words:<\/p>\n<blockquote><p>When the values successively attributed to a variable approach indefinitely to a fixed value, in a manner so as to end by differing from it by as little as one wishes, this last is called the limit of all the others.<\/p><\/blockquote>\n<p>To us, aspects of this statement, for instance, the motion implied by the term &#8220;approach,&#8221; seem less than satisfactory. Is something actually moving? If so, must we consider concepts of time and space before talking of limits? And what does it mean for the process to &#8220;end&#8221;? The whole business needed one last revision.<\/p>\n<p>Contrast Cauchy&#8217;s words with the polished definition from the Weierstrassians:<\/p>\n<blockquote><p><img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7D+f%28x%29+%3D+L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a} f(x) = L\" class=\"latex\" \/> if and only if, for every <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon &gt; 0\" class=\"latex\" \/>, there exists a <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta &gt; 0\" class=\"latex\" \/> so that, if <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=0+%3C+%7Cx-a%7C+%3C+%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"0 &lt; |x-a| &lt; &#92;delta\" class=\"latex\" \/>, then <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7Cf%28x%29+-+L%7C+%3C+%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"|f(x) - L| &lt; &#92;epsilon\" class=\"latex\" \/>.<\/p><\/blockquote>\n<p>Here nothing is in motion, and time is irrelevant. This is a static rather than dynamic definition and an arithmetic rather than a geometric one. At its core, it is nothing but a statement about inequalities. pp. 129-130<\/p><\/blockquote>\n<p>The Weierstrassian definition (i.e., the modern one!) allows the manipulation to which Berkeley objected to be carried to completion without ever asking <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=o&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"o\" class=\"latex\" \/> to be zero.<\/p>\n<h4><b>Missing the point completely<\/b><\/h4>\n<p>The core of this blog post is a discussion of three learners&#8217; encounters with the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> limit, seeking to illuminate some of the subtle challenges that can arise. I begin with my own story.<\/p>\n<p>I &#8220;did well&#8221; in my college real analysis class, by which I mean that my instructor (a well-known analyst at a major research university) concluded on the basis of my written output that I had mastered the material. However, I walked away from the course with a subtle but important misunderstanding of the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition that was not visible in my written work and so went entirely undetected by my instructor, and, for many years, by myself as well.<\/p>\n<p>From my previous experience with calculus, I had concluded that you can often identify the value toward which a function is headed, even if the function is undefined &#8220;when you get there.&#8221; To the extent I had a definition of <i>limit<\/i>, this was it: <i>the value toward which the function is headed<\/i>.<\/p>\n<p>When I studied real analysis as an undergraduate, I found the class easy, including the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> work. I mean, if <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"L\" class=\"latex\" \/> is where <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> is headed as <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5Cto+c&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x&#92;to c\" class=\"latex\" \/>, then sure, for any <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>-neighborhood around <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"L\" class=\"latex\" \/>, there is going to be a <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>-neighborhood around <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=c&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"c\" class=\"latex\" \/> that puts <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> inside the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>-neighborhood. But I related to the notion that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> is headed toward <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"L\" class=\"latex\" \/> as <i>conceptually prior to<\/i> this <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> game. The latter seemed like fancy window-dressing to me, possibly useful post-hoc if you need an error estimate. I did not understand that it was a definition &#8212; that it was supposed to be <i>constitutive<\/i> of the meaning of limit. So, I completely missed the point! But I want to stress that you would not have known this from my written work, and of course, I didn&#8217;t know it either.<\/p>\n<p>I went on to become a high school math teacher. In the years that followed, I did detect certain limitations in my understanding of limits. For example, I noticed that I didn&#8217;t have adequate tools for thinking about if and when the order of two different limit processes could be safely interchanged. But it did not cross my mind that the place to start in thinking clearly about this was a tool I had already been given.<\/p>\n<p>After a few years, I began teaching an AP Calculus course. About 3\/4 of the way through my first time teaching it, my student Harry<sup>[<a id=\"sup10\" href=\"#foot10\">10<\/a>]<\/sup> said to me after class, &#8220;You know this whole class is based on a paradox, right?&#8221; He proceeded to give me what I now recognize as essentially Bishop Berkeley&#8217;s critique. At the time, it did not occur to me to reach for epsilon and delta. Instead, I responded like an 18th century mathematician, trying to convince him that the terminus of an unending process is something it&#8217;s meaningful to talk about. I hadn&#8217;t really understood what the problem was. Of course, Harry left unsatisfied.<\/p>\n<p>The pieces finally came together for me the next year, when I read Dunham&#8217;s <i>Calculus Gallery<\/i>, quoted above. I remember the shift in my understanding: <i>ooooohhhhhh.<\/i> The <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8216;s and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>&#8216;s are not an addendum to, or a gussying-up of, the idea of identifying where an unending process is headed. They are <i>replacing<\/i> this idea! It was a revelation to reread the definition from this new point of view. <i>Calculus does not need the infinitesimal!<\/i> I immediately wished I had a do-over with Harry, whose dissatisfaction I hadn&#8217;t comprehended enough to be able to speak to.<\/p>\n<p>I concluded from this that a complete understanding of the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition includes an understanding of what it&#8217;s <i>for<\/i>.<\/p>\n<h4><b>But it&#8217;s not the same thing at all<\/b><\/h4>\n<p>Having come to this conclusion, in my own teaching of real analysis I&#8217;ve made a great effort to make clear the problem that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> are responding to. In one course, I began with a somewhat in-depth study of Berkeley&#8217;s critique of the 18th century understanding of the calculus, in order to then be able to offer <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> as an answer to that critique.<\/p>\n<p>In doing this, I ran into a new challenge. To illustrate, I&#8217;ll focus on the experience of a student named Ty. Ty arrived in my course having already developed a fairly strong form of a more intuitive, 17th-18th century understanding of the limit; essentially the Newtonian one, much like the understanding that had carried me myself through all my calculus coursework. He quickly made sense of Berkeley&#8217;s objection, so he was able to see that this understanding was not mathematically satisfactory. I was selling the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition as a more satisfactory substitute. However, Ty objected that important aspects of his understanding of the limit (what Tall and Vinner called his <i>concept image<\/i><sup>[<a id=\"sup11\" href=\"#foot11\">11<\/a>]<\/sup>) were not captured by this new definition. In particular, what had happened to the notion that the limit was something toward which the function was, or even <i>should have been<\/i>, headed? The <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a}f(x)\" class=\"latex\" \/> studiously avoids the point <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a\" class=\"latex\" \/> &#8220;at which the limit is taken,&#8221; even speculatively. To Ty, it was the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition that was, pun intended, missing the point.<\/p>\n<p>Of course, this studious avoidance is precisely how the Weierstrassian definition gets around Berkeley&#8217;s objection. The Newtonian &#8220;ultimate ratio&#8221; and the Leibnizian &#8220;infinitesimal&#8221; both ask us to imagine something counterfactual, or at least pretty wonky. This is exactly what made them hard for Berkeley to swallow, and as I learned from Dunham&#8217;s book, the great virtue of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and $\\delta$ is that they give us a way to uniquely identify the limit that does not ask us to engage in such a trippy flight of fancy that may or may not look sane in the light of day.<\/p>\n<p>But, at the same time, <i>something is lost<\/i>.<sup>[<a id=\"sup12\" href=\"#foot12\">12<\/a>]<\/sup> What I learned from Ty is that this loss is pedagogically important to acknowledge.<sup>[<a id=\"sup13\" href=\"#foot13\">13<\/a>]<\/sup><\/p>\n<h4 id=\"onevsmany\"><b>One vs. many<\/b><\/h4>\n<p>Another subtle difficulty in working with the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition is revealed when you use it to try to prove something. I think what I am about to describe is a general difficulty students encounter in learning the methods and conventions of proof-writing, but I speculate that it may be particularly acute with respect to the present topic. Consider this (utterly standard) proof that if <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%2Cg&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f,g\" class=\"latex\" \/> are functions of $x$ such that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7Df+%3D+L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a}f = L\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7Dg+%3D+M&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a}g = M\" class=\"latex\" \/>, and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=h%3Df%2Bg&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"h=f+g\" class=\"latex\" \/>, then <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7D+h+%3D+L%2BM&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a} h = L+M\" class=\"latex\" \/>:<\/p>\n<blockquote><p>Let <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon &gt; 0\" class=\"latex\" \/> be given. Because <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7D+f+%3D+L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a} f = L\" class=\"latex\" \/>, there exists <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta_1+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta_1 &gt; 0\" class=\"latex\" \/> such that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=0+%3C+%7Cx+-+a%7C+%3C+%5Cdelta_1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"0 &lt; |x - a| &lt; &#92;delta_1\" class=\"latex\" \/> implies <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7Cf+-+L%7C+%3C+%5Cepsilon+%2F+2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"|f - L| &lt; &#92;epsilon \/ 2\" class=\"latex\" \/>. Similarly, because <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7D+g+%3D+M&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a} g = M\" class=\"latex\" \/>, there exists <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta_2+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta_2 &gt; 0\" class=\"latex\" \/> such that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=0+%3C+%7Cx+-+a%7C+%3C+%5Cdelta_2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"0 &lt; |x - a| &lt; &#92;delta_2\" class=\"latex\" \/> implies <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7Cg-M%7C+%3C+%5Cepsilon%2F2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"|g-M| &lt; &#92;epsilon\/2\" class=\"latex\" \/>.<\/p>\n<p>Take <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta+%3D+%5Cmin%28%5Cdelta_1%2C%5Cdelta_2%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta = &#92;min(&#92;delta_1,&#92;delta_2)\" class=\"latex\" \/>.<\/p>\n<p>Then for values of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> satisfying <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=0+%3C+%7Cx+-+a%7C+%3C+%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"0 &lt; |x - a| &lt; &#92;delta\" class=\"latex\" \/>, it follows from the triangle inequality and the definition of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=h&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"h\" class=\"latex\" \/> that<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7Ch+-+%28L%2BM%29%7C+%3D+%7Cf+-+L+%2B+g+-+M%7C+%5Cleq+%7Cf-L%7C+%2B+%7Cg-M%7C+%3C+%5Cepsilon+%2F+2+%2B+%5Cepsilon+%2F+2+%3D+%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"|h - (L+M)| = |f - L + g - M| &#92;leq |f-L| + |g-M| &lt; &#92;epsilon \/ 2 + &#92;epsilon \/ 2 = &#92;epsilon\" class=\"latex\" \/>.<\/p>\n<p>Since <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon &gt; 0\" class=\"latex\" \/> was arbitrary, we can conclude that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim_%7Bx%5Cto+a%7D+h+%3D+L%2BM&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim_{x&#92;to a} h = L+M\" class=\"latex\" \/>.<\/p><\/blockquote>\n<p>Here is a surprisingly rich question: is the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> in the proof one number, or many numbers?<\/p>\n<p>On one way of looking at it, of course it is only one number: <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> is fixed at the outset of the proof. Indeed, if <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> were allowed to be more than one thing, equations like $\\epsilon \/ 2 + \\epsilon \/ 2 = \\epsilon$ would be meaningless. More subtly, we usually speak about <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> as a single fixed quantity when we justify the existence of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta_1%2C%5Cdelta_2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta_1,&#92;delta_2\" class=\"latex\" \/> in terms of the definition of the limit: we know <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta_1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta_1\" class=\"latex\" \/> exists because by the definition of the limit, for any <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cvarepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;varepsilon\" class=\"latex\" \/> there is a <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>, <i>so in particular<\/i>, there is a <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta_1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta_1\" class=\"latex\" \/> for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon+%2F+2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon \/ 2\" class=\"latex\" \/>, etc. Note the &#8220;in particular&#8221;: we produce <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta_1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta_1\" class=\"latex\" \/> from the definition by <i>specializing it<\/i>.<\/p>\n<p>But on another way of looking at it, of course $\\epsilon$ is many numbers. Indeed, it must represent every positive number, otherwise how can it be used to verify the definition <i>for all <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon%3E0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon&gt;0\" class=\"latex\" \/><\/i>? The singular, fixed <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> with which we work in the proof is a sort of chimera: it actually represents all positive numbers at once. That we think of it as a single number is just a psychological device to allow us to focus in a productive way on what we are doing with all these numbers.<\/p>\n<p>This dual nature of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> in the above was driven home for me by working with Ricky. Fast and accurate with calculations and algebraic manipulations, Ricky was thrown for a loop by real analysis, which was her first proof-based class, and in particular by the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> proofs. After a lot of work, she had mastered the definition itself. But in trying to write the proofs, she found the lilting refrain <i>for all <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon+%3E+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon &gt; 0\" class=\"latex\" \/>&#8230;<\/i> to be a kind of siren song, leading her astray. She was constantly re-initializing <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> with this phrase, so that reading her work, there were 3 different meanings for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> by the end. &#8220;Look at how the proof works,&#8221; I would say, referring to the proof of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Clim+h+%3D+L%2BM&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;lim h = L+M\" class=\"latex\" \/> above. &#8220;You don&#8217;t need <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7Cf-L%7C&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"|f-L|\" class=\"latex\" \/> to be less than any old <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>. You need it to be less than <i>the particular<\/i> <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> that you are using for <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=h&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"h\" class=\"latex\" \/>.&#8221; &#8220;What do you mean <i>the particular<\/i> <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> I am using?&#8221; she would ask. &#8220;I am trying to prove it works <i>for all <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>!<\/i>&#8221;<\/p>\n<p>Ricky&#8217;s difficulty has led me to a much greater appreciation of the subtle and profound abstraction involved any time an object is introduced into a proof with the words &#8220;fix an arbitrary&#8230;&#8221; In a sense, this is nothing more &#8212; nor less! &#8212; than the abstraction at the heart of a student&#8217;s first encounter with algebra: if we imagine an unspecified number <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/>, and proceed to have a conversation about it, our conversation applies simultaneously at once to all the values <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> could have taken, even if we were imagining it the whole time as &#8220;only one thing.&#8221;<sup>[<a id=\"sup14\" href=\"#foot14\">14<\/a>]<\/sup> But I don&#8217;t think I appreciated the great demand that &#8220;fix an arbitrary&#8230;&#8221; proofs in general, and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> proofs in particular, place on this abstraction. The mastery of it that is needed here goes far beyond what is needed to get you through years of pushing <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> around.<\/p>\n<h4><b>Conclusion: respect the subtlety<\/b><\/h4>\n<p>I offer the above anecdotes primarily as grist for reflection about learning, and especially about the nature of the particular landscape students tread as they encounter <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/>.<sup>[<a id=\"sup15\" href=\"#foot15\">15<\/a>]<\/sup> But I would like to articulate some lessons and reminders that I myself draw from them:<\/p>\n<p>(1) A complete understanding of a concept might require to go beyond mastery of its internal structure and its downstream implications, to include an understanding of its purpose, i.e. the situation it was designed to respond to.<\/p>\n<p>(2) Work that successfully responds to the standard set of prompts may still conceal important gaps in understanding, as mine did in my undergraduate real analysis class. More generally, do not assume because a student is &#8220;strong&#8221; that they have command of any particular thing.<\/p>\n<p>(3) Conversely, take student thought seriously, even when it looks\/sounds wrong. Ricky and Ty were producing unsuccessful work for very mathematically rich reasons; I learned something worthwhile by taking the time to understand what each of them was getting at. Harry&#8217;s issue, which I didn&#8217;t take seriously at the time, could have pushed my own understanding of calculus forward &#8212; in fact, it did, albeit belatedly.<\/p>\n<p>Finally, I hope the combination of these anecdotes with the history above serves as a reminder both of the magnitude of the historical accomplishment crystallized in the Weierstrassian <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition of the limit, and of the corresponding profundity of the journey students take toward its mastery.<\/p>\n<h4><b>Notes and references<\/b><\/h4>\n<p>[<a id=\"foot1\" href=\"#sup1\">1<\/a>] There is an important contemporary argument that calculus&#8217; pride of place in the curriculum should be ceded to statistics. (For example, see the TED talk by <a href=\"https:\/\/www.ted.com\/talks\/arthur_benjamin_s_formula_for_changing_math_education\" target=\"_blank\" rel=\"noopener noreferrer\">Arthur Benjamin<\/a>.) That debate is beyond the scope of this blog post.<\/p>\n<p>[<a id=\"foot2\" href=\"#sup2\">2<\/a>] The First Encounter with a Limit. <i>The Mathematical Gazette<\/i>, Vol. 19, No. 233 (1935), pp. 109-123. (<a href=\"https:\/\/www.jstor.org\/stable\/3608026\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a> [jstor])<\/p>\n<p>[<a id=\"foot3\" href=\"#sup3\">3<\/a>] In addition to the 1935 <i>Mathematical Gazette<\/i> article quoted above, see, e.g., E. J. Moulton, The Content of a Second Course in Calculus, <i>AMM<\/i> Vol. 25, No. 10 (1918), pp. 429-434 (<a href=\"https:\/\/www.jstor.org\/stable\/2972040\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a> [jstor]); E. G. Phillips, On the Teaching of Analysis, <i>The Mathematical Gazette<\/i> Vol. 14, No. 204 (1929), pp. 571-573 (<a href=\"https:\/\/www.jstor.org\/stable\/3607075\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a> [jstor]); N. R. C. Dockeray, The Teaching of Mathematical Analysis in Schools, <i>The Mathematical Gazette<\/i> Vol. 19, No. 236 (1935), pp. 321-340 (<a href=\"https:\/\/www.jstor.org\/stable\/3606321\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a> [jstor]); H. Scheffe, At What Level of Rigor Should Advanced Calculus for Undergraduates be Taught?, <i>AMM<\/i> Vol. 47, No. 9 (1940), pp. 635-640 (<a href=\"https:\/\/www.jstor.org\/stable\/2304114\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a> [jstor]). I thank Dave L. Renfro for all of these references.<\/p>\n<p>[<a id=\"foot4\" href=\"#sup4\">4<\/a>] E.g., E. Dubinsky and O. Yiparaki, On student understanding of AE and EA quantification, <i>Research in Collegiate Mathematics Education<\/i> IV, 8 (2000), pp. 239-289 (<a href=\"http:\/\/www.math.kent.edu\/~edd\/OlgaPaper.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>). In this and the next two notes, the literature cited only scratches the surface.<\/p>\n<p>[<a id=\"foot5\" href=\"#sup5\">5<\/a>] E.g., D. Tall and S. Vinner, Concept image and concept definition in mathematics with particular reference to limits and continuity, <i>Educational Studies in Mathematics<\/i> Vol. 12 (1981), pp. 151-169 (<a href=\"https:\/\/staff-old.najah.edu\/sites\/default\/files\/Concept%20Image%20and%20Concept%20Definition%20in%20mathematics.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>), S. R. Williams, Models of Limit Held by College Calculus Students, <i>Journal for Research in Mathematics Education<\/i> Vol. 22, No. 3 (1991), pp. 219-236 (<a href=\"https:\/\/www.jstor.org\/stable\/749075\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a> [jstor]), and C. Swinyard and E. Lockwood, Research on students&#8217; reasoning about the formal definition of limit: An evolving conceptual analysis, <i>Proceedings of the 10th annual conference on research in undergraduate mathematics education, San Diego State University, San Diego, CA<\/i> (2007) (<a href=\"https:\/\/www.researchgate.net\/profile\/Elise_Lockwood\/publication\/255590883_Research_on_Students'_Reasoning_about_the_Formal_Definition_of_Limit_An_Evolving_Conceptual_Analysis\/links\/564a03fd08ae44e7a28d82a6.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>).<\/p>\n<p>Findings about students&#8217; informal understandings of limits that generate friction with their study of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> include that they are often dynamic\/motion-based (like Newton), or infinitesimals-based (like Leibniz), and meanwhile, they are also often characterized by a &#8220;forward&#8221; orientation from <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> &#8212; &#8220;If you bring <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> close to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=a&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"a\" class=\"latex\" \/>, it puts <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> close to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"L\" class=\"latex\" \/>.&#8221; This is in contrast with the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition&#8217;s &#8220;backward&#8221; orientation from <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> &#8212; &#8220;To make <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"f(x)\" class=\"latex\" \/> <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>-close to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=L&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"L\" class=\"latex\" \/>, you have to find a <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> to constrain <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/>.&#8221;<\/p>\n<p>[<a id=\"foot6\" href=\"#sup6\">6<\/a>] E.g., J. Cottrill, E. Dubinsky, D. Nichols, K. Schwingendorf, K. Thomas, D. Vidakovic, Understanding the Limit Concept: Beginning with a Coordinated Process Scheme, <i>Journal of Mathematical Behavior<\/i> Vol. 15, pp. 167-192 (1996), Swinyard and Lockwood <i>op. cit.<\/i> (which responds to Cottrill <i>et. al.<\/i>), and C. Nagle, Transitioning from introductory calculus to formal limit conceptions, <i>For the Learning of Mathematics<\/i> Vol. 33, No. 2 (2013), pp. 2-10 (<a href=\"https:\/\/flm-journal.org\/Articles\/61C813B054B17892B6A6475BAC3B5.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>).<\/p>\n<p>[<a id=\"foot7\" href=\"#sup7\">7<\/a>] To avoid ambiguity, the learners referred to here are <i>myself<\/i> and the students I below call Ty and Ricky. The student I call Harry illustrates a difficulty one might have <i>without<\/i> the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> limit.<\/p>\n<p>[<a id=\"foot8\" href=\"#sup8\">8<\/a>] The brief account I am about to give represents an orthodox view of the history of calculus, see for example J. V. Grabiner, Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus, <i>The American Mathematical Monthly<\/i> Vol. 90, No. 3 (1984), pp. 185-194 (<a href=\"http:\/\/www.mr-ideahamster.com\/classes\/assets\/a_evepsilon.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>). This orthodoxy is not without its detractors, e.g., B. Pourciau, Newton and the Notion of Limit, <i>Historia Mathematica<\/i> No. 28 (2001), pp. 18-30 (<a href=\"http:\/\/users.uoa.gr\/~apgiannop\/Sources\/Newton-notion-of-limit.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>) or H. Edwards, Euler&#8217;s Definition of the Derivative, <i>Bulletin of the AMS<\/i> Vol. 44, No. 4 (2007), pp. 575-580 (<a href=\"https:\/\/www.ams.org\/journals\/bull\/2007-44-04\/S0273-0979-07-01174-3\/S0273-0979-07-01174-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>).<\/p>\n<p>Readers interested in more comprehensive accounts of the history of the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> limit can consult Judith Grabiner&#8217;s monograph <i>The Origins of Cauchy&#8217;s Rigorous Calculus<\/i>, MIT Press, Cambridge, MA (1981) and William Dunham&#8217;s <i>The Calculus Gallery: Masterpieces from Newton to Lebesgue<\/i>, Princeton Univ. Press, Princeton, NJ (2005). A very interesting-looking new book on the topic is David Bressoud&#8217;s <i>Calculus Reordered: A History of the Big Ideas<\/i>, Princeton Univ. Press, Princeton, (2019) (<a href=\"https:\/\/press.princeton.edu\/titles\/13397.html\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>), which takes a broader view, looking at the development of integration, differentiation, series, and limits across multiple millennia and continents, and viewing the limit as a sort of culmination driven by the needs of research mathematicians in the 19th century. Bressoud&#8217;s book also considers questions of pedagogy in relation to this history.<\/p>\n<p>[<a id=\"foot9\" href=\"#sup9\">9<\/a>] Dunham, <i>op. cit.<\/i> (see previous footnote).<\/p>\n<p>[<a id=\"foot10\" href=\"#sup10\">10<\/a>] All names of students are pseudonyms.<\/p>\n<p>[<a id=\"foot11\" href=\"#sup11\">11<\/a>] D. Tall and S. Vinner. Concept image and concept definition in mathematics with particular reference to limits and continuity. <i>Educational Studies in Mathematics<\/i> Vol. 12, No. 2 (1981), pp. 151-169. (<a href=\"https:\/\/staff-old.najah.edu\/sites\/default\/files\/Concept%20Image%20and%20Concept%20Definition%20in%20mathematics.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">link<\/a>)<\/p>\n<p>[<a id=\"foot12\" href=\"#sup12\">12<\/a>] Relatedly, recovering that which was lost from calculus when <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> superseded the Leibnizian infinitesimals is often given as the rationale behind Abraham Robinson&#8217;s development of <a href=\"https:\/\/en.wikipedia.org\/wiki\/Non-standard_analysis\" target=\"_blank\" rel=\"noopener noreferrer\">nonstandard analysis<\/a>.<\/p>\n<p>[<a id=\"foot13\" href=\"#sup13\">13<\/a>] This observation is related to the body of research indicated in note [<a href=\"#foot5\">5<\/a>]. I think it is subtly different though. As I understand that research, the theme is the difficulties students have with the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/>&#8211;<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdelta&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;delta\" class=\"latex\" \/> definition due to &#8220;interference&#8221; from their more informal understandings of limits and derivatives. In contrast, my focus here is on a difficulty Ty had not because of &#8220;interference,&#8221; but rather because he recognized (perhaps more clearly than I did) that this new definition is not actually doing the same thing, so if it was being sold it as a substitute, he was not buying.<\/p>\n<p>[<a id=\"foot14\" href=\"#sup14\">14<\/a>] To help Ricky contextualize what she needed to do for the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cepsilon&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;epsilon\" class=\"latex\" \/> proof in terms of things she already understood, I asked her to consider this proof that every square number exceeds by one the product of the two integers consecutive with its square root:<\/p>\n<blockquote><p>Let <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> be any integer. Then<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%28x+%2B+1%29+%28x+-+1%29+%3D+x%5E2+-+x+%2B+x+-+1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"(x + 1) (x - 1) = x^2 - x + x - 1\" class=\"latex\" \/><br \/>\n<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%3D+x%5E2+%2B+0+-+1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"= x^2 + 0 - 1\" class=\"latex\" \/><br \/>\n<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%3D+x%5E2+-+1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"= x^2 - 1\" class=\"latex\" \/>,<\/p>\n<p>so any square number <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x^2\" class=\"latex\" \/> is one more than the product of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x%2B1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x+1\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x-1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x-1\" class=\"latex\" \/>.<\/p><\/blockquote>\n<p>&#8220;I think of the <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"x\" class=\"latex\" \/> in this proof as every number,&#8221; she said. &#8220;But you have to relate to it as a single number during the calculation itself,&#8221; I replied. &#8220;Otherwise, how do you know that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=-x+%2B+x+%3D+0&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"-x + x = 0\" class=\"latex\" \/>?&#8221;<\/p>\n<p>[<a id=\"foot15\" href=\"#sup15\">15<\/a>] I first encountered the metaphor of a &#8220;landscape of learning&#8221; attendant to particular mathematical topics in the writings of Catherine Twomey Fosnot and Maarten Dolk.<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>By Ben Blum-Smith, Contributing Editor The calculus has a very special place in the 20th century&#8217;s traditional course of mathematical study. It is a sort of fulcrum: both the summit toward which the whole secondary curriculum strives, and the fundamental &hellip; <a href=\"https:\/\/blogs.ams.org\/matheducation\/2019\/08\/19\/some-thoughts-about-epsilon-and-delta\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/matheducation\/2019\/08\/19\/some-thoughts-about-epsilon-and-delta\/><\/div>\n","protected":false},"author":157,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[245,257,48],"tags":[95,310,299,308,311,307,309,88,288],"class_list":["post-2631","post","type-post","status-publish","format-standard","hentry","category-faculty-experiences","category-mathematics-education-research","category-student-experiences","tag-calculus","tag-continuity","tag-definitions","tag-delta","tag-difficulty","tag-epsilon","tag-limit","tag-proof","tag-real-analysis"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p6C2AC-Gr","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/posts\/2631","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/users\/157"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/comments?post=2631"}],"version-history":[{"count":169,"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/posts\/2631\/revisions"}],"predecessor-version":[{"id":3464,"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/posts\/2631\/revisions\/3464"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/media?parent=2631"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/categories?post=2631"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/matheducation\/wp-json\/wp\/v2\/tags?post=2631"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}