संगणक के आरंभिक दिनों से, कुछ लोगों ने प्रोग्रामिंग की औपचारिकता को एक कमी समझा और मशीनों को उनके कठोर आज्ञापन के लिए दोषी ठहराया। उन्हें उम्मीद थी कि अधिक 'बुद्धिमान' मशीनें बनेंगी जो बेमानी गतिविधियों को अस्वीकार करेंगी। उच्च स्तरीय भाषाओं ने सुधार के रूप में आगे बढ़ा है, अनेक मूर्खतापूर्ण त्रुटियों को त्रुटि संदेशों के माध्यम से पकड़ा है, गलत परिणामों के बजाय। हालांकि, अमूर्त मशीन अब भी एक विश्वासपूर्वक दास बनी हुई है, बेमानी निर्देशों को पूरी तरह से करने में समर्थ है। प्रोग्रामिंग में अब भी औपचारिक प्रतीकवाद और इसकी आवश्यकता बनी हुई है।
प्राकृतिक भाषाओं में निर्देश देने वाली मशीनों के डिजाइन का प्रस्ताव मशीन के भार को बढ़ा देगा, लेकिन समर्थकों ने तर्क दिया कि यह मानव जीवन को सरल बनाएगा। इसमें यह धारणा है कि औपचारिक प्रतीकवाद का उपयोग करने की जिम्मेदारी कठिनाई का स्रोत है। लेखक को इस तर्क पर संदेह है, यह दर्शाते हुए कि इंटरफेस चुनाव केवल श्रम के विभाजन का नहीं है—इंटरफेसों के माध्यम से संचार कार्य जोड़ा जाना चाहिए।
इतिहास से पता चलता है कि औपचारिक प्रतीकवाद ने प्रगति को सक्षम बनाया। यूनानी गणित वाचिक रूप में अक्षम हो गया, और आधुनिक विश्व तब उभरा जब पश्चिम यूरोप ने वियेटा, डिकार्ट, लाइबनिज और बूल द्वारा डिजाइन किए गए सावधानीपूर्वक डिजाइन किए गए औपचारिकताओं से वाचिक सटीकता से आज़ादी हासिल की। औपचारिक पाठों में मान्य रूपांतरण के लिए केवल सरल नियम होते हैं, जो अक्सर प्राकृतिक भाषाओं द्वारा उत्पन्न होने वाले बेमानी को प्रभावी ढंग से बाहर रखते हैं।
स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित