Теория доказательств является одной из центральных областей современной математической логики. Предметом изучения этой теории являются вопросы доказуемости или недоказуемости математических утверждений в рамках тех или иных систем аксиом, классификация аксиоматических систем, изучение структуры формальных выводов, сложность доказательств, автоматический и интерактивный поиск вывода и другие вопросы.

Семинар носит образовательный и рабочий характер.

Предполагается, что участники будут выступать с реферативными докладами.

Руководитель
Беклемишев Лев Дмитриевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва