| |
[Jun. 6th, 2008|11:38 pm] |
| [ | Current Mood |
| |  annoyed | ] |
Потребовалось мне посмотреть, как по-русски принято транслитерировать фамилию Howard.
Задал в Гугле запрос "Карри Ховард" (если кто не знает: есть известное математическое явление, называемое Curry-Howard isomorphism). На первой странице ни одного вообще кириллического ответа, всюду просто английские тексты, где упоминается какой-нибудь Howard, чаще всего даже не этот.
Что-то, кажется мне, Гугл стал чересчур умным и начал слишком много о себе понимать. |
|
|