hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Водоёмы Грузии
На территории Грузии находятся следующие озёра:

Аджария
Тбикели
Мцване тба

Имеретия
Шаорское озеро
Ткибульское водохранилище

Квемо-Картли
Джандаргёль — по озеру проходит граница с Азербайджаном
Кумиси
Алгетское водохранилище
Цалкинское водохранилище
Баретис тба
Группа небольших озёр к югу от города Цалка — Карагёль, Тамбухгёль, Кайнегёль и другие.

Мцхета-Мтианети
Сионское водохранилище
Жинвальское водохранилище
Базалети — высокогорное озеро
Арчвебистба (треугольное озеро) — озеро на Кельском вулканическом плато

Самегрело — Земо Сванети
Диди тоба варчхи
Джварское водохранилище
Палеостоми
Папанцквили
Тобаварчхили
Партоцкари
Чипста-варчхи
Цвирмское озеро

Самцхе-Джавахетия
Паравани
Табацкури
Ханчали
Мадатапа
Зереси
Сагамо
Хозапини — по озеру проходит граница с Турцией

Тбилиси
Тбилисское море
Лиси (озеро) — озеро, проданное с аукциона в 2007 году
Глдани (озеро)
Кус тба (Черепашье озеро) — ведёт канатная дорога от Парка Победы.

Хозапини
Хозапи́ни (Карцахи, груз. ხოზაფინის ტბა), или Акта́ш (тур. Aktaş Gölü), — пограничное озеро тектонического происхождения на Джавахетском нагорье Малого Кавказа. Грузино-турецкая граница пересекает озеро с северо-запада на юго-восток, деля его примерно на две равные части: северо-восточную грузинскую, которая занимает 53 % водного зеркала и юго-западную турецкую.
Гамштедт
Гамштедт (нем. Gamstädt) — община в Германии, в земле Тюрингия.

Входит в состав района Гота. Подчиняется управлению Нессе-Апфельштедт-Гемайнден.  Население составляет 728 человек (на 31 декабря 2008 года). Занимает площадь 11,30 км².

Гота (район)
Гота (нем. Gotha) — район в Германии. Центр района — город Гота. Район входит в землю Тюрингия. Занимает площадь 935,59 км². Население — 138 857 человек (на 31.12.2009). Плотность населения — 148,42 чел./км².
Официальный код района — 16 0 67.

Район подразделяется на 57 общин.
Иштлильшочитль II
Иштлильшочитль II (кл. науатль Ixtlilxóchitl — «Черноглазый цветок»; в крещении — дон Эрнандо Кортес Иштлильшочитль; 1495/1496 — 1531/1533). Тлатоани государства акольуа с центром в городе Тескоко в 1521 — до 1524 и 1525—1531/1533 годах. Сын тлатоани Тескоко Несауальпилли. Один из активнейших сторонников и участников испанского завоевания империи ацтеков, отличившийся при осаде Теночтитлана летом 1521 года. Крестник дона
Эрнандо Кортеса, имя которого принял при крещении.

Тескоко (альтепетль)
Тескоко (Тецкоко, аст. Tetzco(h)co, tetsˈkoʔko) — крупный город-государство (альтепетль) в центральной Мексике в поздний постклассический период мезоамериканской хронологии. Находился на восточном берегу озера Тескоко в долине Мехико к северо-востоку от столицы ацтеков Теночтитлана. В настоящее время часть территории бывшего города Тешкоко поглотил современный муниципалитет Тешкоко, главным городом которого является Тескоко-де-Мора, а другую часть — большой Мехико.

Доколумбов город Тескоко был одним из трёх основателей Ацтекского тройственного союза, более известного как Ацтекская империя. Ко времени испанского завоевания ацтеков он был одним из крупнейших и влиятельнейших городов центральной Мексики, по влиянию лишь второй после столицы ацтеков Теночтитлана. Население Тешкоко в доколумбов период составляло, по оценкам, 24 тыс. человек, а площадь — 450 гектаров.
Правовая коммуникация
Правовая коммуникация — проходящий в правовой сфере общественной жизни процесс передачи правовой информации от правотворческого органа к правоприменителю. Это процедура правового общения, включающая в себя стадии обмена информацией, организации взаимодействия и процесса восприятия, оценки, взаимопонимания.

