В мире математики царит неуловимая тайна вокруг концепции равенства, которую, кажется, объяснить довольно сложно. И хотя люди думали, что понимают суть знака "равно", оказывается, даже математики сами не могут прийти к общему мнению, что делает два объекта равными. Эта длительная академическая дискуссия наконец-то добралась до своей кульминации, поскольку компьютерные программы, задействованные в проверке математических доказательств, требуют ясных и четких инструкций. Именно здесь возникают сложности,...