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

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