Непейвода — имя собственное; распространено в виде фамилий.
Ната́лья Серге́евна Гурзо́ — советская и российская актриса театра и кино, мастер дубляжа. Заслуженная артистка Российской Федерации (1994).
Логици́зм, или логи́стика, или логистицизм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Интуициони́стская ло́гика — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930 году.
Лёйтзен Э́гберт Ян Бра́уэр — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Никола́й Никола́евич Непейвода́ — советский и российский математик, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН. Автор более 150 печатных трудов.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
«Список генералам по старшинству» — официальное периодическое издание Военного министерства Российской империи, заключающее в себя списки генералов по чинам и старшинству присвоения званий. Издание имело разную периодичность.
«Расследование» — советский художественный фильм, детектив.
Международный патриотический интернет-проект «Герои страны» — некоммерческий веб-сайт, созданный группой активистов и энтузиастов в марте 2000 года. На сайте публикуются биографии Героев Советского Союза и Героев Российской Федерации, Героев Социалистического Труда и Героев Труда Российской Федерации, полных кавалеров ордена Славы и ордена Трудовой Славы.
Событи́йно-ориенти́рованное программи́рование — парадигма программирования, в которой выполнение программы определяется событиями — действиями пользователя, сообщениями других программ и потоков, событиями операционной системы.
Влади́мир — мужское имя, а также топоним.
Дворянская родословная книга — документ, оформляющий привилегии дворянской части населения каждой губернии Российской империи. Составлять и вести такую книгу, в которую были вписаны все дворянские роды данной губернии, было предписано в «Жалованной Грамоте», данной Екатериной II Российскому дворянству 21 апреля 1785 года.
Пер Мартин-Лёф — шведский логик, статистик и философ. Член Шведской королевской академии наук.
Виноград — многозначное слово:
Еди́нственность — логическое суждение о необходимом тождестве объектов, удовлетворяющих заданному условию. При выполнении единственности объект, удовлетворяющий заданному условию, называется единственным. Как таковая, единственность не влечёт существование.
Альберт Григорьевич Драгалин — советский математик, логик-конструктивист, внёсший весомый вклад в интеграцию советской школы конструктивной математики в общемировую систему математико-логического знания. В 1970-х — начале 1980-х годов — доцент МГУ, в 1990-х — профессор Дебреценского университета. Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.
Кинодоктор — российская компания, расположенная в Москве. Занимается предоставлением в аренду гримёрно-костюмерных автокомплексов, оказывает комплекс услуг для кинопроизводства и event-индустрии, помогает в реализации BTL-акций и outdoor рекламных кампаний.
Александровка — посёлок в Благовещенском районе Алтайского края. Входит в состав Алексеевского сельсовета.
Евгений Иванович Непейвода — российский регбист, играювший на позиции крайнего трехчетвертного (вингера).
XXVII Чемпионат России по регби проходит с 13 июня 2020 года по 2021 год.