Pourquoi le lambda calcul est-il un «calcul»?

11

La seule définition du «calcul» que je connaisse est l'étude des limites, des dérivés, des intégrales, etc. en analyse. Dans quel sens le calcul lambda (ou des choses comme le calcul mu) est-il un "calcul"? Comment est-il lié au calcul dans l'analyse?

terminology lambda-calculus Alec
la source
5
Cela n'a pas grand-chose à voir avec le calcul ou l'analyse, le calcul est ici conçu dans le sens où vous avez des règles précises auxquelles vous manipulez les symboles. En allemand, il est appelé "Lambda Kalkül" où le mot "Kalkül" fait référence à de tels systèmes de règles de manipulation, et le calcul est simplement appelé "analyse", il n'y a donc pas cette interférence dans la dénomination.
StefanH
5
Mon dictionnaire dit: «calcul: une méthode ou un système particulier de calcul ou de raisonnement».
Sasho Nikolov

Réponses:

17

Un calcul n'est qu'un système de raisonnement. Un calcul particulier (enfin, en fait deux calculs étroitement liés: le calcul différentiel et le calcul intégral) est devenu si répandu qu'il est simplement connu sous le nom de "calcul", comme s'il était le seul. Mais, comme vous l'avez observé, il existe d'autres calculs, tels que le calcul lambda, le calcul mu, le calcul pi, le calcul propositionnel, le calcul prédicat, le calcul séquentiel et le professeur Calculus.

David Richerby
la source
7

Le calcul fait référence à des méthodes systématiques de traitement des problèmes par un système spécial de notations algébriques, généralement une méthode de calcul.

Yannis Ntallas
la source
Toutes les algèbres sont-elles des calculs? Tous les calculs sont-ils des algèbres? Sinon, quelle est la distinction ou comment l'une est-elle spécialisée par rapport à l'autre?
codeshot le