Archie Blake (mathematician)
आर्ची ब्लेक (जन्म 1906) एक अमेरिकी गणितशास्त्री हैं। वह ब्लेक कैनोनिकल रूप के लिए जाने जाते हैं, जो प्रस्तावात्मक तर्क में अभिव्यक्तियों के लिए एक सामान्य रूप है। विहित रूप की गणना करने के लिए, उन्होंने सर्वसम्मति की अवधारणा को भी पेश किया, जो संकल्प सिद्धांत का अग्रदूत था, जो आज स्वचालित प्रमेय साबित करने में एक सामान्य तकनीक है। 1930 में वे अमेरिकन मैथमेटिकल सोसाइटी (ए. एम. एस.) के सदस्य बने। उन्होंने 29 अक्टूबर 1932 को कोलंबिया विश्वविद्यालय में ए. एम. एस. बैठक में अपना विहित रूप प्रस्तुत किया। 1937 में, इस काम ने रेमंड वाल्टर बर्नार्ड की देखरेख में शिकागो विश्वविद्यालय से पीएचडी की। उन्होंने 1936 से (या उससे पहले) एक गणितशास्त्री के रूप में, 1938 से एक सहायक गणितशास्त्री के रूप में और 1939 से एक संबद्ध गणितशास्त्री के रूप में वाशिंगटन, डी. सी. में यू. एस. कोस्ट एंड जियोडेटिक सर्वे के लिए काम किया। 1946 में, उन्हें सेना सर्जन जनरल, वाशिंगटन, डी. सी. के कार्यालय में एक वरिष्ठ सांख्यिकीविद् नियुक्त किया गया था। उन्होंने न्यूयॉर्क के बफ़ेलो में कॉर्नेल एयरोनॉटिकल लेबोरेटरी के लिए भी काम किया। वहाँ से, वे 1954 में बाल्टीमोर, एम. डी. में वेस्टिंगहाउस इलेक्ट्रिक कॉर्पोरेशन में बदल गए, जहाँ वे एक सलाहकार इंजीनियर बन गए। 1956 में, वे वेस्टिंगहाउस से बेंडिक्स एविएशन कॉर्पोरेशन में एक सिस्टम स्टाफ गणितशास्त्री के रूप में चले गए। 1960 में, वे सडबरी, मैसाचुसेट्स में रेथियॉन के विश्लेषण अनुभाग के प्रबंधक बने। प्रकाशन-जर्नल ऑफ सिम्बोलिक लॉजिक में समीक्षा-ए. एम. एस. के बुलेटिन में सार, Vol.38, No.11, नवंबर 1932, पी. 6 (805)-ए. एम. एस. की 46वीं वार्षिक बैठक, 26-29 दिसंबर 1939 में ओहियो स्टेट यूनिवर्सिटी, कोलंबस, ओहियो में भी प्रस्तुत किया गया।