17 марта состоится открытая лекция старшего научного сотрудника Института математики им. С. Л. Соболева СО РАН Николая Баженова. Подключиться к трансляции может любой желающий.

В докладе исследователь расскажет о некоторых результатах из теории алгоритмов и математической логики. Особое внимание он уделит теоремам Гёделя и алгоритмически неразрешимым проблемам.

Николай Баженов, лектор «Иннополис. Науки»: «Строгие математические формализации понятия “алгоритм” были введены в 1930-е и 1940-е годы в работах специалистов по математической логике. Исследования по теории алгоритмов во многом предопределили развитие современных вычислительных технологий».

Кроме старшего научного сотрудника Института математики им. С. Л. Соболева СО РАН, Николай Баженов также является доцентом кафедры дискретной математики и информатики Новосибирского государственного университета и доцентом Лаборатории алгоритмических и числовых методов в математике и ИИ Университета Иннополис.

16:00 — лекция Николая Баженова «Теоремы Гёделя и алгоритмическая неразрешимость».

Язык выступления: русский

Трансляция

---

«Иннополис. Наука» — серия научных семинаров по математике и ИИ для студентов, аспирантов и научных сотрудников, организованная Университетом Иннополис.
Плейлист с лекциями