Archie Blake (mathematician)
آرچی بلیک (پیدائش 1906) ایک امریکی ریاضی دان ہے۔ وہ بلیک کینونکل فارم کے لیے مشہور ہیں، جو پروپوزیشنل منطق میں تاثرات کے لیے ایک عام شکل ہے۔ کینونکل فارم کا حساب لگانے کے لیے، اس نے اتفاق رائے کا تصور بھی متعارف کرایا، جو ریزولوشن اصول کا پیش خیمہ تھا، جو آج خودکار تھیوریم ثابت کرنے میں ایک عام تکنیک ہے۔ 1930 میں وہ امریکن میتھمیٹیکل سوسائٹی (اے ایم ایس) کے رکن بن گئے۔ انہوں نے 29 اکتوبر 1932 کو کولمبیا یونیورسٹی میں اے ایم ایس میٹنگ میں اپنی کینونکل شکل پیش کی۔ 1937 میں، یہ کام شکاگو یونیورسٹی سے پی ایچ ڈی کا باعث بنا، جس کی نگرانی ریمنڈ والٹر برنارڈ نے کی۔ انہوں نے 1936 سے (یا اس سے پہلے) ریاضی دان کے طور پر، 1938 سے اسسٹنٹ ریاضی دان کے طور پر، اور 1939 سے ایسوسی ایٹڈ ریاضی دان کے طور پر واشنگٹن ڈی سی میں یو ایس کوسٹ اینڈ جیوڈیٹک سروے کے لیے کام کیا۔ 1946 میں، انہیں آرمی سرجن جنرل، واشنگٹن ڈی سی کے دفتر میں ایک سینئر شماریات دان مقرر کیا گیا۔ انہوں نے نیویارک کے بفیلو میں کارنیل ایروناٹیکل لیبارٹری کے لیے بھی کام کیا۔ وہاں سے، وہ 1954 میں بالٹیمور، ایم ڈی میں ویسٹنگ ہاؤس الیکٹرک کارپوریشن میں تبدیل ہو گئے، جہاں وہ ایک ایڈوائزری انجینئر بن گئے۔ 1956 میں وہ ویسٹنگ ہاؤس سے بینڈیکس ایوی ایشن کارپوریشن میں سسٹمز اسٹاف ریاضی دان کے طور پر چلے گئے۔ 1960 میں، وہ سڈبری، میساچوسٹس میں رے تھیون کے تجزیہ سیکشن کے مینیجر بن گئے۔ اشاعت-جرنل آف سمبولک لاجک میں جائزہ-اے ایم ایس کے بلیٹن میں خلاصہ، Vol.38، No.11، نومبر 1932، p. 6 (805)-اے ایم ایس 46 ویں سالانہ اجلاس میں بھی پیش کیا گیا، 26-29 دسمبر 1939 اوہائیو اسٹیٹ یونیورسٹی، کولمبس، اوہائیو حوالہ جات 1906 پیدائش کا سال شکاگو یونیورسٹی کے سابق طلباء 20 ویں صدی کے امریکی ریاضی دان بینڈیکس کارپوریشن کے لوگ