Вычислимость и логика. Лекция 7
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
26.10.11
Дата публикации:
26.10.11
Код для блога:
Арифметическая иерархия
Арифметическая иерархия. Универсальные множества в арифметической иерархии. Строгость арифметической иерархии. Теоремы Тарского и Геделя. Прямое доказательство теоремы Геделя о неполноте.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10