Философский факультет

22 января 2021 года (пятница) в 15:00 пройдет очередное заседание Московского семинара по философии математики. На нем будет заслушан доклад Андрея Вячеславовича Родина (СПБГУ, ИФ РАН) «Неоконченный проект Владимира Воеводского».

Аннотация доклада:

В серии лекций данных в 2003 г., вскоре после получения Филдсовской медали за результаты в области алгебраической геометрии, Владимир Воеводский (1966-2017) определил две стратегические цели, которые он предполагал достичь в ходе дальнейших исследований. Первая из них состояла в развитии «компьютеризированной библиотеки математических знаний», которая поддерживала бы автоматическую верификацию доказательств. Вторая цель состояла в «ликвидации разрыва между чистой и прикладной математикой». Исследования воеводского в первом направлении привели к возникновению новых унивалентных оснований математики. В связи со второй же целью Воеводский в 2004 г. начал разрабатывать математическую теорию популяционной динамики, которая включала категорную теорию вероятностей. Этот последний проект не привел к появлению каких-либо опубликованных результатов и в 2009 г. был Воеводским прекращен, когда тот решил сосредоточить свои усилия на унивалентных основаниях и тесно связанных с ними темах. В анонсируемом докладе на основе архивных материалов будут представлены и критически рассмотрены взгляды Воеводского на математику в ее отношении с естественными науками, а также высказаны соображения о том как идеи и подход к прикладной математике Вокводского могут получить дальнейшее развитие. Особое внимание уделено предложенной Воеводским оригинальной стратегии для преодоления сохраняющегося разрыва между чистой и прикладной математикой, стратегии в которой компьютеры и осуществляемая с их помощью математика играют решающую роль.

Чтобы получить ссылку для подключения к заседанию семинара обращайтесь, пожалуйста, к Анатолию Николаевичу Кричевцу, ankrich@mail.ru