Em janeiro, matemáticos, historiadores, artistas e educadores reuniram-se no Institut Henri Poincaré para um workshop sobre significado matemático. O foco era perguntar o que significa para uma ilustração ser rigorosa. As discussões, seis meses após o workshop, levaram a um artigo aceito nos Notices, escrito no contexto da Declaração de Leiden.
Os últimos meses têm visto um descarado de pontos de vista sobre o que significa fazer matemática como um ser humano. A ilustração matemática, incluindo gráficos por computador e outros meios além da comunicação simbólica, é uma atividade que vai além da escrita de provas. Bryna Kra descreve o problema atual: a produção de teoremas é a medida mais importante de sucesso, embora sempre tenha sido um substituto para o entendimento.
A IA quebrou a escassez de teoremas profundos. Silvia De Toffoli e Eamon Duede rejeitam a ideia de que as matemáticas são um jogo que as máquinas podem vencer, vendo-as como um corpo de conhecimento envolvido por uma comunidade acadêmica. Matilde Marcolli argumenta que os grandes teoremas nunca foram o ponto, apenas um sistema de valores escolhido.
Grant Sanderson pergunta como dar crédito real a outras formas de entendimento matemático. O artigo rastreia como o desenho à mão era obrigatório na École Polytechnique de Gaspard Monge, onde o historiador Frédéric Brechenmacher observou que "Desenhar era saber". A tradição persistiu apesar de ter sido afastada no século XX.
A comunidade Illustrating Mathematics, formada durante um semestre de ICERM em 2019, reúne matemáticos que desenvolvem imagens, modelos, software e experiências de matemática.
Fonte: Hacker News · Resumido por HeadlinesBriefing