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?
11
Odpowiedzi:
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.
źródło
Rachunek odnosi się do systematycznych metod rozwiązywania problemów przez specjalny system notacji algebraicznych, ogólnie metodę obliczeniową.
źródło