ВИД это:

ВИД

в логике - интуиционистский аналог понятия множества, точно сформулированное условие, выделяющее часть объектов из уже определенной совокупности объектов исследования. Существенно, что условие, задающее В., понимается при этом интуиционистски, так что, напр., двойное отрицание условия не обязательно эквивалентно самому этому условию. Над В. естественным образом определяются операции, аналогичные нек-рым операциям над множествами, такие, как объединение, пересечение и другие, однако в силу интуиционистской специфики понимания (см. Интуиционизм).свойства этих интуиционистских операций отнюдь не всегда совпадают со свойствами соответствующих классик, операций. Напр., в интуиционистской теории В. неверно, что для всякого В. дополнение к его дополнению совпадает с самим В.

При построении теории В. обычные парадоксы избегаются с помощью требования, чтобы члены В. были определены независимо от определения самого В. Такие интуиционистские теории, как интуиционистская арифметика, интуиционистский математич. анализ, могут быть построены вообще без употребления понятия "В.", но в более абстрактных областях интуиционистской математики (теория доказательств, семантика, интуиционистский функциональный анализ) разработка теории В. является актуальной задачей.

Лит.:[1] Рейтинг А., Интуиционизм, пер. с англ., М., J9G5. А. Г. Драгалин.


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

Синонимы:

Антонимы:

Смотреть что такое "ВИД" в других словарях:

  • вид — вид/ …   Морфемно-орфографический словарь

  • вид — [облик] сущ., м., употр. наиб. часто Морфология: (нет) чего? вида и виду, чему? виду, (вижу) что? вид, чем? видом, о чём? о виде и на виду; мн. что? виды, (нет) чего? видов, чему? видам, (вижу) что? виды, чем? видами, о чём? о видах   вн …   Толковый словарь Дмитриева

  • вид — 1. ВИД, а ( у), предлож. о виде, в виде, в виду, на виду; м. 1. только ед. Внешний облик кого л.; внешность, наружность (обычно как проявление состояния здоровья, характера, настроения и т.п.). Больной, здоровый, цветущий вид у кого л. Требования …   Энциклопедический словарь

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

  • ВИД — ВИД1, вида, муж. 1. только ед. Внешность, наружность. Дом имеет опрятный вид. Местность имела унылый вид. || Внешние очертания, формы. Шарообразный вид. || перен. Внешнее подобие. Придать упреку вид шутки. || Внешний облик как выражение… …   Толковый словарь Ушакова

  • ВИД — ВИД1, вида, муж. 1. только ед. Внешность, наружность. Дом имеет опрятный вид. Местность имела унылый вид. || Внешние очертания, формы. Шарообразный вид. || перен. Внешнее подобие. Придать упреку вид шутки. || Внешний облик как выражение… …   Толковый словарь Ушакова

  • ВИД — ВИД, species, одно из основных понятий естественно научной классификации. Из вполне естественной потребности разобраться во всей массе предметов окружающей природы все народы создали особые названия для различных животных, растений и минералов.… …   Большая медицинская энциклопедия

  • Вид — глагольный (в международной терминологии  аспект)  грамматическая категория глагола, обобщённо указывающая, «как протекает во времени или как распределяется во времени» (А. М. Пешковский) обозначенное глаголом действие. В отличие от категории… …   Лингвистический энциклопедический словарь

  • вид — ВИД, а ( у), о виде, в виде, в виду, на виду, муж. 1. (пред. о виде, в виде). Внешность, видимый облик; состояние. Внешний в. человека. Здоровый в. С видом знатока. На в. или с виду ему мало лет. В исправленном виде. 2. (пред. о виде, в виде).… …   Толковый словарь Ожегова

  • ВИД — биологический, основная структурная единица в системе живых организмов; группа фактически или потенциально скрещивающихся популяций, репродуктивно изолированных от других подобных совокупностей видов и имеющих общий защищенный генофонд. В… …   Экологический словарь

  • ВИД — «Вспомогательные исторические дисциплины» библ., издание, образование и наука ВИД Варшавский издательский дом Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с. ВИД «„Взгляд“ и другие» в названии …   Словарь сокращений и аббревиатур

Книги

Другие книги по запросу «ВИД» >>


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

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