Por que o cálculo lambda é um "cálculo"?

11

A única definição de "cálculo" de que conheço é o estudo de limites, derivadas, integrais etc. na análise. Em que sentido o cálculo lambda (ou coisas como mu calculus) é um "cálculo"? Como isso se relaciona com o cálculo na análise?

terminology lambda-calculus Alec
fonte
5
Se não tem muito a ver com Cálculo ou Análise, Cálculo é usado aqui no sentido de que você possui regras definidas para as quais manipula símbolos. Em alemão, é chamado "Lambda Kalkül", onde a palavra "Kalkül" se refere a esses sistemas de regras de manipulação, e Cálculo é apenas denominado "Análise", portanto, não há essa interferência na nomeação.
StefanH
5
Meu dicionário diz: "cálculo: um método ou sistema específico de cálculo ou raciocínio".
Sasho Nikolov

Respostas:

17

Um cálculo é apenas um sistema de raciocínio. Um cálculo em particular (bem, na verdade dois cálculos intimamente relacionados: o cálculo diferencial e o cálculo integral) tornou-se tão difundido que é conhecido apenas como "cálculo", como se fosse o único. Mas, como você observou, existem outros cálculos, como o cálculo lambda, o cálculo mu, o cálculo pi, o cálculo proposicional, o cálculo predicado, o cálculo sequencial e o professor Cálculo.

David Richerby
fonte
7

Cálculo refere-se a métodos sistemáticos de tratamento de problemas por um sistema especial de notações algébricas, geralmente um método de cálculo.

Yannis Ntallas
fonte
Todas as álgebras são cálculos? Todos os cálculos são álgebras? Caso contrário, qual é a distinção ou como um é especializado versus o outro?
codeshot 25/01