Главным способом коммуникации в процессе законотворчества является язык закона.

Правотворчество
Правотво́рчество — это действия уполномоченных органов по подготовке, принятию, изменению (совершенствованию) и отмене нормативных правовых актов; завершающая часть процесса правообразования.

Субъектами правотворчества могут выступать как государственные, так и негосударственные органы в виде профсоюзов, органов местного самоуправления, общественных организаций и граждан (в случае принятия закона на референдуме) при наличии соответствующих полномочий.
Чемпионат Новой Зеландии по кёрлингу среди мужчин 2009
Чемпионат Новой Зеландии по кёрлингу среди мужчин 2009 проводился со 2 по 5 июля 2009 в городе Данидин на арене «Dunedin Ice Stadium».

В чемпионате принимало участие 8 команд.

Победителями чемпионата стала команда скипа Шона Бекера (Шон Бекер стал чемпионом среди мужчин в 6-й раз как скип и в 9-й раз как игрок), победившая в финале команду скипа Дена Мустепика. Бронзовые медали завоевала команда скипа Питера Бекера.

Одновременно и там же проходил Чемпионат Новой Зеландии по кёрлингу среди женщин 2009.

Мустепик, Ден
Дэ́ниел Мэ́ттью «Ден» Му́степик (англ. Daniel Matthew «Dan» Mustapic; род. 23 августа 1960, Тандер-Бей, Онтарио) — новозеландский кёрлингист, в составе мужской сборной Новой Зеландии участник Зимних Олимпийских игр 2006.
Черусти
Че́русти — посёлок городского типа в Московской области России. Входит в состав городского округа Шатура (до 2017 года — Шатурского района).

Население — 3523 человек (2024).

Посёлок расположен в Мещёре, в 156 км к востоку от Москвы и 29 км от районного центра — Шатуры, на границе с Владимирской областью. Железнодорожная станция «южного» направления Транссибирской магистрали.

День посёлка — первые выходные августа.

Шатурский район
Шату́рский райо́н — административно-территориальная единица (район) и одноимённое муниципальное образование (муниципальный район), существовавшие до марта 2017 года в восточной части Московской области России.

Административный центр — город Шатура.

Шатурский район был образован 12 июля 1929 года. В 1933—1956 и 1962—1965 годах район был упразднён, но впоследствии восстановлен 11 января 1965 года.

10 марта 2017 года законом № 20/2017-ОЗ муниципальное образование Шатурский муниципальный район был преобразован в муниципальное образование городской округ Шатура с упразднением всех ранее входивших в него поселений. С 11 мая 2020 года в состав городского округа Шатуры включён город Рошаль с упразднением его городского округа.

25 июня 2017 года административно-территориальная единица Шатурский район был преобразован в город областного подчинения Шатура с административной территорией., с 26 июня 2020 года в состав города областного подчинения Шатуры включается город Рошаль.
Добин, Мотя
Мо́тя До́бин (1880, Проскуров, Подольская губерния, Российская империя, ныне Хмельницкий, Украина — 1942, Треблинка, нацистская Германия, ныне Польша) — российский и французский публицист и общественный деятель. Брат Шимона Добина, дядя Ефима Добина.

Добин, Шимон
Ши́мон (Шимойни) До́бин (1869, местечко Бобр, Сенненский уезд, Могилевская губерния, Российская империя, ныне Белоруссия — 1944, Верхний Уфалей Челябинской обл.) — еврейский публицист, педагог, общественный деятель. Писал на идише.
Альварес-и-Кортес, Мигель
Мигель Альварес-и-Кортес (исп. Miguel Álvarez y Cortés; 17 октября 1734 года, Мотриль, Испания — 1 февраля 1801 года, Кито) — католический прелат, епископ Картахены с 3 декабря 1792 года по 22 сентября 1795 года, двадцать второй епископ Кито с 22 сентября 1795 года по 1 февраля 1801 года.

