-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathno-rules-in-math.html
207 lines (195 loc) · 11.7 KB
/
no-rules-in-math.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
<!DOCTYPE html>
<html>
<head>
<link rel="canonical" href="https://hardmath123.github.io/no-rules-in-math.html"/>
<link rel="stylesheet" type="text/css" href="/static/base.css"/>
<title>There are no rules in math - Comfortably Numbered</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<meta charset="utf-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" />
<link rel="alternate" type="application/rss+xml" title="Comfortably Numbered" href="/feed.xml" />
<!--
<script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
<script>
MathJax.Hub.Config({
tex2jax: {inlineMath: [['$','$']]}
});
</script>
-->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-Um5gpz1odJg5Z4HAmzPtgZKdTBHZdw8S29IecapCSB31ligYPhHQZMIlWLYQGVoc" crossorigin="anonymous">
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js" integrity="sha384-YNHdsYkH6gMx9y3mRkmcJ2mFUjTd0qNQQvY9VYZgQd7DcN7env35GzlmFaZ23JGp" crossorigin="anonymous"></script>
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js" integrity="sha384-vZTG03m+2yp6N6BNi5iM4rW4oIwk5DfcNdFfxkk9ZWpDriOkXX8voJBFrAO7MpVl" crossorigin="anonymous"></script>
<script>
document.addEventListener("DOMContentLoaded", function() {
renderMathInElement(document.body, {
// customised options
// • auto-render specific keys, e.g.:
delimiters: [
{left: '$$', right: '$$', display: true},
{left: '$', right: '$', display: false},
{left: '\\begin{align}', right: '\\end{align}', display: true},
{left: '\\(', right: '\\)', display: false},
{left: '\\[', right: '\\]', display: true}
],
// • rendering keys, e.g.:
throwOnError : false
});
});
</script>
</head>
<body>
<header id="header">
<script src="static/main.js"></script>
<div>
<a href="/"><span class="left-word">Comfortably</span> <span class="right-word">Numbered</span></a>
</div>
</header>
<article id="postcontent" class="centered">
<section>
<h1>There are no rules in math</h1>
<center><em><p>Don’t use hammers. Build them.</p>
</em></center>
<h4>Thursday, October 15, 2015 · 5 min read</h4>
<p>I’m going to pick on a math problem I find very annoying. It’s completely
arbitrary, it has no beauty or elegance, and it is tedious and unenlightening
to solve.</p>
<blockquote>
<p>A long thin strip of paper is 1024 units in length, 1 unit in width, and is
divided into 1024 unit squares. The paper is folded in half repeatedly. For
the first fold, the right end of the paper is folded over to coincide with
and lie on top of the left end. The result is a 512 by 1 strip of double
thickness. Next, the right end of this strip is folded over to coincide with
and lie on top of the left end, resulting in a 256 by 1 strip of quadruple
thickness. This process is repeated 8 more times. After the last fold, the
strip has become a stack of 1024 unit squares. How many of these squares lie
below the square that was originally the 942nd square counting from the left?</p>
<p>— 2004 AIME II, #15</p>
<p>(The AIME is a prestigious invite-only mathematics exam used to select the US
team for the International Mathematics Olympiad.)</p>
</blockquote>
<p>Imagine this problem is on your homework. Your math teacher explained how to do
it on the blackboard. She worked it out in detail, and the steps make sense at
the time, but when you get home, you can’t remember what they were.</p>
<p>And then this problem shows up on your final exam, and you remember it’s that
one problem you didn’t memorize how to do. You do your best, but you can’t
figure it out. Maybe you made a silly mistake earlier in the problem and that
messed everything up. You don’t have enough time to check your work, and your
heart starts to beat faster.</p>
<p>Your teacher takes time out to talk to you after class, and explains that you
really should concentrate more. She tells you that these simple “reasoning and
problem-solving skills” are really important in most careers. You’ll need a
good grade in math if you ever want to take <em>AP Origami</em> or <em>Advanced Paper
Folding Honors</em>.</p>
<p>So you start going to a tutor after school. Even though it’s kind of expensive,
your parents agree that it’s important for you to catch up to your peers.</p>
<p>Your tutor does the same things in class, only, you’re much more tired after
school and you can’t focus as well. But your friends say they go to tutors, and
they get stellar grades, so you stay with it.</p>
<p>Next year, you take an easier math class. You only need to survive until the
end of high school, right? Then you can forget all this nonsense and spend your
time learning what’s <em>useful</em>.</p>
<hr>
<p>There are two very different ways we could look at math.</p>
<p>The first way to look at math is “math-is-a-hammer”. Trying to measure the
height of this building? Trigonometry! Computing your odds at a casino?
Probability! Math gives you a huge set of tools you can throw at problems.</p>
<p>A couple of my posts on here have been about math-hammering. You math-hammer
whenever you take a system in the real world and model it in a logical way.
Usually, you do it in order to predict something about your system. </p>
<p>Our education system, of course, focuses entirely on math-hammering. We use
math-hammers in elementary school arithmetic to find out how many apples Joe
should give Bob, and we use math-hammers in high school calculus to figure out
whether a particle is speeding up or slowing down at time <em>t</em>.</p>
<p>And that’s where math-hammering fails. How many second graders care about the
price of apples? How many high schoolers really care about the speed of a
theoretical particle in a frictionless room?</p>
<p><img src="static/calvin-and-hobbes-word-problem.gif" alt=""></p>
<p>(Image: <em>Calvin and Hobbes</em>, Bill Watterson.)</p>
<p>We tell them that all these hammers will be useful in <em>careers</em>.</p>
<p>And that’s true. Economists use math-hammers all the time. So do physicists and
chemists and statisticians. The lady at the checkout at your local grocery
store uses the hammer labeled “subtraction” every time she gives you change.</p>
<p>But when you’re a kid, you don’t care. Why should you? You don’t need to count
your change or do your taxes. The only way math ever helps you is in getting
good grades.</p>
<p>So let’s talk about the second way to look at math.</p>
<hr>
<p>The second way is to look at math is in terms of <em>building</em> hammers, rather
than <em>using</em> them. Math isn’t about “reasoning and problem-solving”. Math is
about <em>design</em>. Mathematicians are just like architects who decide where the
bathroom should be.</p>
<p>Let’s take my AP Calculus class as an example. It’s taught, justifiably, in a
“this-is-the-kind-of-problem-that-will-be-on-the-AP-test” fashion. So when you
are first introduced to limits, you’re asked to calculate, by hand, dozens of
deltas for different functions with increasingly tiny epsilon values.</p>
<p>Hardly anything is said about the intuition behind the definition of a limit:
it seems like an arbitrary set of rules. Or, for that matter, hardly anything
is said about why the notion of a limit is useful. Why is continuity such a
tricky thing to pin down? Why do we need such a crazy formal definition of this
simple notion?</p>
<p>Something fun to think about why this is a big deal is <a href="https://en.wikipedia.org/wiki/Thomae%27s_function">Thomae’s
Function</a>, which is zero for
all irrational numbers, and otherwise depends on the denominator of the
rational number. Does this function look continuous? How can you classify it
without a solid, rigorous definition of continuity? Continuity gives rise to
all sorts of interesting questions and, in fact, if you keep asking tricky
questions and generalizing, you end up with a whole field of math: topology.</p>
<p>Speaking of fields: why do mathematicians care so much about these strange
algebraic objects like groups and rings and fields (not to mention monoids and
vector spaces and lattices)? They’re all generalizations of familiar
structures! Fields are like the numbers we know and love, except, there are
other fields (like the rational <em>functions</em>). Theorems we prove about a generic
field can be used for anything that you can show is a field. Proving a theorem
about a field is like building a new hammer.</p>
<p>Similarly, Haskell programmers are familiar with how generic functions defined
on things like Monads and Monoids turn out to be useful in all sorts of
settings, from managing config files to safe I/O. Every time you program a
polymorphic function so that you can reuse for different kinds of data types,
you’re thinking like a mathematician does.</p>
<p>It’s the same deal with continuity. If you can prove exciting things about any
generic continuous function, then that proof works for <em>all</em> continuous
functions. The fundamental theorem of calculus holds for <em>all</em> continuous and
differentiable functions. It’s a very versatile hammer. That’s why we care
about continuity and give it a formal, rigorous description.</p>
<p>We could have chosen a different definition of continuity, of course, and maybe
had subtly different theorems as a result. Maybe there’s a better definition
that nobody has thought of yet. And that’s okay! Contrary to what just about
all of K-12 math education tells you, you get to make up your own rules in
math.</p>
<hr>
<p>We need to purge “word problems” from as much curriculum as we can. Word
problems turn math into a boring, utilitarian tool with very little practical
value outside of contrived examples where Alice wants to buy apples from Bob.</p>
<p>We need to purge the idea that math is about “clever” things like realizing you
should square both sides of the equation.</p>
<p>We need to purge the idea that algebra is “solving equations” and geometry is
“calculating lengths”.</p>
<p>And we need to purge the idea that there are rules in math.</p>
</section>
<div id="comment-breaker">◊ ◊ ◊</div>
</article>
<footer id="footer">
<div>
<ul>
<li><a href="https://github.com/kach">
Github</a></li>
<li><a href="feed.xml">
Subscribe (RSS feed)</a></li>
<li><a href="https://twitter.com/hardmath123">
Twitter</a></li>
<li><a href="https://creativecommons.org/licenses/by-nc/3.0/deed.en_US">
CC BY-NC 3.0</a></li>
</ul>
</div>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-46120535-1', 'hardmath123.github.io');
ga('require', 'displayfeatures');
ga('send', 'pageview');
</script>
</footer>
</body>
</html>