|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/dubna/2010/courses/als.htm
Дата изменения: Thu Jul 22 22:19:09 2010 Дата индексирования: Sat Sep 11 22:12:40 2010 Кодировка: koi8-r Поисковые слова: остаток сверхновой |
| На главную страницу ЛШСМ-2010 | К списку курсов ЛШСМ-2010 |
Алексей Львович СеменовДоказательства невозможности в математической логике и теории алгоритмовА.Л. Семенов планирует прочесть 1 лекцию. |
|
Попытки дать математические определения понятий формального доказательства, истинности, формализованной деятельности по инструкции привели к построению математической логики и теории алгоритмов — области математики, результаты которой сформировали и продолжают формировать основы информатики и влиять на практическое использование цифровых технологий. Важнейшие результаты данной области, наряду с указанными определениями — это результаты о невозможности, в свою очередь тесно связанные с результатами об универсальности и диагональными конструкциями.
В лекции будут приведен ряд доказательств и идей доказательств, относящихся к описанному кругу вопросов, в частности, дополняющие Лекцию В.А. Успенского, знание которой не предполагается, но полезно.
