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