Warum ist Lambda-Kalkül ein „Kalkül“?

11

Die einzige mir bekannte Definition von "Kalkül" ist das Studium von Grenzen, Ableitungen, Integralen usw. in der Analyse. Inwiefern ist Lambda-Kalkül (oder Dinge wie Mu-Kalkül) ein "Kalkül"? In welcher Beziehung steht es zur Analysis in der Analyse?

Alec
quelle
5
Es hat nicht so viel mit Kalkül oder Analyse zu tun, Kalkül ist hier in dem Sinne gemeint, dass Sie bestimmte Regeln haben, nach denen Sie Symbole manipulieren. Auf Deutsch heißt es "Lambda Kalkül", wobei sich das Wort "Kalkül" auf solche Systeme von Manipulationsregeln bezieht, und Calculus wird nur als "Analyse" bezeichnet, so dass es keine Beeinträchtigung der Benennung gibt.
StefanH
5
Mein Wörterbuch sagt: "Kalkül: eine bestimmte Methode oder ein bestimmtes System der Berechnung oder Argumentation."
Sasho Nikolov

Antworten:

17

Ein Kalkül ist nur ein Argumentationssystem. Ein bestimmter Kalkül (nun ja, eigentlich zwei eng verwandte Kalküle: der Differentialkalkül und der Integralkalkül) ist so weit verbreitet, dass er nur als "Kalkül" bekannt ist, als wäre er der einzige. Aber wie Sie beobachtet haben, gibt es andere Kalküle, wie den Lambda-Kalkül, den Mu-Kalkül, den Pi-Kalkül, den Satzkalkül, den Prädikatenkalkül, den Sequenzkalkül und den Professorkalkül.

David Richerby
quelle
7

Kalkül bezieht sich auf systematische Methoden zur Behandlung von Problemen durch ein spezielles System algebraischer Notationen, im Allgemeinen eine Berechnungsmethode.

Yannis Ntallas
quelle
Sind alle Algebrenberechnungen? Sind alle Berechnungen Algebren? Wenn nicht, was ist der Unterschied oder wie ist einer auf den anderen spezialisiert?
Codeshot