Laboratory of Mathematical Logic at PDMI

Пятница, 5 декабря, комната 106. Начало в 19:00.

Докладчик: А. Бовыкин.

Тема: Обзор результатов о недоказуемости.

Abstract

Будет дан обзор всех арифметических утверждений, недоказуемость которых в сильных аксиоматических теориях доказана.