Чому обчислення лямбда є «численням»?

11

Єдине визначення "обчислення", яке мені відомо, - це вивчення меж, похідних, інтегралів тощо в аналізі. У якому сенсі числення лямбда (або такі речі, як mu calculus) - це «обчислення»? Як це стосується числення в аналізі?

terminology lambda-calculus

— Алек
джерело

5

Має не так багато спільного з обчисленням або аналізом, підрахунок мається на увазі в тому сенсі, що у вас є певні правила, якими ви маніпулюєте символами. По-німецьки це називається "Lambda Kalkül", де слово "Kalkül" відноситься до таких систем правил маніпуляцій, а обчислення називається просто "Аналіз", тому немає цього втручання в називанні.

— StefanH

5

У моєму словнику сказано: "обчислення: певний метод чи система обчислення чи міркування".

— Сашо Ніколов

17

Обчислення - це лише система міркувань. Одне конкретне обчислення (ну, насправді, два тісно пов’язані між собою обчислення: диференціальне числення та інтегральне числення) набуло настільки широкого поширення, що його просто називають "числення", наче воно було єдиним. Але, як ви зауважили, існують і інші розрахунки, такі як обчислення лямбда, mu calculus, pi calculus, пропозиційне числення, предикатне числення, послідовне числення та обчислення професора.

— Девід Річербі
джерело

7

Підрахунок стосується систематичних методів лікування проблем спеціальною системою алгебраїчних позначень, як правило, методом обчислення.

— Янніс Нталлас
джерело

Чи всі алгебри числення? Чи всі алгебри числення? Якщо ні, то в чому полягає відмінність, або як один спеціалізований проти іншого?

— кодовий знімок