City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Вычислимость и выразимость в арифметике
Foundations of computability and complexity theory

What: Lecture
When: Wednesday, 10 October 2012, 18:30–19:50
Where: ПОМИ РАН

Description

Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.