Хотя высокоуровневое программирование не относятся к математике прямым образом, в нём используется кое-что из математики. Здесь не идёт речи о каких-то сложных вычислениях (если конечно решение конкретной задачи не подразумевает эти самые вычисления). Речь идёт об использовании базовых математических операций и некоторого набора операторов. В математике простой набор действий над числами называется «операции». Сложение, умножение, вычитание и деление — всё это операции. В программировании используются эти же самые операции...

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