В январе математики, историки, художники и педагоги собрались в Институте Анри Пуанкаре для семинара о математическом значении. Их фокус был на вопросе, что означает, что иллюстрация является строгой. Обсуждения, произошедшие через шесть месяцев после семинара, привели к статье, принятой в Notices, написанной в контексте Лейденской декларации. Прошие месяцы видели искренний поток точек зрения о том, что значит заниматься математикой как человеческое существо. Математическая иллюстрация, включая компьютерную графику и другие средства за пределами символической коммуникации, является деятельностью, которая идет за пределами написания доказательств. Брайна Кра описывает текущую проблему: производство теорем является самой важной мерой успеха, хотя всегда было заменой понимания. ИИ сломал нехватку глубоких теорем. Сильвия де Тоффоли и Эмон Дюеде отвергают идею, что математика — это игра, которую машины могут выиграть, рассматривая ее как тело знаний, вовлечённое академическим сообществом. Матильде Марколли утверждает, что большие теоремы никогда не были целью, только выбранной системой ценностей. Грант Сандерсон спрашивает, как дать реальное признание другим формам математического понимания. Статья прослеживает, как рисование от руки было обязательным в Политехнической школе Гаспара Монжа, где историк Фредерик Брекенмахер noted "Рисование — это знание". Традиция продолжалась, несмотря на то, что была отброшена в двадцатом веке. Общество Illustring Mathematics, сформированное во время семестра ICERM в 2019 году, объединяет математиков, которые разрабатывают изображения, модели, программное обеспечение и опыт математики.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing