![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Международная конференция "Конструктивная теория доказательств", посвященная памяти А.Г. Драгалина, проводилась 20 февраля 2014 г. на философском факультете МГУ. В ходе конференции были проведены два пленарных заседания и круглый стол "Наследие А.Г.Драгалина и современная логика". А.Г. Драгалин (1942-1998) - выдающийся отечественный математик и логик, один из ярчайших представителей конструктивного направления в математике и математического интуиционизма. Долгое время преподавал на механико-математическом факультете МГУ. Внес значительный вклад в налаживание контактов между логиками-математиками и логиками-философами в нашей стране.