Perché il calcolo lambda è un "calcolo"?

11

L'unica definizione di "calcolo" di cui sono a conoscenza è lo studio di limiti, derivati, integrali, ecc. In analisi. In che senso il calcolo lambda (o cose come mu calculus) è un "calcolo"? Come si collega al calcolo in analisi?

terminology lambda-calculus

— Alec
fonte

5

Non ha molto a che fare con Calcolo o Analisi, Calcolo è qui inteso nel senso che hai regole definite a cui manipoli i simboli. In tedesco si chiama "Lambda Kalkül" dove la parola "Kalkül" si riferisce a tali sistemi di regole di manipolazione, e Calculus è appena chiamato "Analisi", quindi non c'è questa interferenza nella denominazione.

— StefanH,

5

Il mio dizionario dice "calcolo: un particolare metodo o sistema di calcolo o ragionamento".

— Sasho Nikolov,

17

Un calcolo è solo un sistema di ragionamento. Un calcolo particolare (beh, in realtà due calcoli strettamente correlati: il calcolo differenziale e il calcolo integrale) è diventato così diffuso che è noto come "calcolo", come se fosse l'unico. Ma, come hai osservato, ci sono altri calcoli, come il calcolo lambda, il calcolo mu, il calcolo pi, il calcolo proposizionale, il calcolo predicato, il calcolo sequenziale e il professor Calculus.

— David Richerby
fonte

7

Il calcolo si riferisce a metodi sistematici di trattamento dei problemi mediante un sistema speciale di notazioni algebriche, generalmente un metodo di calcolo.

— Yannis Ntallas
fonte

Tutte le algebre sono calcoli? Tutti i calcoli sono algebre? In caso contrario, qual è la distinzione o in che modo uno è specializzato rispetto all'altro?

— codeshot