गणित चित्रण प्रमाण से आगे

जनवरी में, गणितज्ञ, इतिहासकार, कलाकार और शिक्षक गणितीय अर्थ के बारे में एक कार्यशाला के लिए इंस्टिट्यूट हेनरी पॉइंकारे में इकट्ठा हुए। उनका फोकस यह था कि एक चित्रण की सख्ती का क्या अर्थ है। कार्यशाला से छह महीने बाद हुई चर्चाओं ने लेइडन घोषणा के संदर्भ में लिखे गए एक लेख को नोटिस में स्वीकार किया। अंतिम महीनों में यह पूर्ववर्ती दृष्टिकोणों का एक हृदय से बहिर्वाह हुआ है कि मानव के रूप में गणित कैसे किया जाता है। गणितीय चित्रण, जिसमें कंप्यूटर ग्राफिक्स और प्रतीकात्मक संचार से आगे अन्य माध्याम शामिल हैं, यह प्रमाण-लेखन से आगे एक गतिविधि है। ब्रायना क्रा वर्तमान समस्या का वर्णन करती हैं: प्रमाणों का उत्पादन सफलता का सबसे महत्वपूर्ण मापदंड है, हालांकि यह हमेशा समझ का प्रतिस्थापक रहा है। एआई ने गहरे प्रमाणों की कमी को तोड़ दिया है। सिल्विया डे टॉफोली और एमोन डुएडे यह विचार अस्वीकार करते हैं कि गणित एक खेल है जिसे मशीनें जीत सकती हैं, इसके बजाय इसे एक ज्ञान के शरीर के रूप में देखते हैं जिसमें एक शैक्षिक समुदाय शामिल है। माटिल्डे मारकोल्ली तर्क देती हैं कि बड़े प्रमाण कभी लक्ष्य नहीं थे, केवल एक चुने गए मूल्य तंत्र थे। ग्रांट सैंडरसन पूछते हैं कि गणितीय समझ के अन्य रूपों को वास्तविक मानदंड कैसे दिया जाए। इस पत्र ने ट्रेस किया है कि गास्पार मोंजे के इकोल पॉलिटेक्निक में हाथ से ड्राइंग आवश्यक थी, जहां इतिहासकार फ्रेडेरिक ब्रेचेनमैकर ने टिप्पणी की थी "ड्राइंग वास्तव में जानना था"। यह परंपरा बीसवीं सदाब्दी में इसे अलग करने के बावजूद जारी रही। इलस्ट्रेटिंग मैथेमेटिक्स कम्युनिटी, जो 2019 ICERM सेमेस्टर के दौरान गठित हुई, गणितज्ञों को एकत्रित करती है जो छवियां, मॉडल, सॉफ्टवेयर और गणितीय अनुभव विकसित करते हैं।

स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित