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

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