НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ВИД

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

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

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

А. Г. Драгалин.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru