5 декабря в 17:00 встречаемся в Центре современной культуры «Смена» на второй лекции математического цикла «Теоремы Гёделя и вычислимость». На лекции будут освещены простые и не очень простые идеи, лежащие в основании математической логики. Лектор: Искандер Калимуллин, профессор РАН, профессор кафедры алгебры и математической логики КФУ.
С 15 ноября для посещения «Смены» нужен QR-код.