Почему лямбда-исчисление является «исчислением»?

11

Единственное определение «исчисления», которое я знаю, - это изучение пределов, производных, интегралов и т. Д. В анализе. В каком смысле лямбда-исчисление (или такие вещи, как mu calculus) является «исчислением»? Как это связано с исчислением в анализе?

terminology lambda-calculus сельдь
источник
5
Это не имеет ничего общего с исчислением или анализом, здесь подразумевается исчисление в том смысле, что у вас есть определенные правила, которым вы манипулируете символами. По-немецки это называется «лямбда-калкюль», где слово «калкюль» относится к таким системам правил манипуляций, а исчисление просто называется «анализ», поэтому в именовании нет такого вмешательства.
StefanH
5
Мой словарь говорит: «Исчисление: определенный метод или система расчета или рассуждения».
Сашо Николов

Ответы:

17

Исчисление - это просто система рассуждений. Одно конкретное исчисление (ну, фактически два тесно связанных исчисления: дифференциальное исчисление и интегральное исчисление) стало настолько широко распространенным, что его просто называют «исчислением», как если бы оно было единственным. Но, как вы заметили, существуют и другие исчисления, такие как лямбда-исчисление, мю-исчисление, пи-исчисление, исчисление высказываний, исчисление предикатов, секвенциальное исчисление и исчисление профессора.

Дэвид Ричерби
источник
7

Исчисление относится к систематическим методам лечения проблем с помощью специальной системы алгебраических обозначений, как правило, метод расчета.

Яннис Нталлас
источник
Все ли алгебры исчисляются? Являются ли все исчисления алгебрами? Если нет, то в чем различие или как один специализируется против другого?
кодовый снимок