Рыцари лямбда-исчисления - Knights of the Lambda Calculus

В Рыцари лямбда-исчисления ' рекурсивная эмблема отмечает теоретические основы LISP, лямбда-исчисление. Y на эмблеме означает комбинатор с фиксированной точкой и повторное появление картины в себе относится к рекурсия.

В Рыцари лямбда-исчисления это полу-вымышленная организация экспертов Лисп и Схема хакеры. Название относится к лямбда-исчисление, математический аппарат, изобретенный Церковь Алонсо, с которым тесно связан Лисп, и ссылается на тамплиеры.

На самом деле нет организации, которая носит такое название Рыцари лямбда-исчисления; он в основном существует только как хакерская культура в шутку. Эта концепция, скорее всего, возникла в Массачусетский технологический институт. Например, в Структура и интерпретация компьютерных программ видео лекции, Джеральд Джей Сассман представляет аудитории кнопку, говоря, что они теперь члены этой особой группы. Однако, согласно Файл жаргона, "известный LISPer", как известно, выдавал кнопки с рыцарскими символами на них, а некоторые люди утверждали, что являются членами Рыцарей.[1]

В популярной культуре

Группа, которая произошла от них или похожа на них, называется Рыцари восточного исчисления, широко появляться в аниме серии Серийные эксперименты Lain. Ссылки на Массачусетский технологический институт профессора и другие американские ученые-информатики занимают видное место в 11-й серии сериала. В какой-то момент аниме можно увидеть Лейн с кодом, отображаемым на ее портативном устройстве, которое выглядит как Лисп.[2]

Рекомендации

  1. ^ Раймонд, Эрик. «Рыцари лямбда-исчисления». Файл жаргона. Получено 2015-04-01.
  2. ^ "MIT Anime Club :: Появление MIT в аниме".