hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Вадты (озеро, Пермский край)
Ва́дты — болотное озеро правобережной поймы нижнего течения Косы, располагается на территории Левичанского сельского поселения в Косинском районе на востоке Коми-Пермяцкого округа Пермского края.

Название озера состоит из двух компонентов: вад — «непроточное озеро с топкими берегами» и ты — «любое озеро».

Площадь водной поверхности Вадты составляет 0,12 км².

Зеркало озера находится на высоте 135,1 м над уровнем моря посреди болота Ыджиднюр, в 2 км юго-западнее деревни Селище.

С южной стороны из озера берёт исток приток Косы — река Сынкулем.

Косинский район
Коси́нский райо́н (коми-перм. Кӧсладор район) — административный район в Коми-Пермяцком округе Пермского края России. На территории района образован Косинский муниципальный округ. Административный центр — село Коса. Площадь — 3445,46 км². Население — Уменьшение↘5685 чел. (2023). Национальный состав (2010): коми-пермяки – 65 %, русские – 32,4 %.
Cobalt RaQ
Cobalt RaQ — серия стоечных серверов, разработанная компанией Cobalt Networks Inc. (позже куплена Sun Microsystems). Серверы используют модифицированную операционную систему Red Hat Linux и проприетарный GUI для управлений сервером. Изначально системы RaQ укомплектовывались процессорами MIPS, поздние модели использовали чипы AMD K6-2 и Intel Pentium III.

Cobalt RaQ — вторая продуктовая линейка, произведённая Cobalt Networks; первой была Cobalt Qube.

Red Hat Linux
Red Hat Linux — дистрибутив Linux компании Red Hat. Выпускался в период с 1995 по 2003 год включительно. Ранние версии дистрибутива также носили названия Red Hat Software Linux, Red Hat Commercial Linux и Red Hat LiNUX. На основе Red Hat Linux был создан ряд других дистрибутивов, в том числе Mandriva и ASPLinux. Последняя версия Red Hat Linux была выпущена в 2003 году. В 2004 году Red Hat официально прекратила поддержку Red Hat Linux. Пользователи могли мигрировать либо на коммерческий Red Hat Enterprise Linux, либо на бесплатный Fedora. После окончания официальной поддержки проект Fedora Legacy некоторое время выпускал неофициальные обновления для Red Hat Linux, пока сам Fedora Legacy не был закрыт в феврале 2007 года.
Мамун
Мамун (араб. مأمون‎ — «защищённый») — арабское имя. Образовано от многозначного глагола «'мн». Среди однокоренных слов аминь и иман (вера). Однокоренные имена: Амин, Аминулла, Аманулла.

Аль-Мамун — Амир аль-муминин и халиф Аббасидского халифата в 813—833 годах.

Аль-Касим аль-Мамун — халиф Кордовы в 1018—1021, 1022—1023 годах.

Мамун Абдул Гаюм (род. 1937) — президент Мальдив в 1978—2008 годах.

Мамун, Маргарита (род. 1995) — российская художественная гимнастка, олимпийская чемпионка 2016 года.

Мамун, Хасан (1894—1973) — египетский богослов, великий имам Аль-Азхара в 1964—1969 годах и великий муфтий Египта в 1955—1960 годах.

Кузбари, Маамун (1914—1998) — сирийский политик.

Мамун аль-Худайби — египетский активист движения «Братья-мусульмане».

Мамун, Маргарита
Маргари́та Маму́н (род. 1 ноября 1995, Москва, Россия) — российская гимнастка, Олимпийская чемпионка Рио-де-Жанейро (2016), семикратная чемпионка мира по художественной гимнастике (2013, 2014, 2015), четырёхкратная чемпионка Европы (2013, 2015), четырёхкратная победительница Универсиады в Казани (2013), чемпионка I Европейских игр 2015 года в Баку, многократная победительница Гран-при и этапов Кубка мира.

Трёхкратная абсолютная чемпионка России по художественной гимнастике (2011, 2012, 2013), а также двукратный серебряный призёр национального чемпионата (2014, 2016). Болельщики называют Маргариту «Бенгальской тигрицей». Заслуженный мастер спорта России.
Румельхарт, Дэвид
Дэвид Эверетт Румельхарт (англ. David Everett Rumelhart; 1942 — 2011) — американский учёный, сделавший значительный вклад в изучение человеческого сознания и во многом определивший ряд направлений развития  когнитивной науки в 1970-е годы. Научная работа Румельхарта связана с такими направлениями как искусственный интеллект, математическая психология, параллельные вычислительные процессы. Наибольшей научный резонанс получили его работы, связанные с исследованием научения и памяти в семантических нейронных сетях. Представитель коннекционистского подхода в когнитивной науке.

