Januari, matematikawan, sejarawan, seniman, dan pendidik berkumpul di Institut Henri Poincaré untuk sebuah workshop tentang makna matematika. Fokus mereka adalah untuk menanyakan apa artinya sebuah ilustrasi menjadi kaku. Diskusi, yang terjadi enam bulan setelah workshop, menghasilkan sebuah artikel yang diterima di Notices, ditulis dalam konteks Deklarasi Leiden.
Bulan-bulan terakhir melihat sebuah curahan hati dari pandangan tentang apa artinya melakukan matematika sebagai manusia. Ilustrasi matematika, termasuk grafis komputer dan media lain melampaui komunikasi simbolik, adalah satu kegiatan yang melampaui penulisan bukti. Bryna Kra menggambarkan masalah saat ini: produksi teorema adalah ukuran keberhasilan yang paling penting, meskipun selalu menjadi proksi untuk pemahaman.
AI telah mematahkan kelangkaan teorema mendalam. Silvia De Toffoli dan Eamon Duede menolak gagasan bahwa matematika adalah permainan yang bisa dimenangkan oleh mesin, melihatnya sebagai tubuh pengetahuan yang terlibat oleh sebuah komunitas akademik. Matilde Marcolli berargumen bahwa teorema besar bukanlah titik tujuan, hanya sistem nilai yang dipilih.
Grant Sanderson bertanya bagaimana memberikan kredit nyata untuk bentuk pemahaman matematika lainnya. Paper ini melacak bagaimana gambar tangan diperlukan di École Polytechnique Gaspard Monge, dimana sejarawan Frédéric Brechenmacher mencatat "Meng gambar adalah mengetahui". Tradisi bertahan meskipun dibuang di abad dua puluh.
Komunitas Illustrating Mathematics, yang terbentuk selama semester ICERM 2019, mengumpulkan matematikawan yang mengembangkan gambar, model, software, dan pengalaman matematika.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing