Dlaczego rachunek lambda jest „rachunkiem”?

11

Jedyną znaną mi definicją „rachunku różniczkowego” jest badanie granic, pochodnych, całek itp. W analizie. W jakim sensie rachunek lambda (lub rzeczy takie jak rachunek mu) jest „rachunkiem”? Jak to się ma do rachunku różniczkowego w analizie?

terminology lambda-calculus

— Alec
źródło

5

Nie ma to wiele wspólnego z Rachunkiem lub Analizą, Rachunek ma tu na myśli to, że masz określone reguły, którymi manipulujesz symbolami. W języku niemieckim nazywa się to „Lambda Kalkül”, gdzie słowo „Kalkül” odnosi się do takich systemów reguł manipulacji, a Rachunek jest po prostu określany jako „Analiza”, więc nie ma takiej ingerencji w nazewnictwo.

— StefanH

5

Mój słownik mówi: „rachunek różniczkowy i matematyczny: określona metoda lub system obliczania lub rozumowania”.

— Sasho Nikolov

17

Rachunek różniczkowy to tylko system rozumowania. Jeden szczególny rachunek różniczkowy (a właściwie dwa ściśle powiązane: rachunek różniczkowy i rachunek całkowy) stał się tak powszechny, że jest znany jako „rachunek różniczkowy”, tak jakby był jedynym. Ale, jak zauważyłeś, istnieją inne rachunku, takie jak rachunek lambda, rachunek mu, rachunek pi, rachunek zdań, rachunek predykatów, rachunek sekwencyjny i rachunek profesora.

— David Richerby
źródło

7

Rachunek odnosi się do systematycznych metod rozwiązywania problemów przez specjalny system notacji algebraicznych, ogólnie metodę obliczeniową.

— Yannis Ntallas
źródło

Czy wszystkie algebry są rachunkami? Czy wszystkie obliczenia są algebrami? Jeśli nie, jakie jest to rozróżnienie lub w jaki sposób jedna specjalizacja jest w stosunku do drugiej?

— codhot