Вид

В логике — интуиционистский аналог понятия множества, точно сформулированное условие, выделяющее часть объектов из уже определенной совокупности объектов исследования. Существенно, что условие, задающее В., понимается при этом интуиционистски, так что, напр., двойное отрицание условия не обязательно эквивалентно самому этому условию. Над В. естественным образом определяются операции, аналогичные нек-рым операциям над множествами, такие, как объединение, пересечение и другие, однако в силу интуиционистской специфики понимания (см. Интуиционизм).свойства этих интуиционистских операций отнюдь не всегда совпадают со свойствами соответствующих классик, операций. Напр., в интуиционистской теории В. неверно, что для всякого В. дополнение к его дополнению совпадает с самим В. При построении теории В. обычные парадоксы избегаются с помощью требования, чтобы члены В. были определены независимо от определения самого В. Такие интуиционистские теории, как интуиционистская арифметика, интуиционистский математич. анализ, могут быть построены вообще без употребления понятия "В.", но в более абстрактных областях интуиционистской математики (теория доказательств, семантика, интуиционистский функциональный анализ) разработка теории В. является актуальной задачей. Лит.:[1] Рейтинг А., Интуиционизм, пер. с англ., М., J9G5. А. Г. Драгалин.

Источник: Математическая энциклопедия на Gufo.me