Архиепархия Кито
Архиепархия Кито (лат. Archidioecesis Quitensis) — архиепархия Римско-Католической церкви с центром в городе Кито, столице Эквадора. В митрополию Кито входят епархии Амбато, Гуаранды, Ибарры, Латакунги, Риобамбы, Тулькана. Кафедральным собором архиепархии Кито является Кафедральный собор Кито.
Лёгкий способ бросить любить
«Лёгкий способ бросить любить» — второй студийный альбом российского видеоблогера и рэп-исполнителя Джарахова в жанре поп. Был выпущен 17 марта 2022 года на независимом лейбле через цифрового дистрибьютора Believe Digital. Ранее его выпуск планировался 25 февраля 2022 года, однако был отменён за день до релиза в связи с начавшимся вторжением России на Украину 24 февраля.

Джарахов, Эльдар Казанфарович
Эльда́р Казанфа́рович Джара́хов (род. 12 июля 1994, Сторожевские Хутора, Усманский район, Липецкая область, Россия) — российский артист, музыкант, автор подкаста «Подкаст № 1». Один из основателей рэп-дуэта «Успешная группа» и объединения «КликКлак».

В 2017 году клип Джарахова «Блокеры» занял третье место по числу просмотров на YouTube среди всех музыкальных видео в России. В 2021 году трек «Я в моменте» стал одним из самых популярных треков в российских стриминговых сервисах.
Реал Сосьедад
«Реа́л Сосьеда́д» (баск. Reala Sociedad, исп. Real Sociedad de Fútbol (произношение: [reˈal soθjeˈðað]) — «Королевское футбольное общество») — испанский профессиональный футбольный клуб из Сан-Себастьяна (Страна Басков), выступающий в Ла Лиге, один из основателей этой лиги в 1928 году. Домашние матчи проводит на стадионе «Аноэта». Двукратный чемпион Испании (1980/81 и 1981/82), трёхкратный обладатель Кубка Испании (1909, 1986/87 и 2019/20).

Кубок Испании по футболу 1909
Кубок Испании 1909 — 7-й розыгрыш Кубка Испании по футболу, проводимый Королевской федерацией футбола Испании. Турнир прошел 4-8 апреля 1909 года, победителем стал клуб Циклиста (впоследствии «Реал Сосьедад»)
Бой за Тинзауатен (2024)
Бой за Тинзауатен — боевые действия на севере Мали в районе алжиро-малийской границы, прошедшие в июле 2024 года. В ходе боёв силы малийских правительственных войск и российские бойцы ЧВК «Вагнер» попали в засаду, устроенную туарегскими сепаратистами и джихадистской группировкой Джамаат Нусрат аль-Ислам валь-Муслимин, позиционирующей себя «филиалом» «Аль-Каиды» в Мали.

В результате были убиты десятки бойцов армии Мали и наёмников «Вагнера». Формирования вагнеровцев не несли потерь такого масштаба за рамками войны с Украиной с 2018 года, когда под удар американской авиации в Сирии попали в ходе боя под Хашамом. Среди погибших был Никита Федянин — автор связанного с «Вагнером» телеграм-канала Grey Zone, который имел почти 550 тысяч подписчиков.

Вскоре после данного события Мали и Нигер разорвали свои дипломатические отношения с Украиной, обвинив её в поддержке повстанцев и причастности к бою за Тинзаутен.

Главное управление разведки Министерства обороны Украины
Главное управление разведки Министерства обороны Украины (ГУР МОУ) (укр. Головне управління розвідки Міністерства оборони України) — орган военной разведки Министерства обороны Украины, осуществляющий разведывательные функции в военной, военно-политической, военно-технической, военно-экономической, информационной и экологической сферах.
Let It Burn
«Let It Burn» — песня американской соул-певицы Джазмин Салливан, вышедшая 17 марта 2015 года с третьего студийного альбома Reality Show. Авторами песни выступили Jazmine Sullivan, Dwane Weir II, Kenny B. Edmonds.
Песня получила положительные отзывы и была номинирована на две премии «Грэмми-2016» в категориях Лучшая R&B-песня и Лучшее исполнение традиционной R&B-песни
.
Песня достигла позиции № 4 в чарте Billboard Adult R&B Songs в 2015 году.