Научение
Науче́ние (англ. learning) — относительно постоянные изменения в поведении, происходящие в результате практики — взаимодействия организма со средой; приобретение знаний, умений и навыков. Способностью к научению обладают люди, животные и некоторые машины; есть также свидетельства некоторой способности к научению у некоторых растений. Природа и процессы, участвующие в научении, изучаются во многих областях, включая педагогическую психологию, нейропсихологию, экспериментальную психологию и педагогику.
Plagiometriona
Plagiometriona (лат.) — род жуков щитоносок (Cassidini) из семейства листоедов. Более 80 видов.
Форма тела уплощённая, широкоовальная. 3-й сегмент усиков короче чем 2-й. Простернум без бороздки для вкладывания усиков. Надкрылья грубо сетчатые и бугорчатые. Голова горизонтальная, полностью покрыта пронотумом и не видна сверху; глаза на одной плоскости с ротовыми частями. Растительноядная группа, питаются растениями различных семейств, в том числе, паслёновыми (Solanaceae: Capsicum, Solanum, Cestrum), на дубе, липе и другими видами.

Листоеды
Листое́ды (лат. Chrysomelidae) — одно из крупнейших семейств жесткокрылых насекомых, насчитывающее до 35 000 видов, описанных в 2500 родах. Потенциальное количество видов может быть значительно больше: до 50 или 60 тысяч видов.
Керманшах (остан)
Керманша́х (перс. كرمانشاه‎ — Kermânšâh; курд. Kirmaşan) — одна из 31 провинции (останов) Ирана, граничит с Ираком. C 1979 по 1990 годы провинция называлась Бахтаран. Координаты столицы: ().

Площадь — 24 998 км², население — 1 879 385 человек (2006). Административный центр — город Керманшах (800 тыс.), другие крупные города — Исламабаде-Герб (90 тыс.), Харсин (52 тыс.), Кангавар (50 тыс.), Сонкор (45 тыс.), Джаванруд (44 тыс.), Сахне (35 тыс.), Сарполь-Захаб (35 тыс.), Паве (20 тыс.), Кайханшехр (20 тыс.), Гилан-э-Герб (20 тыс.), Ревансер (17 тыс.), Касре-Ширин (16 тыс.).

Сонкор
Сонко́р (перс. سنقر‎) — город на западе Ирана, в провинции Керманшах. Административный центр шахрестана Сонкор.
На 2006 год население составляло 43 184 человека; в национальном составе преобладают кызылбаши и курды, в конфессиональном — мусульмане-шииты.
Полозовы
Полозовы — русские дворянские роды.

Два из них восходят к началу XVII века:

Потомство Ивана Кириллова сына Полозова,  писанного (1616) в числе дворян (Герб VI. № 41).

Тугарина Арсеньева Полозова) владевшего в 1629 году поместьями (Герб. Часть XII. № 70)

Внесены в Общий гербовник дворянских родов Российской империи.

Эти два рода Полозовых внесены в VI часть родословной книги Костромской губернии. Есть ещё несколько родов Полозовых позднейшего происхождения.

Общий гербовник дворянских родов Российской империи
О́бщий гербо́вник дворя́нских родо́в Росси́йской импе́рии — свод гербов российских дворянских родов, учреждён указом императора Павла I от 20 (31) января 1797.
Двадцать томов гербовника включают 3 066 родовых и несколько личных гербов. Общепринятое сокращение — ОГ.

В манифесте от 20 января 1797 г. указано:

Все гербы, в гербовник внесённые, оставить навсегда непременными так, чтобы без особливого нашего, или преемников наших повеления, ничто ни под каким видом из оных не исключалось и вновь в оные не было ничего прибавляемо.
Каждому дворянину того рода, коего герб находится в гербовнике […] выдавать на пергаменте за скрепою точные копии с герба оного рода и с описания при том находящегося.
В случаях, в коих нужда будет кому-либо доказывать дворянское своей семьи достоинство, принимать вернейшим доказательством онаго сей составленный по повелению нашему общий дворянских родов гербовник, который и хранить в нашем Сенате.
Колле-Брианца
Колле-Брианца (итал. Colle Brianza) — коммуна в Италии, располагается в регионе Ломбардия, в провинции Лекко.

