Agora podemos ver que a Igreja estava associada ao Cálculo Lambda de Digitação Simples . De fato, parece que ele explicou o Cálculo Lambda de Digitação Simples para reduzir o mal-entendido sobre o Cálculo Lambda.
Agora, quando John McCarthy criou o Lisp, ele o baseou no cálculo Lambda . Isso é por sua própria admissão quando ele publicou "Funções recursivas de expressões simbólicas e seu cálculo por máquina, Parte I" . Você pode ler aqui .
Agora sabemos que o núcleo do Mathematica é um sistema semelhante ao Lisp , mas, em vez de se basear apenas no Lambda Calculus, é baseado em um sistema de reescrita de termos .
Aqui o autor declara:
O Mathematica é fundamentalmente um sistema de reescrita de termos ... um conceito mais geral do que o Cálculo Lambda por trás do Lisp.
Parece que o Cálculo Lambda é uma pequena parte de uma categoria muito mais geral. (Como um pensamento bastante revelador, este era mais um conceito fundamental). Estou tentando ler mais sobre isso para ter uma perspectiva.
Minha pergunta é: Como o Lambda Calculus é um tipo específico de sistema de redação de termos?