Арчи Блейк (математик)
Чарльз Арчибальд Блейк (24 ноября 1906 - 7 января 1971), имя официально изменено на Арчи Блейк. [1] был американским математиком.Он хорошо известен благодаря канонической форме Блейка , нормальной форме выражений высказываний в логике .Кроме того, чтобы вычислить каноническую форму, он ввел концепцию консенсуса , которая была предшественником принципа разрешения , который сегодня является распространенным методом автоматического доказательства теорем .
Карьера
[ редактировать ]В 1930 году он стал членом Американского математического общества (AMS). [2] [3] Он представил свою каноническую форму на заседании AMS в Колумбийском университете 29 октября 1932 года. [4] В 1937 году эта работа привела к получению степени доктора философии. из Чикагского университета под руководством Рэймонда Уолтера Барнарда. [5]
работал в Береговой и геодезической службе США в Вашингтоне, округ Колумбия . С 1936 года (или ранее) математиком он [6] с 1938 года в должности помощника математика, [7] а с 1939 года — ассоциированный математик. [8] [9] В 1946 году он был назначен старшим статистиком в Управлении главного хирурга армии , Вашингтон, округ Колумбия. [10] Он также работал в Корнеллской авиационной лаборатории в Буффало, штат Нью-Йорк .Оттуда в 1954 году он перешел в компанию Westinghouse Electric Corporation в Балтиморе, штат Мэриленд , где стал инженером-консультантом. [11] В 1956 году он перешёл из Вестингауза в авиационную корпорацию Бендикс в качестве штатного системного математика. [12] В 1960 году он стал менеджером аналитического отдела компании Raytheon в Садбери, штат Массачусетс . [13]
Публикации
[ редактировать ]- Арчи Блейк (июнь 1931 г.). Набор постулатов для обобщенной системы счисления (магистерская диссертация). Чикагский университет. OCLC 43268249 .
- Арчи Блейк (1938). Канонические выражения в булевой алгебре (кандидатская диссертация). Чикагский университет. - Обзор в Журнале символической логики - Аннотация в Бюллетене AMS , том 38, № 11, ноябрь 1932 г., стр.6 (805).
- Арчи Блейк (1940). «Математические проблемы сейсмологии». Труды Американского геофизического союза . 21 (4): 1094–1113. Бибкод : 1940ТраГУ..21.1094Б . дои : 10.1029/TR021i004p01094 . hdl : 2027/mdp.39015094985945 . S2CID 4124975 . - Также представлено на 46-м ежегодном собрании AMS, 26-29 декабря 1939 г. в Университете штата Огайо, Колумбус, Огайо. [14]
- Арчи Блейк (март 1941 г.). «Исследовательское определение статистических распределений» (PDF) . Вестник АМС . 47 (3): 216 (только аннотация).
- Арчи Блейк (сентябрь 1946 г.). «Булев вывод теоремы Мура-Осгуда». Журнал символической логики . 11 (3): 65–70. дои : 10.2307/2266733 . JSTOR 2266733 . S2CID 43141661 .
- Арчи Блейк (1946). «Критерии реальности кажущейся периодичности и других закономерностей» (PDF) . Travaux Scientifiques, Серия А. 16 . ИАСПИ : 3–7. OCLC 627514037 .
Ссылки
[ редактировать ]- ^ «Некоторые из племени Арчибальда» (PDF) .
- ↑ Бюллетень AMS , март 1931 г. , том 37, № 3, стр. 3 (131), «Ежегодное собрание в Кливленде, 29–31 декабря 1930 г.»
- ^ Бюллетень AMS , октябрь 1931 г., том 37, № 9, «Дополнительные члены Общества и изменения названия или адреса, октябрь 1931 г.» . Блейк назначен новым участником.
- ↑ Вестник АМС , январь 1933 , Том 39, №1, стр.1,2
- ^ Арчи Блейк в проекте «Математическая генеалогия»
- ^ Список членов AMS , сентябрь 1936 г., стр.4 (16)
- ^ Список членов AMS , сентябрь 1938 г., стр.4 (14)
- ^ Журнал Чикагского университета, март 1939 г .: «Арчи Блейк, SM'31, доктор философии'37, недавно был назначен младшим математиком Береговой и геодезической службы США в Филадельфии».
- ^ Список членов AMS , сентябрь 1940 г., стр.4 (12)
- ^ Бюллетень АМС , сентябрь 1946 г. , Том 52, № 9, стр. 2 (801)
- ^ Уведомления AMS , выпуск № 5 , октябрь 1954 г., стр. 12.
- ^ Уведомления AMS , выпуск № 18 , август 1956 г., стр. 41.
- ^ Уведомления AMS , Том 7, № 3, выпуск 46 , июнь 1960 г., стр. 45 (321)
- ↑ Бюллетень АМС , Том 46, №3, «Годовое собрание Общества» , стр.3 (189)
 | Эта статья математике незавершена . о Вы можете помочь Википедии, расширив ее . |