Предикатные формулы. Арифметика
Вычислимость и логика


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

Описание

Предикатные формулы (формулы I-го порядка). Интерпретации. Выразимость в арифметике. Арифметичность графика вычислимой функции.

Видео