Владимир Воеводский о роли разных видов математического знания в социальных практиках
21 мая – выступление Андрея Родена на конференции «Bridge the Gap» в Университете Балеарских островов, Пальма-де-Майорка, Испания.
Аннотация: В своей лекции о прогнозируемом будущем математики, прочитанной в 2003 году вскоре после получения Филдсовской медали, Владимир Воеводский выразил обеспокоенность по поводу того, что современные исследования математики полностью оторваны от интересов и потребностей общества за пределами узкого круга коллег. Он вернулся к этому вопросу в 2014 году в своем цикле лекций имени Пола Бернейса, представляя на этот раз некоторый вариант ответа на этот вызов, ответа, связанного с его проектом разработки универсальных оснований математики, которые поддерживают формальную верификацию математических результатов с помощью компьютера. В этих же лекциях Воеводский представляет оригинальный анализ современной математической практики, включающей не только исследования, но и образование на всех уровнях, включая самые элементарные. Цель моего выступления — представить краткое изложение этих идей Воеводского и показать, как можно дальше развивать проект по устранению разрыва между сегодняшней исследовательской математикой, с одной стороны, и обычными математическими практиками, такими как преподавание и изучение математики в начальной школе. Я буду использовать пример анализа топологических данных, чтобы продемонстрировать, как недавно полученные математические результаты могут удовлетворить социальные и экономические потребности и в то же время быть прозрачными для широкой публики.