Заседание семинара «Конструктивное знание»

18 сентября пройдет очередное заседание семинара «Конструктивное знание» в рамках поддержанного РФФИ исследователького проекта под руководством Андрея Родина (проект 19-011-00799). Докладчики: Георгий Шабат «Доказательства в современной математике: идеалы и реальность» и Даниил Рогозин «Анализ синтаксических понятий и субструктурная логика».