Город: Язык: Русский English
Что: Лекция
Когда: Среда, 01 октября 2014, 18:30–19:50
Где: ПОМИ РАН

Описание

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