58-я церемония «Грэмми»
58-я ежегодная церемония вручения наград «Грэмми» состоялась 15 февраля 2016 года. На награды могли быть номинированы произведения и исполнители, чьи песни или альбомы вышли с 1 октября 2014 года по 30 сентября 2015 года. Номинанты были объявлены 7 декабря 2015 года.
Американский рэпер Кендрик Ламар получил 11 номинаций, а певица Тейлор Свифт и канадский певец The Weeknd были удостоены по 7 номинаций каждый. Рок-группы Florence and the Machine и Alabama Shakes получили по четыре номинации.

На премию «Грэмми» в категории «Лучший альбом в жанре world music» был номинирован альбом I Have No Everything Here, записанный заключёнными тюрьмы «Зомба» в Малави (группы Zomba Prison Project). Российский пианист Даниил Трифонов номинирован за исполнение «Вариаций» Рахманинова в категории «Лучшее инструментальное соло в классической музыке».
Позен-Западная Пруссия
По́зен-За́падная Пру́ссия (нем. Grenzmark Posen-Westpreußen) — провинция Пруссии в составе Германии. Существовала в 1922—1938 годах. Столица — город Шнайдемюль. Создана в 1922 году на остатках провинций Позен и Западная Пруссия после передачи их основной территории в состав Польши, согласно условиям Версальского договора. В 1938 году провинция была упразднена, а её территория поделена между соседними провинциями. Сегодня эта территория целиком расположена в Польше.

Свободное государство Пруссия
Свободное государство Пру́ссия (нем. Freistaat Preußen; с 1933 года — Земля Пруссия, нем. Land Preussen) — земля Германии, существовавшая в веймарский и нацистский периоды. Крупнейший регион страны в межвоенный период, включавший в свой состав 5/8 территории и населения. Термин «свободное государство» в данном случае является синонимом и заменой романоязычного слова «республика», которое после Первой мировой войны вызывало негативные ассоциации с Францией.
Волна (стадион)
Волна (среди носителей английского языка за пределами Северной Америки известная также как «Мексиканская волна» и «Ла-Ола») — пример метахронального ритма (последовательные действия вместо синхронных), достигаемого в переполненном стадионе, когда сидящие друг за другом группы зрителей поочерёдно встают, кричат и поднимают руки. Сразу же после этого зрители садятся на свои места.

В результате толпа встающих и садящихся зрителей создаёт зрительный эффект волны, при этом некоторые зрители никогда не встают со своих мест. На многих крупных аренах зрители сидят в непрерывном кольце вокруг спортивного поля, и поэтому волна может постоянно «путешествовать» по трибунам; при несмежной рассадке волна может отражаться через толпу в разные стороны. Обычно в отдельный момент на трибунах присутствует только один гребень волны. Однако, иногда возникают и две волны, движущиеся в противоположных направлениях.

Стадион
Стадио́н — один из видов сооружений для спортивных целей. Обычно включает большое поле с беговыми дорожками вокруг и места для зрителей, расположенные ступенчато вокруг поля (амфитеатр).
Также часто содержит дополнительные площадки и вспомогательные помещения для тренировки и переодевания команд. Стадионы используются не только для различных видов спорта на открытом воздухе (например, лёгкой атлетики и футбола), но также для концертов и других мероприятий.
Venus and Mars
Venus and Mars (с англ. — «Венера и Марс») — четвёртый студийный альбом группы Wings, вышедший в 1975 году. Диск был выпущен после необычайного успеха Band on the Run и также стал очень популярным. Первый альбом Пола Маккартни с лейблом Capitol Records.

Wings
Wings — рок-группа Пола Маккартни, основанная после распада The Beatles в 1971 году и просуществовавшая до 1981 года. Несмотря на частые изменения в составе (постоянными участниками были лишь Пол Маккартни, Линда Маккартни и Дэнни Лэйн), группа пользовалась в 1970-х годах стабильным успехом. 12 синглов Wings входили в британский Top 10 (один из них, «Mull of Kintyre», 9 недель держался на 1-м месте), 14 синглов — в американскую десятку (из них 6 выходили на 1-е место). Восемь альбомов группы входили в первые десятки хит-парадов США и Британии, причём в США пять альбомов подряд поднимались на вершину.
Лысухино
Лысухино — деревня в Усть-Кубинском районе Вологодской области на реке Томаш.

