Доказательства невозможности в математической логике и теории алгоритмов // Алексей Семёнов

Попытки дать математические определения понятий формального доказательства, истинности, формализованной деятельности по инструкции привели к построению математической логики и теории алгоритмов — области математики, результаты которой сформировали и продолжают формировать основы информатики и влиять на практическое использование цифровых технологий. Важнейшие результаты данной области, наряду с указанными определениями — это результаты о невозможности, в свою очередь тесно связанные с результатами об универсальности и диагональными конструкциями. Семёнов Алексей Львович, доктор физико-математ...ических наук, профессор, академик РАН. Летняя школа «Современная математика», г. Дубна, 23 июля 2010 г.

Show more