ЧЁРЧА-АБСТРАКЦИЯ

ЧЁРЧА-АБСТРАКЦИЯ

ЧЁРЧА -АБСТРАКЦИЯ-способ введения функций в языках математич. логики, в особенности в комбинаторной логике. А именно, если в нек-ром точном языке определен терм А. выражающий объект теории и зависящий от параметров x1, ... , х п (и, может быть, также от других параметров), то

служит в языке обозначением функции, перерабатывающей значения аргументов х 1, ... , х п в объект, выражаемый термом A. Выражение (*) и наз. Ч. -а. Эта Ч. -а., наз. также явным определением функций, употребляется чаще всего в случае, когда в языке теории возникает опасность смешения функции как объекта исследования со значениями функции для нек-рых значений аргумента. Введена А. Чёрчем [1].

Лит.:[1] Chureh A., The calculi of lambda-conversion, Princeton, 1941; [2] Карри Х. Б., Основания математической логики, пер. с англ., М., 1969.
А. Г. Драгалин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "ЧЁРЧА-АБСТРАКЦИЯ" в других словарях:

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ —         в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… …   Философская энциклопедия

  • КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения …   Математическая энциклопедия

  • Метаматематика —         теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …   Большая советская энциклопедия

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • Интуиционизм — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… …   Википедия

  • Интуиционистская логика — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»