Значения в других словарях

  1. вид — Основная таксономическая единица, совокупность особей одного генотипа, обладающих хорошо выраженным фенотипическим сходством. Строгое общепринятое определение В. до сих пор не разработано. Микробиология. Словарь терминов
  2. Вид — ВИД Густав (Gustav Wied, 1858—1914) — датский писатель. Происходя из бедной семьи, В. прожил полную лишений и нужды юность, был приказчиком книжной лавки, писцом у адвоката и только 28 лет сдал экзамен на домашнего учителя. Литературная энциклопедия
  3. вид — 1) -а (-у), предл. о виде, в виде, в виду, на виду, м. 1. Внешний облик кого-, чего-л., внешность, наружность. — [Ваня] худенький, кашляет… погляди: тринадцать лет ему, а вид у него, точно у десятилетнего. Чехов, Случай с классиком. Малый академический словарь
  4. ВИД — (Wied), Вильгельм (26.III.1876-18.IV.1945) — нем. князь, правитель Албании в 1914. Правителем освободившейся от тур. гнета Албании был назначен решением Лондонской конференции послов 1913 по настоянию Австро-Венгрии. 7 марта 1914 в сопровождении европ. Советская историческая энциклопедия
  5. Вид — I (Wied) Мартина (псевдоним; настоящие фамилия и имя — Шнабль Александрина Мартина Аугуста, по мужу Вейзель) (10.12.1882, Вена, — 25.1.1957, там же), австрийская писательница. Философское и историческое образование получила в Венском университете. Большая советская энциклопедия
  6. вид — орф. вид, -а и -у, предл. на виду Орфографический словарь Лопатина
  7. вид — ВИД (лат. species), осн. структурная и классификационная (таксономич.) единица в системе живых организмов; группа особей, обладающих сходными морфофизиологич. Ветеринарный энциклопедический словарь
  8. вид — В виду — перен. на примете, в ожидании, в будущем (не смешивать с предлогом ввиду!). ► У меня нет ничего в виду. В виде каком (быть, застать и т. п.) — каким-н., в каком- н.- состоянии. ► Книги в хорошем виде. Явиться в пьяном виде. Фразеологический словарь Волковой
  9. вид — ВИД - вид соревнований. Вид соревновательной деятельности в рамках отдельного вида спорта, в котором разыгрываются медали. Напр., соревнования на отдельных дистанциях в легкой атлетике, плавании, в отдельных классах яхт в парусном спорте... Словарь спортивных терминов
  10. Вид — (биологический вид) Базовая единица биологического различия; таксономическая категория рангом ниже рода и выше подвида (расы). Биологические виды характеризуются репродуктивной изолированностью. Физическая антропология
  11. вид — Предмет или вещь, которые можно продать или заложить Словарь воровского жаргона
  12. Вид — ВИД у глаголов и глагольных слов. Форма, обозначающая различия во времени глагольного признака. Такими различиями могут быть, напр., длительность и недлительность, кратность или повторяемость и некратность, законченность и незаконченность и др. Словарь литературных терминов
  13. вид — ВИД (species) , совокупность особей, связанных единым происхождением, обладающих только им присущими морфол., физиол. и генетич. признаками, населяющих определ. ареал и образующих географически или экологически взаимозамещающие (викарирующие) популяции. Сельскохозяйственный словарь
  14. вид — ВИД — совокупность особей, образующих географически или экологически викарирующие популяции, обладающих общими морфофизиологическими признаками, способных в природных условиях к скрещиванию друг с другом я в совокупности занимающих общий сплошной или частично разорванный ареал. Ботаника. Словарь терминов
  15. вид — Видимость, внешность, наружность, поверхность, лицо, личина, лик, облик, обличие, образ, очертание, тип, подобие, фасон, фигура (конфигурация), форма, характер, покрой; картина, пейзаж, ландшафт, перспектива; выражение, оттенок; лоск... Словарь синонимов Абрамова
  16. вид — Вид/. Морфемно-орфографический словарь
  17. вид — [облик] сущ., м., употр. наиб. часто (нет) чего? вида и виду, чему? виду, (вижу) что? вид, чем? видом, о чём? о виде и на виду; мн. что? виды, (нет) чего? видов, чему? видам, (вижу) что? виды, чем? видами, о чём?... Толковый словарь Дмитриева
  18. вид — Общеслав. индоевроп. характера. Буквально — «то, что видно». Ср. лит véidas «вид, лицо», греч. eidos «вид, фигура» и т. д. Этимологический словарь Шанского
  19. вид — (species), основная структурная единица в системе живых организмов, качественный этап их эволюции. Вследствие этого В.— осн. таксономич. категория в биол. систематике. Строгое общепринятое определение В. до сих пор не разработано, обычно под... Биологический энциклопедический словарь
  20. вид — Основная структурная и классификационная (таксономическая) единица в системе живых организмов; совокупность популяций особей, сходных по морфофизиологическим, биохимическим и поведенческим признакам, имеющих общее происхождение... Биология. Современная энциклопедия
  21. Вид — (species) в систематике — совокупность популяций особей, способных к скрещиванию с образованием плодовитого потомства, населяющих определенный ареал... Медицинская энциклопедия
  22. ВИД — ВИД, подраздел КЛАССИФИКАЦИИ живых организмов. Видами являются группы физически и генетически похожих особей, которые могут скрещиваться между собой и производить потомство в естественных условиях. Научно-технический словарь
  23. вид — ВИД 1. ВИД, -а (-у), предлож. о виде, в виде, в виду, на виду; м. 1. только ед. Внешний облик кого-л.; внешность, наружность (обычно как проявление состояния здоровья, характера, настроения и т.п.). Больной, здоровый, цветущий вид у кого-л. Толковый словарь Кузнецова
  24. вид — См. видеть Толковый словарь Даля
  25. вид — 1. ВИД1, а (у), о виде, в виде, в виду, на виду, м. 1. (предл. о виде, в виде). Внешность, видимый облик; состояние. Внешний в. человека. Здоровый в. С видом знатока. На в. или с виду ему мало лет. В исправленном виде. 2. (предл. о виде, в виде). Толковый словарь Ожегова
  26. вид — ВИД, вида, ·муж. 1. только ед. Внешность, наружность. Дом имеет опрятный вид. Местность имела унылый вид. | Внешние очертания, формы. Шарообразный вид. | перен. Внешнее подобие. Придать упреку вид шутки. Толковый словарь Ушакова
  27. вид — вид I м. 1. Внешний облик; внешность, наружность. || Внешний облик, производящий благоприятное впечатление. 2. То, что оказывается перед глазами, в поле зрения. || Открывающаяся взгляду картина окружающей природы, местности. Толковый словарь Ефремовой
  28. ВИД — ВИД — в биологии — основная структурная и классификационная (таксономическая) единица в системе живых организмов; совокупность популяций особей, способных к скрещиванию с образованием плодовитого потомства... Большой энциклопедический словарь
  29. вид — Род. п. ви́да, укр. вид, др.-русск., ст.-слав. видъ εἶδος, θεωρία (Cynp.), сербохорв. ви̑д, род. п. ви̑да "лицо, облик, вид", словен. vȋd, чеш. vid, слвц. vid. Родственно лит. véidas "лицо", лтш. veĩds "форма, вид", др.-инд. Этимологический словарь Макса Фасмера