Население составляет 1464 человека (2008 г.), плотность населения составляет 183 чел./км². Занимает площадь 8 км². Почтовый индекс — 23886. Телефонный код — 039.

Покровителем коммуны почитается архангел Божий Михаил.

Лекко (провинция)
Лекко (итал. Provincia di Lecco, ломб. Pruvincia de Lecch) — провинция в Италии, в регионе Ломбардия. Провинция имеет площадь 816 км² и поделена на 90 коммун.

Образована президентским декретом от 6 марта 1992 года № 250. Выборы президента провинции состоялись весной 1995 года. Первым президентом провинции стал Марио Ангильери, вступивший в должность 9 мая 1995 года.
Райлих
Райлих — фамилия.

Райлих, Васик (род. 1971) — американский шахматист, международный мастер, программист, автор шахматной программы Rybka.

Райлих, Ивета (род. 1981) — польская шахматистка, международный мастер (2002).

Райлих, Васик
Васик Райлих (род. 19 марта 1971, Кливленд, США) — американский шахматист чешского происхождения, международный мастер, программист, автор шахматной программы Rybka.

Васик Райлих является автором Rybka, ставшей сильнейшей шахматной программой в мире в 2006, 2009 и 2010 годах. Райлих является чешско-американским гражданином по рождению, он родился в США от чешских родителей, бывших аспирантами, но вырос в Праге. Позднее он провел годы в США в качестве студента, окончившего Массачусетский технологический институт.

Он женился на Ивете Радзиевич 19 августа 2006 года. Жена помогает ему в развитии Rybka в качестве тестировщицы. В настоящее время пара живёт в Варшаве, Польша.
Убойный футбол
«Убо́йный футбо́л» (иер. трад. 少林足球, упр. 少林足球, ютпхин: Siu³lam⁴ zuk¹kau⁴, йель: Siulàhm jūkkàuh, кант.-рус.: Сиулам чуккхау, пиньинь: Shàolín zúqiú, палл.: Шаолинь цзуцю, буквально: «Шаолиньский футбол») — кинофильм режиссёра, продюсера, сценариста и актёра Стивена Чоу.

Кантонско-русская практическая транскрипция
Более подробно об именовании статей о гонконгских названиях и персоналиях см. Википедия:Статьи о Гонконге.

Практическая транскрипция для записи по-русски слов кантонского диалекта (наиболее распространённое и престижное наречие китайского языка юэ) была создана в рамках проекта по созданию практических транскрипций для малых языков мира Института языкознания РАН лингвистом Юрием Коряковым и переводчиком Дмитрием Шакурой в 2007 году.
Дом фельдшера Машанова
Дом фельдшера Машанова — старинный дом в посёлке городского типа Верх-Нейвинском Свердловской области России, одна из достопримечательностей деревянного зодчества заводского посёлка. Расположен в центре Верх-Нейвинска, у перекрёстка улиц Карла Маркса и Мира (ранее Большая Проезжая и Кунарская соответственно). Адрес: ул. Карла Маркса, дом 34.

Здесь проживал земской фельдшер Михаил Константинович Машанов, в честь которого на стене дома установлена памятная доска.

Улица Карла Маркса (Верх-Нейвинский)
У́лица Ка́рла Ма́ркса (ранее — Больша́я Прое́зжая, Невья́нская) — улица в посёлке городского типа Верх-Нейвинском Невьянского района Свердловской области России. Издавна улица была частью дороги на Невьянск.
Садовый мост
Садо́вый мост — название мостов.

Садовый мост — путепровод через железнодорожные пути в Краснодаре.

1-й Садовый мост — мост через Мойку в Санкт-Петербурге.

2-й Садовый мост — мост через Мойку в Санкт-Петербурге.

