En enero, matemáticos, historiadores, artistas y educadores se reunieron en el Institut Henri Poincaré para un taller sobre significado matemático. Su enfoque era preguntar qué significa que una ilustración sea rigurosa. Las discusiones, seis meses después del taller, llevaron a un artículo aceptado en los Notices, escrito en el contexto de la Declaración de Leiden.
Los últimos meses han visto un derrame de puntos de vista sobre qué significa hacer matemáticas como ser humano. La ilustración matemática, incluyendo gráficos por computadora y otros medios más allá de la comunicación simbólica, es una actividad que va más allá de la escritura de demostraciones. Bryna Kra describe el problema actual: la producción de teoremas es la medida más importante de éxito, aunque siempre ha sido un sustituto de la comprensión.
La IA ha roto la escasez de teoremas profundos. Silvia De Toffoli y Eamon Duede rechazan la idea de que las matemáticas sean un juego que las máquinas pueden ganar, viéndolas como un cuerpo de conocimiento involucrado por una comunidad académica. Matilde Marcolli argumenta que los grandes teoremas nunca fueron el punto, sino un sistema de valores elegido.
Grant Sanderson pregunta cómo dar crédito real a otras formas de comprensión matemática. El rastro cómo el dibujo a mano era obligatorio en la École Polytechnique de Gaspard Monge, donde el historiador Frédéric Brechenmacher observó que "Dibujar era saber". La tradición persistió a pesar de ser descartada en el siglo XX.
La comunidad Illustrating Mathematics, formada durante un semestre de ICERM en 2019, reúne a matemáticos que desarrollan imágenes, modelados, software y experiencias de matemáticas.
Fuente: Hacker News · Resumido por HeadlinesBriefing