А.Б. Сосинский. (Не)вычислимость [А. Тюринг]

21.02.2015
Источник: http://www.mathnet.ru/present9352 Первая лекция из цикла "Невычислимость, неразрешимость, недоказуемость (Тюринг → Колмогоров → Чейтин → Гёдель)". Все лекции цикла: http://www.mathnet.ru/present9352 Лекции "Летней школы «Современная математика», г. Дубна, июль 2014 г.": http://www.mathnet.ru/conf579

Похожие видео

Показать еще