You're reading: Travels in a Mathematical World

Why maths isn’t like science (and may be evil)

Yesterday I gave a talk to the Nottingham Trent University Maths Society, ‘A brief history of mathematics: 5,000 years from Egypt to Nottingham Trent’. I had a slide in this where I said something about what the Greek style of proof means for mathematics. It has helped me put my finger on something of why mathematics isn’t like science, and I thought I would share it here so I can look it up when I’ve forgotten again.

Up to a point, it might seem reasonable to explore an issue by finding a bunch of examples and extrapolating a general rule that your examples seem to obey. I realise there’s a little more to it than that, but this is basically what science does. This process is called inductive reasoning, because a general theory is ‘induced’ from the ground up.

Mathematics, on the other hand, follows a deductive process. A set of basic ideas are assumed (we call these axioms), and a series of propositions are ‘deduced’ from these via proof. Of course, in reality there are mathematicians on the applied side who are effectively doing science, but at its heart, mathematics is a process of deductive reasoning.

So science induces from evidence, while mathematics deduces from assumed truths. This is why a mathematical truth (a true statement within a constrained system) remains true throughout time, while scientific truth (an idea based on a lot of evidence) can be overturned by new observations.

My officemate, a forensic scientist, is currently reading some Sherlock Holmes stories. I’ve never read these, and am only aware of the material through various screen incarnations, but I’m aware that what Holmes does is sometimes referred to as “deduction“. Actually, Holmes is proceeding from close observation and works to establish the facts of a case from these — a process of inductive reasoning.

We approached the case, you remember, with an absolutely blank mind, which is always an advantage. We had formed no theories. We were simply there to observe and to draw inferences from our observations.
(The Adventure of the Cardboard Box)

It is interesting to me that Moriarty, nemesis of Holmes, is set up as a Professor of Mathematics. I wonder if this is deliberate, to establish Moriarty as Holmes’ opposite, who reasons completely differently to Holmes (but is almost his match), and whether this distinction features overtly in the stories. This ability to reason appears crucial to Moriarty’s evil nature; he is not just any villain, because his “criminal strain” is “increased and rendered infinitely more dangerous by his extraordinary mental powers” (The Final Problem).

Of course, this makes science the hero and maths its diabolical nemesis. So be aware, dear reader, that we may be on the wrong side of good.

12 Responses to “Why maths isn’t like science (and may be evil)”

  1. Avatar Chris Hazell

    Nice article. Do you think it’s fair to say that Science is subjective (working from observation) and Maths is objective (working from a fixed foundation)? It could be the lack of subjectivity that makes Maths seem less human and therefore evil…

    Reply
  2. Avatar Alan Stevens

    It’s not always true that science finds a bunch of examples and extrapolates. The positron was predicted from Dirac’s equations way before it was found. Higg’s boson was postulated long before it was found.

    Reply
    • Avatar Kwaku

      In a way, weren’t neutrinos and Higgs bosons sophisticated extrapolations of the currently available evidence? For example, Dirac’s equations first seem to govern some observable evidence, and an extrapolation of their applicability predicts the neutrino, no?

      Reply
  3. Avatar Liz Hind

    Thumbs up from me for starting your talk in Egypt and talking about the Greek ‘style’ of proof.
    I’d agree with you that being a mathematician can be used as a short hand for being cold and emotionless – literally calculating. What I find more troubling though is films like Good Will Hunting that perpetuate the myth that either you are a mathematician with innate abilities or you are not. Huge problem for all of us that are trying to do maths outreach.

    Reply
  4. Avatar krishna

    Scientific problems require mathematical thought. I didn’t know that Newton needed to understand differentiation to deduce F=ma. At school I was taught that he observed apples falling! You are right though. I often hear the words mathematical model to describe relationships. Science doesn’t rely on experimental evidence as it’s made out to be.

    Reply
  5. Avatar Ronald Brown

    ” A set of basic ideas are assumed (we call these axioms), and a series of propositions are ‘deduced’ from these via proof. ” This seems a bowdlerised view of mathematics. Have you never read “Mathematics and the imagination”, by Kasner and Newman?

    Can you imagine a research method which I called : “An idea for a proof in search of a theorem”?

    Of course constructing a proof is part of the craft of mathematics, but that is not what maths is “about”.

    Have a look at articles on my Popularisation and Teaching page, http://pages.bangor.ac.uk/~mas010/publar.html
    e.g. on The Mathoetic Mode

    “`The poet’s eye, in a fine frenzy rolling,

    Doth glance from heaven to earth, and earth to heaven,

    And as imagination bodies forth the forms of things unknown

    The poet’s pen turns them to shapes, and gives to airy nothing

    A local habitation and a name.’ ”

    I particularly like the third and last lines, as echoing what mathematicians do. The notion of “name” is very subtle, and is a way knowledge advances.

    Reply
  6. Avatar Anonymous

    I’m an engineering student, I find this very offensive saying that mathematics isn’t like science. Mathematics is the father of all sciences, without mathematics, science would not exist. You can be a mathematician without being a physicist, but you can’t be a physicist without being a mathematician first.

    Reply
  7. Avatar EverthingButMath

    I came across your article because I have really never been able to do anything past basic math, without extreme difficulty (and never could get past algebra II. I did suffer a stroke on my left side as a child (about age 1 1/2, but didn’t even know I had a stroke until a few years ago. My, grand mother would always just say when I asked what was wrong with me, “Yaoundé just have a little something wrong with that side, now go play. I sure appreciate her love and wisdom in handling that conversation. I wouldn’t be as far along as I am today without her just ignoring my right side issue.

    I am a pretty good student, and always worked hard to make good grades, and I did in everything I studied, EXCEPT MATH.

    I was tested twice and both times doctors said I didn’t have a learning disability, this was in college. I dropped out off college after attempting algebra and Probability and Statistics and the a more general math. The college even let me retake the placement and again I scored over the line where I wouldn’t have to take any remedial first.

    When I was very young middle and high school, I just thought I wasn’t that smart, but I have completed college making the deans list every semester and I’m just
    trying yo fighter out what to do about that one last math class.

    I don’t have math anxiety, but I do get a sense of evil when i am presented with equations or strings of numbers. I can remember things well, but I have never been able to remember
    numbers, not even ones I use often. I do know my SSN, and dob but that’s pretty much it. Math, phone numbers, dates and time… I got nothing but a creepy feeling.

    Numbers, for me are just like looking at a foreign language!

    Can anyone relate?

    Q

    Reply

(will not be published)

$\LaTeX$: You can use LaTeX in your comments. e.g. $ e^{\pi i} $ for inline maths; \[ e^{\pi i} \] for display-mode (on its own line) maths.

XHTML: You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>