Описание:В курсе рассматриваются узкий и широкий смыслы названия: польская школа и общие направления, ориентированные на связь математики и логики.
Основная часть курса посвящена теореме Геделя о содержательном ограничении дедуктивных теорий.
Рассматриваются также логические и предметные компоненты формализма Гильберта, этап развития формализма, связанный с Н.Бурбаки, а также конструктивные направления.