7 февраля для участников проекта прошла интерактивная лекция, доцента НИУ Высшая школа экономики Славнова Сергея Андреевича.
Тема — Вычислимость и неразрешимость: почему программы всегда неправильно работают, и с этим ничего нельзя поделать.
Теория вычислимости лежит в основе компьютерных наук (computer science), но в значительной степени была построена, когда еще никаких компьютеров не было. Уже тогда было доказано, что существуют алгоритмически неразрешимые задачи. Ребятам рассказали о самых главных неразрешимых задачах из области computer science: почему не существует надежного способа протестировать программу, почему не существует надежного антивируса, и почему невозможен язык программирования, защищенный от фатальных ошибок. (Щелкните для просмотра фотографий)