Входит в состав Заднесельского сельского поселения (с 1 января 2006 года по 9 апреля 2009 года входила в Томашское сельское поселение), с точки зрения административно-территориального деления — в Томашский сельсовет.

Расстояние до районного центра Устья по автодороге — 37 км, до центра муниципального образования Заднего по прямой — 13 км. Ближайшие населённые пункты — Игнатиха, Помазиха, Антропиха, Желудково, Суровчиха, Ивановское.

По данным переписи в 2002 году постоянного населения не было.

Томаш (приток Кихти)
Томаш — река в России, протекает в Усть-Кубинском районе Вологодской области. Устье реки находится в 42 км по левому берегу реки Кихть. Длина реки составляет 20 км.

Исток Томаша находится в заболоченном лесу севернее нежилой деревни Елюниха и в 8 км к северо-востоку от деревни Королиха (центр Томашского сельсовета). Река течёт на юго-запад, в верхнем и нижнем течении не населена, в среднем течении протекает несколько деревень Заднесельского сельского поселения: Ивановское, Лысухино, Желудково, Помазиха, Курьяниха, Королиха, Крюково, Кузьминское. Впадает в Кихть в 9 км к северо-западу от села Заднее.
Учитесь плавать
Учитесь плавать — российское молодёжное движение второй половины 90-х годов, формировавшееся вокруг молодых, агрессивных[неизвестный термин], экстремальных[неизвестный термин] музыкальных коллективов, выступавшее против наркомании, социального конформизма, за здоровый образ жизни и активную жизненную позицию.

Дворец культуры имени Горбунова
Дворе́ц культу́ры и́мени Горбуно́ва (ДК Горбунова, «Горбушка») — здание дома культуры в Москве, названо в честь директора московского авиационного завода № 22 Сергея Горбунова. ДК построен в 1929—1938 годах по проекту архитектора Якова Корнфельда. По состоянию на 2019-й в нём располагается Институт современного искусства и проводятся концерты.
Центр анализа и координации четвертой промышленной революции
Центр анализа и координации четвёртой промышленной революции (C4IR Azerbaijan) — публичное юридическое лицо, созданное при Министерстве экономики Азербайджана в соответствии с Указом Президента Азербайджанской Республики от 6 января 2021 года.

Министерство экономики Азербайджана
Министерство экономики Азербайджана (азерб. Azərbaycan Respublikasınin İqtisadiyyat Nazirliyi) — центральный орган исполнительной власти, осуществляющий формирование экономической политики Азербайджана.
Аллилуева
Аллилу́ева — русская фамилия, женская форма фамилии Аллилуев.

Известные носительницы:

Аллилуева (Реденс), Анна Сергеевна (1896—1964) — сестра второй жены И. В. Сталина Надежды Аллилуевой, жена С. Ф. Реденса.

Аллилуева, Надежда Сергеевна (1901—1932) — вторая жена И. В. Сталина.

Аллилуева, Ольга Евгеньевна (1875—1951) — мать Надежды и Анны Аллилуевых.

Аллилуева, Светлана Иосифовна (1926—2011) — дочь И. В. Сталина.

Аллилуев
Аллилу́ев — русская фамилия, женская форма Аллилуева.

Известные носители:

Аллилуев, Алексей Степанович (1898—1983) — Герой Социалистического Труда.

Аллилуев, Иосиф Григорьевич (1945—2008) — российский кардиолог, сын Светланы Аллилуевой, внук И. В. Сталина, правнук С.Я. Аллилуева.

Аллилуев, Павел Сергеевич (1894—1938) — советский военный деятель, сын С.Я. Аллилуева.

Аллилуев, Сергей: Аллилуев, Сергей Павлович (1928—2017) — доктор физико-математических наук, сын П. С. Аллилуева, племянник Н. С. Аллилуевой.  Аллилуев, Сергей Яковлевич (1866—1945) — русский революционер, тесть И. В. Сталина.

Аллилуев, Фёдор Сергеевич (1898—1955) — секретарь И. В. Сталина, сын С. Я. Аллилуева.
Сфакс–Тина (аэропорт)
Международный аэропорт Сфакс–Тина (фр. Aéroport International de Sfax–Thyna, араб. مطار صفاقس الدولي‎) (ИАТА: SFA, ИКАО: DTTX) — аэропорт, расположенный в 6 км к юго-востоку от тунисского города Сфакс.

