
Eugenia Cheng (Profile Books)
SOME have likened the process of doing abstract mathematics to hacking your way out of some dense forest. Maryam Mirzakhani, the late mathematician and the first of only two women to win a Fields medal, once talked about feeling 鈥渓ost in a jungle鈥 and of gaining mathematical insights while trying out new tricks to extricate herself.
In mathematician Eugenia Cheng鈥檚 new book, Is Maths Real? How simple questions lead us to mathematics鈥 deepest truths, she uses a similar metaphor to give a glimpse into the mathematician鈥檚 mind. Each chapter starts with a seemingly innocent question 鈥 one that most adults wouldn鈥檛 dare ask for fear of looking stupid 鈥 and then shows how answering such questions seriously is 鈥渁 slow process of gradually probing and pulling back the undergrowth鈥.
Advertisement
The questions are very basic and the answers seem obvious, except that they aren鈥檛. For example: why does 1 + 1 = 2? Why does -(-1) = 1? And why isn鈥檛 1 a prime number? OK, maybe that last one isn鈥檛 so simple, but that鈥檚 the idea.
Cheng shows us that what look like trivial questions may not be so simple on closer inspection. For example, does 1 + 1 equal 2 in all cases? Understanding when it does and when it doesn鈥檛 leads to a richer understanding of our underlying assumptions about numbers and their world.
Mathematics, writes Cheng, isn鈥檛 about getting the right answers to questions, but about knowing how to reason using a framework of logic (if 1 + 1 = 2, then why 鈥 or why not?). As she explains:鈥漈he solidity of maths comes from not wanting to trust things, but wanting to jump and swing and know that our framework will hold up.鈥
Cheng celebrates the dizziness and disorientation engendered by childlike questions, arguing that these feelings are suggestive of the right kind of bafflement, and pushing yourself to overcome them is crucial to the process. She also succeeds in making the reader feel that not understanding something in mathematics isn鈥檛 the same as being bad at it; rather, it is a clue that you are onto something deeper, the pursuit of which could reap rewards.
The book is infused with personal ruminations that lighten the load and keep the tone conversational. For example, when Cheng describes -1 as something that cancels out 1, just as antimatter obliterates matter, she writes: 鈥淲hen I was little I thought that pepper was the anti-matter for salt, that is, I thought that if you added too much salt to something you could add some pepper to cancel it out.鈥
She uses real-world examples to help the reader understand mathematical concepts. Take the commutativity of addition, which says that 2 + 4 = 4 + 2, or that the order of addition doesn鈥檛 matter. But are there situations that are non-commutative, where this isn鈥檛 the case 鈥 and what does non-commutativity mean? Cheng offers a culinary example: to make mayonnaise, start with egg yolks and add olive oil slowly; the other way around doesn鈥檛 work. 鈥淚t doesn鈥檛 commute,鈥 she writes.
Cheng wears her heart and politics on her sleeve, segueing seamlessly, and occasionally not so seamlessly, from mathematics to social concerns. Take the issue of why the square root of 2 requires thinking beyond whole numbers and fractions. 鈥淭he alternative is to allow some new types of number into your life,鈥 she writes (the new type here being the irrational numbers).
She uses this opening to call out people who 鈥渟teadfastly refuse to accept new ways of being as valid (such as same-sex marriage, or non-binary gender, or women mathematicians)鈥. That is 鈥渘ot how mathematics operates,鈥 she writes.
To the central question of her book 鈥 whether mathematics is real 鈥 Cheng鈥檚 answer sidesteps the philosophical conundrum about whether it is invented or discovered. Very pragmatically, she writes: 鈥淭he concepts in abstract maths might not be part of the concrete world, but the ideas are as real as any other ideas, and鈥 the insights we get into the real world are very real.鈥
Nicely parried, while providing fodder for those who want to chew on this some more.
Anil Ananthaswamy is the author聽of聽the upcoming book Why聽Machines Learn: The elegant聽math behind modern AI