ВИД

ВИД

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

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

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


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

Игры ⚽ Поможем написать курсовую
Синонимы:

Антонимы:

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

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

  • видѣниѥ — ВИДѢНИ|Ѥ (474), А с. 1.Восприятие зрением, видение; обозрение, осмотр; созерцание: игранiѥ и плѩсаниѥ и гудениѥ. входѩщемъ въстати всемъ. да не осквьрнѩть имъ чювьсва. видѣниѥмь и слышаниѥмь. по оч҃кому повелѣнию. КН 1280, 513в; множицею на… …   Словарь древнерусского языка (XI-XIV вв.)

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

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

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

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

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

  • видѣти — Видеть видѣти (3) 1. Воспринимать зрением: Тогда Игорь възрѣ на свѣтлое солнце и видѣ отъ него тьмою вся своя воя прикрыты... 5. Егда приде Иисусъ, глаголааху же ему друзии ученици: „Видѣхомъ господа“. Онъ же рече имъ: „Аще не вижду на руку его… …   Словарь-справочник "Слово о полку Игореве"

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

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

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


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

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