Алексей Львович Семенов Доказательства невозможности в математической логике и теории алгоритмов А.Л. Семенов планирует прочесть 1 лекцию.

Попытки дать математические определения понятий формального доказательства, истинности, формализованной деятельности по инструкции привели к построению математической логики и теории алгоритмов — области математики, результаты которой сформировали и продолжают формировать основы информатики и влиять на практическое использование цифровых технологий. Важнейшие результаты данной области, наряду с указанными определениями — это результаты о невозможности, в свою очередь тесно связанные с результатами об универсальности и диагональными конструкциями.

В лекции будут приведен ряд доказательств и идей доказательств, относящихся к описанному кругу вопросов, в частности, дополняющие Лекцию В.А. Успенского, знание которой не предполагается, но полезно.