Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Арифметическая иерархия
Вычислимость и логика


Что: Лекция
Когда: Среда, 26 октября 2011, 18:30–19:50
Где: ПОМИ РАН

Описание

Арифметическая иерархия. Универсальные множества в арифметической иерархии. Строгость арифметической иерархии. Теоремы Тарского и Геделя. Прямое доказательство теоремы Геделя о неполноте.

Видео