Здравствуйте, rfq, Вы писали:

rfq>В частности, в математике нельзя написать a=a+1

Смотря, в какой теории. В рамках ZFC, например, — так нельзя написать исключительно потому, что символ равенства там используется для обозначения бинарного отношения (внезапно) равенства двух множеств, а в том, что ты называешь "программированием" — он обозначает операцию связывания символической переменной с каким-либо символическим или конкретным значением, что вполне можно выразить математически с помощью тривиальной (3,3)-программы для МТ