Archie Blake (matemático)

Charles Archibald Blake (24 de noviembre de 1906 - 7 de enero de 1971), cuyo nombre oficial cambió a Archie Blake ^{[ 1 ],} fue un matemático estadounidense. Es conocido por la forma canónica de Blake , una forma normal para expresiones en lógica proposicional . Para calcular la forma canónica, introdujo además el concepto de consenso , precursor del principio de resolución , una técnica común hoy en día en la demostración automática de teoremas .

En 1930, se convirtió en miembro de la Sociedad Matemática Estadounidense (AMS). ^{[ 2 ] [ 3 ]} Presentó su forma canónica en la reunión de la AMS en la Universidad de Columbia el 29 de octubre de 1932. ^{[ 4 ]} En 1937, este trabajo lo llevó a obtener un doctorado de la Universidad de Chicago , bajo la supervisión de Raymond Walter Barnard. ^{[ 5 ]}

Trabajó para el Servicio Geodésico y Costero de los Estados Unidos en Washington, DC , desde 1936 (o antes) como matemático , ^{[ 6 ]} desde 1938 como matemático asistente, ^{[ 7 ]} y desde 1939 como matemático asociado. ^{[ 8 ] [ 9 ]} En 1946, fue nombrado estadístico sénior en la Oficina del Cirujano General del Ejército , Washington, DC ^{[ 10 ]} También trabajó para el Laboratorio Aeronáutico de Cornell en Buffalo, Nueva York . De allí, cambió en 1954 a la Corporación Eléctrica Westinghouse en Baltimore, Md. , donde se convirtió en ingeniero asesor. ^{[ 11 ]} En 1956, se trasladó de Westinghouse a la Corporación de Aviación Bendix , como matemático de sistemas. ^{[ 12 ]} En 1960, se convirtió en gerente de la Sección de Análisis de Raytheon en Sudbury, Massachusetts . ^{[ 13 ]}

• Archie Blake (junio de 1931). Un conjunto de postulados para un sistema numérico generalizado (tesis de maestría). Universidad de Chicago. OCLC 43268249 . 
• Archie Blake (1938). Expresiones canónicas en álgebra booleana (tesis doctoral). Universidad de Chicago.— Reseña en el Journal of Symbolic Logic — Resumen en el Bulletin of the AMS , vol. 38, n.º 11, noviembre de 1932, pág. 6(805)
• Archie Blake (1940). "Problemas matemáticos en sismología". Transactions of the American Geophysical Union . 21 (4): 1094– 1113. Bibcode : 1940TrAGU..21.1094B . doi : 10.1029/TR021i004p01094 . hdl : 2027/mdp.39015094985945 . S2CID 4124975 . — También presentado en la 46.ª reunión anual de la AMS, del 26 al 29 de diciembre de 1939 en la Universidad Estatal de Ohio, Columbus, Ohio ^{[ 14 ]}
• Archie Blake (marzo de 1941). "La determinación exploratoria de distribuciones estadísticas" (PDF) . Boletín de la AMS . 47 (3): 216 (solo resumen).
• Archie Blake (septiembre de 1946). "Una derivación booleana del teorema de Moore-Osgood". The Journal of Symbolic Logic . 11 (3): 65– 70. doi : 10.2307/2266733 . JSTOR 2266733. S2CID 43141661 .  
• Archie Blake ( 1946). "Criterios para la realidad de periodicidades aparentes y otras regularidades" (PDF) . Travaux Scientifiques, Serie A. 16. IASPEI : 3–7 . OCLC 627514037 .