Mathematicians can’t agree what ‘equals’ means, and that’s a problem
What does “equals” mean? For mathematicians, this simple question has more than one answer, which is causing issues when it comes to using computers to check proofs. The solution might be to tear up the foundations of maths ⌘ Read more