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

Алексей Семёнов

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

Семёнов Алексей Львович, доктор физико-математических наук, профессор, академик РАН.

Летняя школа «Современная математика», г. Дубна, 23 июля 2010 г.

Источник: vk.com

Комментарии: