More complex than it looks Aspix/Alamy
When you see 鈥2 + 2 = 4鈥, what does 鈥=鈥 mean? It turns out that鈥檚 a complicated question, because mathematicians can鈥檛 agree on the definition of what makes two things equal. While this argument has been quietly simmering for decades, a recent push to make mathematical proofs checkable by computer programs, called formalisation, has given the argument new significance.
“Mathematicians use equality to mean two different things, and I was fine with that,鈥 says at Imperial…
