Арчи Блейк (математик)
Арчи Блейк (род. 1906) [1] — американский математик. Он хорошо известен канонической формой Блейка , нормальной формой для выражений в логике высказываний . Кроме того, чтобы вычислить каноническую форму, он ввел понятие консенсуса , которое было предшественником принципа разрешения , который сегодня является распространенным методом автоматизированного доказательства теорем .
В 1930 году (или ранее) он стал членом Американского математического общества (AMS). [2] Он представил свою каноническую форму на собрании AMS в Колумбийском университете 29 октября 1932 г. [3] В 1937 г. эта работа привела к получению докторской степени. из Чикагского университета под руководством Рэймонда Уолтера Барнарда. [4]
Он работал в Береговой и геодезической службе США в Вашингтоне, округ Колумбия , с 1936 года (или ранее) в качестве математика, [5] с 1938 года в качестве помощника математика [6] и с 1939 года в качестве младшего математика. [7] [8] В 1946 году он был назначен старшим статистиком в Управлении главного хирурга армии , Вашингтон, округ Колумбия [9] Он также работал в Корнеллской авиационной лаборатории в Буффало, штат Нью-Йорк . Оттуда в 1954 году он перешел в Westinghouse Electric Corporation в Балтиморе, штат Мэриленд , где стал инженером-консультантом.[10] В 1956 году он перешел из Westinghouse в Bendix Aviation Corporation в качестве системного математика. [11] В 1960 году он стал менеджером аналитического отдела компании Raytheon в Садбери, штат Массачусетс . [12]
