Cavaleiros do Cálculo Lambda

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
O Cavaleiros do Lambda Calculus ' emblema recursivo celebra a fundação teórica do LISP, o cálculo lambda. Y no emblema refere-se ao combinador de ponto fixo e a reaparência da imagem em si se refere à recursão.

Os Cavaleiros do Cálculo Lambda são uma organização semi-ficcional de hackers especializados em Lisp e Scheme. O nome refere-se ao cálculo lambda, um formalismo matemático inventado por Alonzo Church, com o qual Lisp está intimamente ligado, e faz referência aos Cavaleiros Templários.

Não existe nenhuma organização que atenda pelo nome de Knights of the Lambda Calculus; ele existe principalmente apenas como uma piada interna da cultura hacker. O conceito provavelmente se originou no MIT. Por exemplo, nas videoaulas de Estrutura e Interpretação de Programas de Computador, Gerald Jay Sussman apresenta o botão ao público, dizendo que agora eles são membros desse grupo especial. No entanto, de acordo com o Jargon File, um "conhecido LISPer" é conhecido por distribuir botões com a insígnia dos Cavaleiros, e algumas pessoas alegaram ser membros dos Cavaleiros.

Na cultura popular

Um grupo que evoluiu ou é semelhante a eles, chamado Os Cavaleiros do Cálculo Oriental, faz uma aparição importante na série de anime Serial Experiments Lain. O logotipo é uma referência à Maçonaria. Referências a professores do MIT e outros cientistas da computação americanos são proeminentes no episódio 11 da série. Em um ponto do anime, Lain é vista com um código exibido em seu dispositivo portátil que parece ser Lisp.

Contenido relacionado

MySQL

MySQL é um sistema de gerenciamento de banco de dados relacional de código aberto. Seu nome é uma combinação de "My", o nome da filha do...

Minix

MINIX é um sistema operacional semelhante ao Unix baseado em uma arquitetura de microkernel. Desde a versão 2.0, ele é compatível com Portable Operating...

Hackear

Hacking pode referir-se...
Más resultados...
Tamaño del texto:
Copiar