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

[alogic]

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

Comments

[annanimnaja.livejournal.com]

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

[link0ff.livejournal.com]

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

[vi-z.livejournal.com]

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

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

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