Комментарии 2
А влияние λ-исчисления прослеживается в функциональных языках
Ну а самих лямбд (анонимных функций, которые можно передавать в качестве аргументов) сейчас разве что в ассемблере нет.
И преобразования Лоренца на лекции на физтехе, насколько помню, примерно так и выводились - исходя из базовых правил получалось, что только так и можно.
про Алонзо Чёрча ...как-то редко вспоминают.
Чёйта не в споминают? Я сразу вспомнил лекцию, где упоминали "тезис Чёрча". 1983 год шел.
И детки мои сразу про тезис Чёрча сказали, и про его книгу "Введение в мат.логику". Учились они совсем недавно, несколько лет назад.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Алонзо Чёрч: забытый архитектор современного программирования