Cálculo lambda ou cálculo-λ – Artigo resumido

A principio na lógica matemática e na ciência da computaçãocálculo lambda , também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.

Cálculo lambda

Sua principal característica são as entidades que podem ser utilizadas como argumentos e retornadas como valores de outras funções.

lambda cálculo Tipado e Não-tipado

A parte relevante de lambda cálculo para computação ficou conhecida como não-tipado. Dessa forma o tipado e o não-tipado tem suas ideias aplicadas nos campos da lógica, teoria da recursão (computabilidade) e linguística, e tem tido um grande papel no desenvolvimento da teoria de linguagens de programação (com a versão não-tipada sendo a inspiração original para programação funcional, em particular Lisp, e a versão tipada contribuindo para fundamentar modernos sistemas de tipos e linguagens de programação).

História

O cálculo-λ foi apresentada por Alonzo Church na década de 1930 como parte da investigação dos fundamentos da matemática. O sistema original foi demonstrado ser logicamente inconsistente em 1935 quando Stephen Kleene e J. Barkley Rosser desenvolveram o paradoxo Kleene-Rosser.

Em seguida, em 1936, Church isolou e publicou apenas a computação e que depois ficou conhecida como lambda cálculo não-tipado. Em 1940, ele também apresentou uma versão computacionalmente mais fraca, mas com um sistema lógico consistente, conhecido como lambda cálculo simplesmente tipado.

Alonzo Church foi orientador de Alan Turing. De certa forma, o trabalho de Church está para o conceito de software assim como o de Turing relaciona-se muito diretamente ao conceito de Hardware.

Fonte: https://pt.wikipedia.org/wiki/C%C3%A1lculo_lambda

Deixe uma resposta