Video: Mathematics in Hell

Below is the video of our recent LunchMaths talk. You can comment/correct below and/or at the YouTube link.

A big thanks to Lawrence and Emma-Jane for arranging the talk, and for making the zooming as painless as possible. A couple of aspects that I intended to talk about, and some probably valuable clarification, were only covered in the Q and A. I’ll leave it be except in reply to comments, except for one aspect that I really regret not getting to and which I’ll cover in a separate post ASAP.

57 Replies to “Video: Mathematics in Hell”

    1. Thanks, Glen. It was great to “see” you after so long, if only in the idiotic, pandemic sense of the word. It’s not clear to me what the reaction will be, although it’s also not clear to me that I care.

  1. Also, one thing that I don’t want to get lost because it was a bit rushed in the talk and it really is a deep point: the theorem at the end.

    The reader, or viewer, or listener, may believe that Marty is making a joke here. He is, but he is also absolutely CORRECT. The only thing happening with these “unconventional summations” is that equality has been redefined. What value should we attribute to the sum of all natural numbers? Well, of course, it has no value. As a sequence of natural numbers, integers, real numbers, the limit does not exist. In the extended reals, we can call it +\infty. But it definitely isn’t -1/12. Now, is there a NOTION of equality that we can propose such that it *is* equal to -1/12? Yes, there is. That’s it. There is no grand truth, there is no deep and meaningful interpretation, it isn’t a great mystery. It is a definition.

    Is it a useful definition? Hmmm, yes, I think it is. But it is very misleading, mathematical clickbait, to try and “explain” or “prove” why that equality is true. It is a definition.

    What is equality? At its core, equality as in a = b says that the symbol “a” carries the same semantic meaning as the symbol “b”. What does this mean? Well, if we make a big bag full of all the symbols that are equivalent to a, then b is in there. And vice versa. We say that = defines an *equivalence relation*. You can write this as

        \[a \in Eq(b)\]

    and think of the function Eq as returning all the things that b is equivalent to. Now, imagine this in an abstract sense. You can (like Marty did) say that Eq(b) for b an integer returns all the other integers that differ from b by a multiple of 73. Then 0 = 73 = 146 = -73 etc. Of course, you can make the function Eq as complex as you like, and the one for Ramanujan’s sum is complicated indeed. But there isn’t anything more to it than that.

  2. I couldn’t vote in that (-1)^(1/3) = (-1)^(2/6) poll (I was accessing through my browser) – but I was very surprised that such a large majority thought they were unequal.

    1. For those who weren’t there, my memory is that the poll results were about 2/3 for “No” and 1/3 for “Yes”. SRK, I’m surprised you’re surprised. In any case, my informal polls of audiences in my talks has always returned roughly those results, with God knows what proportion answering with any confidence.

      1. Totally speculative, but I suspect that questions like these have a certain amount of bias just as a result of the asking — it looks so obviously one way that some people assume it _must_ be the other, and answer that way to try to look smart. Hence, people see something like this and say they’re not equal because the obvious answer couldn’t possibly be true.

        1. Thanks, nondescript. That is a possibility well worth considering. For various reasons, however, I think the looking-for-a-trick aspect is probably minor.

          There is plenty of indication that index laws are commonly misunderstood, treated as Commandments from God, rather than consequences of careful definition. And, there’s plenty of evidence that the understanding of fractions is commonly weak. So, I doubt there is much “obviously” felt about the question I asked. But I agree the responses could be explained in other ways.

          It would be interesting to test this in a different way, by asking what (-1)^{2/6} equals, or making it multiple choice: 1 or -1 or undefined. I’d be very surprised if the responses for any formation were suggestive of a broad understanding.

          1. That would certainly be interesting. I have historically been shown to have far too optimistic a perspective on these sorts of things.

    2. Marty, thanks for providing the link to your talk. I really enjoyed it (I couldn’t attend because I was teaching). The only thing missing was a log fire crackling in the background – I really enjoyed the raconteur style.

      So I’m genuinely curious – where does this leave the humble a^(mn) = (a^m)^n = (a^n)^m …? Because the first thing a student says is

      “But (-1)^(2/6) = ( (-1)^2 )^1/6 = 1^1/6 = 1 …?”

      and so you point out that -1 is also a 6th root of 1. Then a Methods student wants to know why the graph of y = (x^2)^(1/6) s/he plotted is not the same as their graphs of y = ( x^(1/6) )^2 and y = x^(1/3). Followed by “And how come my graph of y = (x^2)^(1/6) doesn’t have a range of R?” So then you have to explain how plotting packages plot. And then …

      So when a student (or teacher) doesn’t like the “1/3 = 2/6 so suck it up” argument, you have a whole can of worms to explain.

      1. Thanks, JF.

        First thing, if a student (or teacher) doesn’t like the “1/3 = 2/6 so suck it up” argument, then what they have to do is suck it up anyway. Lead the horse to water, stick the horse’s head underwater, but if the damn horse doesn’t want to drink then to hell with it. Before anything else, one has to know what the equals sign means. Then, if one accepts that 1/3 = 2/6, which of course it is, there is nowhere to go.

        Secondly, I agree that the question then opens up a discussion of what went wrong with trying to apply the index “law”, and what is going is not obvious. But this non-obviousness should not be used to cloud the first point: 1/3 = 2/6 comes first.

        Finally, I am not particularly suggesting that teachers need to present this question to their students. My point in presenting the question was to indicate the ways that school material can be thought of as, and thus taught as, dogma, and how this dogma can blind one to obvious truth.

        1. Can we also get around this by saying that (a^{m})^{n}=a^{m\times n} is defined for a>0 and continue with something to the tune of, “even though we can take the cube-root of a negative, we have to be careful assuming that the index laws will ‘just work’ “?

          Sometimes I wonder if it isn’t easier to start with this and deal with the craziness of CAS/Mathematica graph plotting later.

          1. RF, you have to tread carefully. What, precisely, are you trying to define?

            Again, I don’t care all that much if teachers and students fight with this problem. What I do care is for teachers and students to realise that you can’t possibly have index laws for indices that are not yet defined.

            1. Yeah, I see your point.

              So, unless we define the process of raising to a power very carefully, the rest is simply not going to work (is this the basic idea?)

              Defining the squares and cubes of a positive integer are not too difficult, but going beyond this to define, say 2^{n} gets a bit more difficult.

              1. Yes, that’s the point. You first have to define a^b, carefully and step by step.

                But failing to do so is much worse than “not going to work”. It’s that it doesn’t make any logical sense. You can’t possibly prove anything about wombats, or even say anything meaningful about them, unless you somehow define what a wombat is.

                  1. It’s worth its own separate post, but how would *you* define a^b in year 8? You already answered (in effect) if b is a positive integer. So, what do you do for other types of b?

                    1. Damn! I thought I might get a straight answer out of you…

                      But, since you asked… In year 8 I don’t touch negative or fractional indices, I don’t think they are quite ready for them.

                      At Year 9, I pose the question, “if we now want a number x^{-1}, how can we define this in a way that fits with the index laws we have learned so far?” and proceed from there.

                      This gets me through negatives and fractions.

                      By VCE when we get to graphs of y=2^{x} I just show them the graph and hope they don’t ask me to justify the individual points!

                    2. Hi, RF. Your Year 9 approach is exactly the approach to take: how to define new index things so the index laws we already know continue to hold.

                      As to what to do in Year 11, you pretty much have to cheat, or take a *lot* of time going down the path Franz suggested. But, you should tell the students that you are cheating (which, of course, the textbooks don’t).

  3. Thanks Marty – quality stuff. One question though, and similar to Glen’s idea raised above: is there a balance (in your opinion) in say early highschool mathematics between giving definitions which are true by virtue of the fact they do not contradict other definitions, and giving definitions which are useful but not completely true with a statement to the effect (there is more to this, you will hopefully learn it later)? For example, when teaching square-roots, is it acceptable to tell students that a negative has no square root or should you tell them there is one but it is, for now, in the “too hard basket”?

    1. Thanks, RF.

      Your question is a good, important and tricky one. But the first thing to say is, you shouldn’t think of this as mathematicians, and me in particular, breathing down teachers’/writers’ necks. There are judgment calls to be made, and room for varying opinions. What there is not room for, however, are straight out falsehoods, such as “proving” 3^0 = 1 with index “laws”. Such dishonesty serves no purpose and is actively confusing. That was the kind of thing I was attacking in my talk.

      Again, these are judgment calls, but in general I am fine with limited truth in context. So, for example, I have no problem with lower primary teachers presenting multiplication as repeated addition. Eventually, and pretty soon, that notion has to be dropped, but I don’t think that means repeated addition is a bad place to begin. Similarly, I’m fine with lower secondary textbooks and teachers indicating that negatives do not have square roots.

      Having said that, it is usually possible to at least hint at deeper truths along the way, and I know many teachers try to do so. It takes very little time and can be tantalising to indicate parenthetically that roots of negatives will eventually make sense. In synch with this, it is worthwhile at least trying to choose one’s language carefully, to make the limited “truth” as true as possible; so, for example, one might indicate negatives don’t have “real” square roots. The significance of this may be lost on most or all students, but I’m not sure it doesn’t have subliminal effect. And, it is a worthwhile exercise in careful thought and expression.

      1. In my experience, even one comment can have a big impact on a student – for better or worse.

        This is why one must be careful in what one says as a teacher.

        1. Maybe. I’d say thoughtful rather than careful. If you are overly careful, to the point of never trying to say anything wrong, then you probably won’t say much right either.

  4. I watched the video; very enjoyable; thank you; I note that you used the example 7 \times 8 as I did; is there something about this multiplication that makes it so difficult?

    1. Thanks, Terry.
      The 7s are always left out, and 7 x 7 is a square. So, I usually pick on 7 x 8 or 7 x 9. But 7 x 8 = 56 is not “difficult”, any more than “The capital of Peru is Lima” is difficult.

    1. Hi, Franz. I understand the relevance of your 1/(1-1) = 1/(2-2) question, but I’m not sure of your purpose in asking it.

      The cheese book is indicated in my and Dave Treeby’s review here. In the talk I deliberately didn’t indicate the publishers/authors, although I also didn’t work to obscure them. The point wasn’t the individual stupidity, but the whole culture of stupidity.

        1. Ah, I see why I was confused: you were intent on defining things properly.

          But I don’t think your question dents the simple truth: if b = c then a^b = a^c, whether one wants to consider both as single (real)-valued, or multiple valued or undefined. Same thing with 1/b = 1/c: they are equal, possibly in the sense of being equally undefined.

  5. I liked that the second shop always displayed x^2 +2x – 48 cheeses. It obviously has a very bad mouse problem whenever the first shop displays less than 5 cheeses …. (Maybe they’re mathematical mice).

        1. Like I said – A very bad mouse problem. (If I hadn’t seen it with my own eyes, I’d swear it could only happen in Looney Tunes!)

  6. Another question about cheese. (I can’t recall where I found it.)

    You have a cube of cheese and a knife. How many straight cuts of the knife do you need to divide the cheese into 27 little cubes?

    1. I think a similar question appeared on an AMT competition paper in the 1990s.

      My first instinct is that you need 8 cuts, since re-arranging after a cut doesn’t help reduce the number of cuts.

      But I can’t find a good argument for why you can’t do it with less than 8 cuts.

      1. Is it 8 though? We can double the number of segments at each step, so after 4 cuts I can have 16 pieces, 5 cuts 32 pieces. If they have to be little perfect cubes, some care is needed. 6 would be enough (cut each face twice). Sorry I dont see the 8.

  7. I have had issues for many years about the problems involving probability transition matrices in examinations and text books. Attached is one of two papers on the matter that I have written with colleagues.

    The main point is that, usually, unless the Markov condition holds, the problem cannot be solved.

    Here is an analogy.

    Prove the following result. If f is a real-valued function defined on [0,1], f(0) is negative, and f(1) is positive, then there must be a value of x in [0,1] such that f(x) = 0.

    2016-IntJMathEdScTech

    1. You mean, prove the IVT?

      Doesn’t that require f to be continuous on [0,1] and differentiable on (0,1)?

      Or have I totally missed the point of your question?

      1. I think you hit on the exact point of Terry’s question. We tend to assume functions are continuous, but not all are, and most applications/theorems require it. Terry is saying the same unstated assumption issue comes up with probability questions, on whether a process is Markov or not.

  8. I agree with Marty’s point in his lecture that there are many instances where mathematical problems are stated in contexts that are not necessary (e.g. chess example) and sometimes they are downright distracting from the main point.

    Even worse, sometimes they are thinly veiled attempts to make statements about society.

    Often they require knowledge of the context. Halsey (2018, p. 32) refers to a NAPLAN question that refers to a “busy train station”, and many Australian students will have no idea of what a busy train station might look like.

    Designing questions on applied mathematics (which includes statistics) requires more than superficial window dressing.

    Reference
    Halsey, J. (2018). Independent review into regional rural and remote education—Final report. Canberra, Australia: Commonwealth of Australia.

  9. My sincere gratitude to Dr Marty.
    Such a fabulous online lecture must be recognized by more people.

    In the past,my favourite was your “Joy of Gambling”. However I only got the chance to find the podcast… If Marty agreed maybe I could post his old podcast here for more people to notice and appreciate.

    1. Thanks, PN. Perhaps for now it makes more sense to just point to the QEDcat public lectures page. That page links a bunch of (clunky) videos of me and Burkard.

      The gambling “podcast” to which you refer is really just the audio of a talk, which used to be on an MAV webpage, and which doesn’t make as much sense without the slides. I’ll try to update the public talks webpage with properly linked materials, if they exist.

      Of course the gambling audio not being a proper talk doesn’t excuse the airbrushing dickishness of the MAV taking it down.

      1. Hehe yes indeed… it’s funny but I think I must have been to every one of the talks you mentioned. I even used to attend the Lunchmaths talks at Monash and I certainly remember a lot more than 15 people there for your Joy of Gambling. Between that and Burkard juggling and riding his unicycle in the hallways it made for lots of good memories of my time at Monash.

  10. Marti,

    Hopefully your message gets out to a wider audience …

    QED is a good read

    KISS and peer review pay dividends in spades

    Steve R

  11. Any reason there was no Corollary #2 at the end there? I missed this point the first time through and am now wondering if it was a deliberate joke on your part…

    1. No, no hidden joke there. That part of the talk was taken from the AustMS talk. I decided there was no need to renumber, and anyway wasn’t sure until kick-off which corollaries I would include. Corollary 2 was that Twitter is a cesspool. A corollary to that corollary was that Twitter is worse than Facebook.

    1. Yes, of course it is. It’s completely obvious, and there’s not an education “expert” in the country who says it. Dumb fucks.

Leave a Reply

Your email address will not be published.


The maximum upload file size: 128 MB.
You can upload: image, audio, video, document, spreadsheet, interactive, text, archive, code, other.
Links to YouTube, Facebook, Twitter and other services inserted in the comment text will be automatically embedded.

This site uses Akismet to reduce spam. Learn how your comment data is processed.