Как и в большинстве аэропортов Туниса эксплуатация аэропорта Сфакс–Тина осуществляется Управлением гражданской авиации и аэропортов Туниса.

Сфакс
Сфакс (араб. صفاقس‎) — город в Тунисе, в 270 км к юго-востоку от столицы страны Туниса. Город основан в 849 году на месте римского города Тапарура. Второй по населённости после столицы город в Тунисе. Административный центр вилайета Сфакс, его нередко называют «южной столицей» страны. Порт на побережье Габесского залива Средиземного моря. Численность населения города в 2014 году составляла 330 440 человек. Население метрополитенского ареала Сфакса достигает 955 422 жителей (2018). Важный центр переработки фосфатов.
Дубенец (Брестская область)
Ду́бенец (бел. Дубенец) — деревня в Столинском районе Брестской области Беларуси. Входит в состав Бережновского сельсовета. Расположена в 20 км от Столина, в 265 км от Бреста, в 20 км от железнодорожной станции Видибор. Население — 207 человек (2019).

Столинский район
Сто́линский райо́н (бел. Столінскі раён) — административно-территориальная единица (район) на юго-востоке Брестской области Беларуси. Площадь — 3372,78 км², численность населения — 67 763 человек (на 1 января 2025 года). Административный центр — город Столин.

Является крупнейшим по площади районом страны.
Недодетерминация
Недодетерминация (недоопределённость, принцип недостаточной детерминации) в философии науки — недостаточная определённость и детерминированность теорий имеющимися эмпирическими основаниями.

Принцип недодетерминации появляется в трудах Декарта. Пример Куайна с фразой «гавагай», поясняющий неопределённость перевода, является отражением принципа недодетерминации.

Ситуация недодетерминации проявляется, когда имеющиеся данные не позволяют выбрать какую либо из двух альтернативных и соперничающих теорий. Примеры недодетерминации: противостояние гео- и гелиоцентризма в науке времен Коперника и Галилея, когда ещё не были получены данные определённо подтверждающие одну теорию и опровергающие другую; положение квантовой физики в современной физической картине мира.

Понятие недодетерминации показывает слабость позиции наивного эмпиризма, существование сложных проблем, касающихся связи теории и опыта.

Куайн, Уиллард Ван Орман
Уиллард Ван Орман Куайн (англ. Willard Van Orman Quine; 25 июня 1908, Акрон, штат Огайо — 25 декабря 2000, Бостон, штат Массачусетс) — американский философ, логик и математик, член Национальной академии наук США (1977).
Манитулин
Манитулин (англ. Manitoulin Island) — остров на озере Гурон, самый большой остров мира, расположенный в пресном озере.

Административно остров относится к канадской провинции Онтарио, а в рамках неё — к одноимённому себе округу. Население Манитулина составляет 12,6 тыс. жителей (2007).

Современное название острова происходит от искаженного индейского названия Manidoowaaling, что означает «пещера духа». Проживавшие здесь индейцы племени оттава назвали его в честь подводной пещеры, где, как говорили, жил могущественный дух.

Гурон
Гуро́н (англ. Lake Huron) — озеро в США и Канаде, одно из североамериканских Великих озёр (второе по площади после Верхнего). Расположено восточнее озера Мичиган, соединено с ним проливом Маккинак. Объём воды 3540 км³. С точки зрения гидрографии Мичиган и Гурон образуют единую систему, но географически их принято считать отдельными озёрами.
Нормальный алгоритм
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики на механико-математическом факультете МГУ.

Нормальный алгоритм описывает метод переписывания строк, похожий по способу задания на формальные грамматики. НАМ — полный по Тьюрингу язык, что делает его по выразительной силе эквивалентным машине Тьюринга и, следовательно, современным языкам программирования. На основе НАМ был создан функциональный язык программирования Рефал.

Марков, Андрей Андреевич (младший)
Андре́й Андре́евич Ма́рков (9 [22] сентября 1903, Санкт-Петербург — 11 октября 1979, Москва) — советский математик, сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики.