Математики неожиданно переосмыслили знак равенства
Простой символ, который мы знали всегда, может быть в корне ошибочным. Математики иногда играют быстро и свободно с понятием равенства. В программировании знаки равенства могут означать разные вещи, а переменные имеют разные типы. Превращение интуитивного математического опыта в пошаговые закодированные доказательства требует заполнения некоторых «дыр». В новом препринте, который не рецензируется и представляет собой скорее редакционную статью или набор наблюдений, чем теорию или исследование,...