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