Чего смеяться-то? Я своё отсмеялся года четыре назад, когда в каком-то постановлении правительства о рынке ЭЭ появился "лагранжиан", что-ли. Ну недавно ещё похихикал, когда в стандарте ISO обнаружилась лемма с доказательством (матлогика).

В век компьютеров законы приходится писать для компьютеров. Сингулярность-то близится.

Но, конечно, есть в этой колонке и та правда, на которую нам указывает Давид Горелишвили.