Чего смеяться-то? Я своё отсмеялся года четыре назад, когда в каком-то постановлении правительства о рынке ЭЭ появился "лагранжиан", что-ли. Ну недавно ещё похихикал, когда в стандарте ISO обнаружилась лемма с доказательством (матлогика).
В век компьютеров законы приходится писать для компьютеров. Сингулярность-то близится.
Но, конечно, есть в этой колонке и та правда, на которую нам указывает Давид Горелишвили.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-02-08 06:39 am (UTC)В век компьютеров законы приходится писать для компьютеров. Сингулярность-то близится.
Но, конечно, есть в этой колонке и та правда, на которую нам указывает Давид Горелишвили.