Чёрча-абстракция

ЧЁРЧА -АБСТРАКЦИЯ-способ введения функций в языках математич. логики, в особенности в комбинаторной логике. А именно, если в нек-ром точном языке определен терм А. выражающий объект теории и зависящий от параметров x1, ... , х п (и, может быть, также от других параметров), то служит в языке обозначением функции, перерабатывающей значения аргументов х 1, ... , х п в объект, выражаемый термом A. Выражение (*) и наз. Ч. -а. Эта Ч. -а., наз. также явным определением функций, употребляется чаще всего в случае, когда в языке теории возникает опасность смешения функции как объекта исследования со значениями функции для нек-рых значений аргумента. Введена А. Чёрчем [1]. Лит.:[1] Chureh A., The calculi of lambda-conversion, Princeton, 1941; [2] Карри Х. Б., Основания математической логики, пер. с англ., М., 1969. А. Г. Драгалин.