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

11

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

terminology lambda-calculus

— сельдь
источник

5

Это не имеет ничего общего с исчислением или анализом, здесь подразумевается исчисление в том смысле, что у вас есть определенные правила, которым вы манипулируете символами. По-немецки это называется «лямбда-калкюль», где слово «калкюль» относится к таким системам правил манипуляций, а исчисление просто называется «анализ», поэтому в именовании нет такого вмешательства.

— StefanH

5

Мой словарь говорит: «Исчисление: определенный метод или система расчета или рассуждения».

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

17

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

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

7

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

— Яннис Нталлас
источник

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

— кодовый снимок