1-й Садовый мост
1-й Садо́вый мост — автодорожный металлический арочный мост через реку Мойку в Центральном районе Санкт-Петербурга, соединяющий 1-й Адмиралтейский и Спасский острова. Объект культурного наследия России федерального значения.
Боэдоро, Филип
Филип Боэдоро (англ. Philip Boedoro; род. 21 мая 1958, Порт-Вила, Шефа, Вануату) — политический, государственный и общественный деятель Вануату. Исполняющий обязанности Президента Вануату (с 3 по 22 сентября 2014). Спикер парламента Вануату (2013—2015).

Шефа
Шефа (бисл. и англ. Shefa, фр. Shéfa) — провинция государства Вануату, занимающая территорию островов Эпи, Эфате и островов Шеперд. Название провинция получила по названиям Шеперд и Эфейт (Efate). Население 78 723 человек (2009), площадь 1 455 км². Административный центр провинции — город Порт-Вила, являющаяся одновременно столицей всей страны.
I Knew You Were Waiting (For Me)
«I Knew You Were Waiting (For Me)» — песня, выпущенная американской певицей Аретой Франклин и английским певцом Джорджем Майклом в дуэте 23 января 1987 года. Песня стала хитом номер один в США и Великобритании. Billboard включил «I Knew You Were Waiting (For Me)» в список самых успешных синглов Франклин в чарте Hot 100 всех времён. Песня стала самым успешным хитом Франклин в чарте Billboard Adult Contemporary, достигнув второго места. Песня была написана Саймоном Клайми и Деннисом Морганом и спродюсирована Нарадой Майклом Уолденом. Франклин и Майкл выиграли премию Грэмми 1987 года в номинации «Лучшее дуэтом или группой в стиле ритм-н-блюз» за «I Knew You Were Waiting (For Me)».

Adult Contemporary (чарт)
Hot Adult Contemporary Tracks — американский хит-парад журнала Billboard. Составляется с 1961 года на основе наиболее проигрываемых по радио в США песен стиля Adult Contemporary (современный поп-рок для взрослых).
Всероссийские дистанционные эвристические олимпиады
Всероссийские дистанционные эвристические олимпиады — проводятся в сети Интернет с 1997 года Центром дистанционного образования «Эйдос» под эгидой Российской академии образования.

В олимпиадах участвуют школьники 1—11 классов, студенты, взрослые. Участники и организаторы олимпиад удалены друг от друга, находятся в разных городах и странах. Участие в олимпиадах происходит с помощью электронной почты, а также ресурсов и технологий сети Интернет. Общее число участников проведённых олимпиад превышает 200 тыс. человек.

Российская академия образования
Федеральное государственное бюджетное учреждение «Росси́йская акаде́мия образова́ния» (сокр. ФГБУ «Российская академия образования», Российская академия образования, РАО) — государственная академия наук Российской Федерации, объединяющая учёных, работающих в сфере образования и педагогики.
Сен-Северин (церковь)
Церковь Сен-Северен (фр. Église Saint-Séverin) — католическая церковь Святого Северина в 5-м округе Парижа; расположена в районе Латинского квартала. Древнейшие части датируются XIII веком, в основном представляет памятник пламенеющей готики второй половины XV века. Содержит витражи XV—XX веков, исторический орган и старейший колокол Парижа.

Латинский квартал
Лати́нский кварта́л (фр. Quartier latin) — традиционный студенческий квартал в 5-м и 6-м округах Парижа на левом берегу Сены вокруг университета Сорбонна. Соседствует с расположенным западнее Сен-Жерменским кварталом.
Дом № 11/14 по Большой Полянке
Дом № 11/14 по Большой Полянке — здание-достопримечательность в Москве.

Знаменит тем, что это главный дом усадьбы Нащокиных.

Дом — нежилой.

Находится в реестре недвижимого культурного наследия города Москвы.

Площадь 1079 квадратных метров.

Нащокины
Нащо́кины — русский древний дворянский род, из Тверских бояр.

При подаче документов (22 мая 1686) для внесения рода в Бархатную книгу, была предоставлена совместная родословная роспись Нащокиных и Ординых-Нащокиных.

Род внесён в VI часть родословной книги Московской губернии.

Другой род Нащокиных, восходящий к началу XVII века, внесён в VI часть родословной книги Псковской губернии. Есть также ещё один род Нащокиных, более позднего происхождения.
Смит, Дэвид (легкоатлет)
Дэвид (Дейв) Грегори Смит (англ. David "Dave" Gregory Smith; род. 24 июля 1955) — австралийский легкоатлет, специалист по спортивной ходьбе. Выступал на профессиональном уровне в 1979—1991 годах, обладатель бронзовой медали Всемирных легкоатлетических игр, чемпион Австралии, участник двух летних Олимпийских игр.

