Так сложилось, что в императивном программировании функцией называют подпрограмму (иногда - подпрограмму которая возвращает какое-то значение), без дополнительных требований к побочным эффектам. А оператор присваивания записывается тем же символом, который используется математиками для отношения равенства. Программирование - не математика, и тут термины могут иметь совсем другое значение. Чтобы привести все названия во всех языках к "правильным" формулировкам, понадобится слишком много усилий, которые в итоге всё равно пропадут впустую.
Можно считать, что используемые в программировании определения в некотором смысле расширяют математические: математические функции всё ещё можно представлять в виде функций в понимании языков программирования, а непосредственно после оператора присваивания выражения оказываются равны с точки зрения математики.
Точно так же и с лямбдами - понятие, пришедшее из лямбда-исчисления, обобщили, и теперь оно означает сокращённо записанную функцию с замкнутыми внешними переменными, опционально в форме AST. Бессмысленно писать гневные комментарии - теперь в программировании у терминов "лямбда-функция" и "лямбда-выражение" именно такое значение.
x = x + 1
не имеет смысла с точки зрения математики. Предложите отменить/переименовать всю терминологию программирования? А словосочетание переменная константа мозги не клинит (у меня - да)?