Математик, который исследовал границы алгоритмов
Математик, который исследовал границы алгоритмов #летопись_мгу Сегодня, в эпоху нейросетей и компьютеров, все громче звучит вопрос – для каждой ли математической задачи можно придумать точный алгоритм решения? Пётр Новиков, выпускник и профессор МГУ, считал, что нет. Он доказал алгоритмическую неразрешимость ряда задач, создал в СССР школу математической логики и вместе со своими учениками решил проблемы, остававшиеся открытыми десятилетиями. Сегодня исполняется 125 лет со дня рождения Петра Сергеевича Новикова. О математике, ученике Николая Лузина читайте в карточках.
1 557 просмотров