Хаскель и Моисей

[alogic]

И вторая лекция по Хаскелю окзалась замечательной. Рома уже выложил темы предыдущей и фотку. В этот раз нас было всего шестеро, но зато компания всех знакомых. Казалось бы ходить на лекции анахронизм, когда в интернете всё самому прочитать можно, спросить, если что непонятно, но что-то есть в хорошей компании вдохновляющее. Я уже прямо загорелся перейти на Xmonad с KDE. И совсем неожиданное открытие. Оказывается Моисей Шейнфинкель, основатель комбинаторной логики, которую вслед за ним развил Хаскель Кёри, учился в этом же самом Одесском университете ровно 100 лет назад. Вот уж где мистика. 108-ю аудиторию надо назвать "аудиторией Шейнфинкеля", а то не повезло Моисею Исаевичу ни с именем ни с фамилией. Имя Хаскеля Кёри разобрали на 2 языка и одну функцию, а про Моисея Исаевича известно только, что зачем-то в 1939 году он вернулся в СССР, где и сгинул в Москве в 1942, да и то насчёт даты смерти сомневаются.

Comments

[annanimnaja.livejournal.com]

Пока мозги собирались с мыслями, чтоб прочесть весь пост, глаз выхватил и подкорректировал фразу: "есть в хорошей компании вдохновляюще".
А то!:)

[alogic.livejournal.com]

Кто не учит Хаскель, тот не ест! А вообще девушек очень не хватает;-)

[link0ff.livejournal.com]

Ого, изобрел комбинаторную логику, а я и не знал! Надо теперь придумать новый язык "Шейнфинкель" :)

[alogic.livejournal.com]

Да люди предлагают прямо - "Моисей Исаевич" :)

[vi-z.livejournal.com]

О! Хоршо вам там :) Я бы и сам пришёл.

[alogic.livejournal.com]

Не думаю, что это хорошая идея, я там пока, типа, лучший ученик;-)

[vi-z.livejournal.com]

Что, и Тигра хуже? Ира передает привет, и говорит, что в тебя верит :)

[alogic.livejournal.com]

Тигра домашнее задание не сделал, имя функции на доске с большой буквы написал - низачот!
Всё, теперь я просто не могу подвести Иру:) Спасибо ей.

[t-gra.livejournal.com]

Ложь!
Задание я сделал (правда, уже после того, как прозвенел звонок), и буква на самом деле была маленькая, просто написана была крупно.

[alogic.livejournal.com]

Алексей, я полагал Вы выше этих мелочных разборок. Зачем Вы позволяете втягивать себя в эти игры?

[t-gra.livejournal.com]

Ради прикола, конечно :)

[ro-che.info (from livejournal.com)]

Вот это да... Я и не знал. Думал, что он немецкого происхождения (его даже в википедии пишут -- Schönfinkel).

[alogic.livejournal.com]

Русского человека так легко обмануть:)