29
कंप्यूटर कोड लिखने की तुलना में गणितीय प्रमाण को अधिक दोषपूर्ण क्यों लिखा जा रहा है?
मैंने देखा है कि मुझे बगैर किसी गलती के कंप्यूटर प्रोग्राम लिखने की तुलना में गणितीय प्रमाण लिखना बहुत आसान लगता है। ऐसा लगता है कि यह सिर्फ मेरे अनुभव की तुलना में कुछ अधिक व्यापक है। अधिकांश लोग अपनी प्रोग्रामिंग में हर समय सॉफ़्टवेयर बग बनाते हैं, और उनके …