Спортивная ходьба
Спорти́вная ходьба́ — олимпийская легкоатлетическая дисциплина, в которой, в отличие от беговых видов, должен быть постоянный контакт ноги с землёй. В олимпийской программе соревнования мужчин проводят вне стадиона на дистанции 20 и 35 км, женщин — 20 км. Также проводят соревнования на 400-метровой дорожке открытых стадионов (10 000 и 20 000 м) и 300-метровой дорожке в помещении (5000 м).
Тамбовское высшее военное авиационное училище лётчиков имени М. М. Расковой
Тамбовское высшее военное авиационное училище лётчиков имени М. М. Расковой (Тамбовское ВВАУЛ им. М. М. Расковой) — расположенное в Тамбове высшее военное лётное училище, ведущее свою историю с 7 декабря 1931 года.  Годовой праздник назначен на 31 декабря приказом Наркома обороны СССР К. Е. Ворошиловым, подписанным в 1937 году.

Пе-2
Пе-2 (в ВВС СССР — прозвище «Пешка»; по классификации НАТО: Buck) — советский пикирующий бомбардировщик времён Второй мировой войны. Основной фронтовой бомбардировщик ВВС РККА. Самый массовый бомбардировщик советского производства (всего выпущено 11430 единиц всех модификаций). В строевых частях полностью заменил собой бомбардировщики СБ.
Дюгем, Пьер
Пьер Морис Мари Дюэм (Дюгем) (фр. Pierre Maurice Marie Duhem; 9 июня 1861, Париж — 14 сентября 1916, Кабреспин, департамент Од) — французский физик, механик, математик, философ и историк науки. Основные работы относятся к гидродинамике, электродинамике, магнетизму, теории упругости и классической термодинамике. Учёный был сторонником конвенционализма и концепции, подразумевающей в числе прочих положений позитивистской философии науки — неопределённость экспериментальных критериев. В исторической части своих воззрений он пришёл к положительной переоценке роли Средневековья в общем процессе развития естествознания, и одним из первых — к пониманию значения истории науки в её методологии и в теории познания. Член Парижской академии наук (1913).

Од (департамент)
Од (фр. , окс. и кат. Aude) — департамент на юге Франции, один из департаментов региона Окситания. Порядковый номер — 11. Административный центр — Каркассон. Население департамента, на 01.01.2023 года, составляло  375 217 человек.
580 год до н. э.
580 (пятьсо́т восьмидеся́тый) год до на́шей э́ры по пролептическому юлианскому календарю — невисокосный год, начинающийся во вторник. Это 580 год до нашей эры, 1‑й год 3‑го десятилетия VI века 1‑го тысячелетия до н. э., 10‑й год 580‑х годов до н. э., четвёртый год 49-й олимпиады / первый год 50-й олимпиады (с июля), −579 год по астрономической годовой нумерации. Ему предшествовал 581 год до н. э., за ним следовал 579 год до н. э. Он закончился 2604 года назад.

Сапфо
Сапфо́ (известно также Сафо́ или Са́фо; др.-греч. Σαπφώ, Ψάπφω; лат. Sapphō; около 630 года до н. э., Лесбос — 572 или 570 год до н. э., Лефкас, Ионические острова) — древнегреческая поэтесса и музыкант, автор монодической мелики (песенной лирики).

Входит в число Девяти лириков. Стихи Сапфо сохранились во фрагментах, музыка Сапфо не сохранилась.
(12896) Жоффруа
(12896) Жоффруа (лат. Geoffroy) — небольшой астероид внешней части главного пояса, который был открыт 26 августа 1998 года бельгийским астрономом Эриком Эльстом в обсерватории Ла-Силья и назван в честь французского натуралиста и зоолога Этьена Жоффруа.

Обсерватория Ла-Силья
Обсерватория Ла-Силья (коды обсерваторий «262», «809» и «I03») — астрономическая обсерватория в Чили, принадлежащая Европейской южной обсерватории (ESO). 
В обсерватории расположены 18 телескопов. Девять из этих телескопов были построены на средства Европейской южной обсерватории. Обсерватория — одна из крупнейших в Южном полушарии. 
Место, где находится обсерватория — Ла-Силья — гора в южной части пустыни Атакама, высотой в 2400 метров.
Соловцово (Вологодская область)
Соловцово — деревня в Устюженском районе Вологодской области.

