La única definición de "cálculo" que conozco es el estudio de límites, derivados, integrales, etc. en el análisis. ¿En qué sentido es el cálculo lambda (o cosas como el cálculo mu) un "cálculo"? ¿Cómo se relaciona con el cálculo en el análisis?
11
Respuestas:
Un cálculo es solo un sistema de razonamiento. Un cálculo particular (bueno, en realidad dos cálculos estrechamente relacionados: el cálculo diferencial y el cálculo integral) se ha generalizado tanto que simplemente se conoce como "cálculo", como si fuera el único. Pero, como ha observado, hay otros cálculos, como el cálculo lambda, el cálculo mu, el cálculo pi, el cálculo proposicional, el cálculo predicado, el cálculo posterior y el cálculo del profesor.
fuente
El cálculo se refiere a métodos sistemáticos para tratar problemas mediante un sistema especial de anotaciones algebraicas, generalmente un método de cálculo.
fuente