Адрес e-mail:

Элементы теории доказательств (Е.В. Дашков, осень 2015)

Лектор — к.ф.-м.н. Е.В. Дашков

В курсе  с современной точки зрения излагаются классические результаты теории доказательств: теоремы Гёделя о неполноте, теорема Генцена о непротиворечивости формальной арифметики — и связанные с ними. В частности, рассматриваются модальные логики доказуемости Гёделя-Лёба и Джапаридзе, а ординальный анализ систем формальной арифметики проводится на основе понятия градуированной алгебры доказуемости, предложенного Л. Д. Беклемишевым.

Предполагается знакомство слушателей со вводным курсом математической логики.

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li soc-yt
Яндекс.Метрика