Входит в состав Устюженского сельского поселения, с точки зрения административно-территориального деления — в Устюженский сельсовет.

Расположена на левом берегу реки Молога. Расстояние по автодороге до районного центра Устюжны — 6 км. Ближайшие населённые пункты — Боровинка, Устюжна.

Население по данным переписи 2002 года — 29 человек (11 мужчин, 18 женщин). Всё население — русские.

Устюженский район
Устюже́нский райо́н — административно-территориальная единица (район) в Вологодской области России. В рамках организации местного самоуправления в границах района существует муниципальное образование Устюженский муниципальный округ (с 2004 до 2022 гг. — муниципальный район).

Административный центр — город Устюжна.
Факторграф
Факторграф Q графа G — граф, вершины которого являются блоками разбиения вершин графа G, а блок B смежен блоку C, если некоторая вершина в B смежна некоторой вершине в C. Другими словами, если G имеет набор рёбер E и набор вершин V и R является отношением эквивалентности, порождённым разбиением, то факторграф имеет набор вершин V/R и набор рёбер .

Более формально, факторграф — это факторобъект в категории графов. Категория графов конкретизируема — отображение графа в его множество вершин делает его конкретной категорией, так что его объекты можно рассматривать как «множества с дополнительной структурой», а факторграф соответствует графу, порождённому на фактормножестве V/R его множеством вершин V. Далее имеется гомоморфизм графов (факторотображение) из графа в факторграф, переводящее каждую вершину или ребро в класс эквивалентности, которому он принадлежит. Интуитивно, это соответствует «склеиванию» (формально, «отождествлению») вершин и рёбер графа.

Гомоморфизм графов
Гомоморфизм графов — это отображение между двумя графами, не нарушающее структуру. Более конкретно, это отображение между набором вершин двух графов, которое отображает смежные вершины в смежные.

Гомоморфизмы обобщают различные понятия раскрасок графов и позволяют выражение важных классов задач удовлетворения ограничений, таких как некоторые задачи составления расписаний или задачи распределения радиочастот.
Факт, что гомоморфизмы могут быть использованы последовательно, приводит к богатым алгебраическим структурам — предпорядку на графах, дистрибутивной решётке и категориям (одна для неориентированных графов и одна для ориентированных графов).
Вычислительная сложность поиска гомоморфизма между заданными графами в общем случае запредельная, но известно много частных случаев, когда задача выполнима за полиномиальное время. Границы между решаемыми и непреодолимыми случаями находятся в области активных исследований.
NGC 1358
NGC 1358 (другие обозначения — MCG -1-10-3, PGC 13182) — линзообразная галактика в созвездии Эридан.

Этот объект входит в число перечисленных в оригинальной редакции «Нового общего каталога».

Галактика NGC 1358 входит в состав группы галактик NGC 1417. Помимо NGC 1358 в группу также входят ещё 12 галактик.

В 2009 году проводилось фотометрическое сравнение галактики с компьютерной симуляцией задачи n-тел. Модель показала хорошее согласования и указала на то, что большую роль на формирование структуры бара играет обмен углового момента.

Имеет активное ядро и относится к сейфертовским галактикам типа II. Около ядра NGC 1358 были обнаружены два облака из газа, распололженные на противоположных его сторонах. Скорее всего, они образовались во время «вспышки» активности ядра.

Фотометрия
Фотометрия (др.-греч. φῶς, родительный падеж φωτός — свет и μετρέω — измеряю) — общая для всех разделов прикладной оптики научная дисциплина, на основании которой производятся количественные измерения энергетических характеристик поля излучения.

В основе фотометрии как науки лежит разработанная А. Гершуном теория светового поля.

На практике положения теории светового поля реализуются инженерной дисциплиной — светотехникой.
Хвистек, Леон
Леон Казимеж Антоний Хвистек (пол. Leon Chwistek, 13 июня 1884, Краков, тогда Австро-Венгрия — 20 августа 1944, Барвиха, под Москвой) — польский философ, математик, логик, писатель, художник, литературный и художественный критик, педагог. Яркая фигура межвоенного авангарда.

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

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