17 января состоялась онлайн-конференция «World Logic Day Workshop 2022», посвященная Всемирному дню логики
14 января празднуется Всемирный день логики. Дата 14 января была выбрана ЮНЕСКО не случайно, но как дань уважения памяти двух великих математиков XX века: Курта Гёделя (умер 14 января 1978 года) и Альфреда Тарского (родился 14 января 1901 года).
В рамках празднования Дня логики 17 января состоялась онлайн-конференция «World Logic Day Workshop 2022», организуемая Математическим центром в Академгородке и Назарбаев Университетом (г. Нур-Султан, Казахстан).
С приглашёнными докладами выступили:
профессор Кейта Ёкояма (Университет Тохоку, Япония). Название доклада: Classifying theorems: reverse mathematics and its multiple viewpoints.
д.ф.-м.н., профессор РАН Искандер Шагитович Калимуллин (главный научный сотрудник НОМЦ ПФО, Казанский федеральный университет). Название доклада: Computable Structures and Isomorphisms.
профессор Альберто Марконе (Университет Удине, Италия). Название доклада: Classifying theorems: the approach of Weihrauch reducibility