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