Поздравляем с Всемирным днем логики!

17 октября 2019 года на 40-й сессии Генеральной конференции ЮНЕСКО в Париже Исполнительный совет ЮНЕСКО официально объявил 14 января «Всемирным днем логики».

Логика присутствует везде: и когда мы используем программное обеспечение на основе искусственного интеллекта, и когда мы включаем компьютер, и даже когда мы пытаемся просто что-то обосновать. Логика – это универсальный инструмент современного человека. При этом, даже живя в окружении логики, мы по-прежнему еще очень мало знаем о ней, нередко бессознательно используя логические принципы. Именно поэтому, стремясь привлечь еще большее внимание к значимости логики в нашей жизни, ЮНЕСКО провозгласила 14 января «Всемирным днем логики». Дата 14 января была выбрана не случайно, но как дань уважения памяти двух великих ученых-логиков XX века: Курта Гёделя (умер 14 января 1978 года), чья доказанная теорема о неполноте дала толчок изучению логики в XX веке, и Альфреда Тарского (родился 14 января 1901 года), теоретические труды которого перекликались с теориями Гёделя» – пишет генеральный директор ЮНЕСКО Одрэ Азуле (из послания по случаю Всемирного дня логики).

По этому случаю 18 января в 11:00 в ауд. 4109 учебного корпуса НГУ состоится круглый стол «Математическая логика: современное состояние и перспективы», в рамках которого г.н.с. ИМ СО РАН, академик РАН Юрий Леонидович Ершов представит доклад «О проблемах математической логики», а также с докладом «О некоторых проблемах теории вычислимости» выступит директор ИМ СО РАН, академик РАН Сергей Савостьянович Гончаров.

Приглашаем всех желающих принять участие!