Заседание Московского семинара по философии математики
13 марта 2020 г. (пятница) состоится очередное заседание Московского семинара по философии математики.
Время:15.00
Аудитория Е-355
Доклад Владислава Алексеевича Шапошникова (философский факультет МГУ)
От теоретических к практическим основаниям математики (часть 2)
Доклад посвящен анализу изменения представлений, как самих математиков, так и философов математики, о том что такое «основания» математики, зачем они нужны и как соотносятся с повседневной практикой работающих математиков. Речь пойдет о постгёделевской интеллектуальной ситуации, т.е. доклад охватывает период с 1930-х годов и по настоящее время. Во второй части доклада речь пойдет о том в какой мере «практический поворот» в философии математики изменил отношение к проблеме оснований начиная с 1970-х гг. Ситуация 1980-х и 1990-х гг. будет рассмотрена на примере позиций Саундерса Маклейна и Эрика Ливингстона. В этой связи вводятся и обосновываются понятия «антропологических» и «практических» оснований математики. Затем, с опорой на эти понятия, будет рассмотрен вопрос о специфике трансформации понимания оснований в контексте «компьютерной революции», включая обсуждение мотивации проекта «унивалентных оснований» Владимира Воеводского (2000-е и 2010-е гг).