Комбинаторная логика
Комбина́торная ло́гика, раздел математической логики, изучающий т. н. комбинáторы и их свойства. В качестве основных понятий в комбинаторной логике выбираются функция и операция применения функции к аргументу (аппликация), причём в качестве аргументов могут выступать сами функции. Комбинаторами называют элементы класса функций, замкнутого относительно аппликации. Понятие «комбинаторно определимая функция», сформулированное в терминах комбинаторной логики, явилось одним из первых шагов на пути уточнения понятия алгоритма. Начало комбинаторной логике положено работой российского математика М. И. Шейнфинкеля (1924), основная часть дальнейших результатов принадлежит американскому логику Х. Карри. Комбинаторная логика находит применение в теории языков программирования.
Литература
- Schönfinkel М. Über die Bausteine der mathematischen Logik // Mathematische Annalen. – 1924. – Vol. 92, № 3/4. – S. 305–316.
- Curry H. B. Combinatory logic / H. B. Curry, R. Feys. – Amsterdam : North-Holland, 1958–1972. – 2 vol. – (Studies in logic and the foundations of mathematics).
- Curry H. B. Recent advances in combinatory logic // Bulletin de la Société mathématique de Belgique. – 1968. – Vol. 20. – № 3.