Archie Blake (matemático)

Firma de Archie Blake

Charles Archibald Blake (24 de noviembre de 1906 - 7 de enero de 1971), cuyo nombre cambió oficialmente 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 , que fue un precursor del principio de resolución , hoy una técnica común en la demostración automática de teoremas .

Carrera

En 1930, se convirtió en miembro de la Sociedad Matemática Americana (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 condujo a un doctorado de la Universidad de Chicago , supervisado por Raymond Walter Barnard. ^[5]

Trabajó para el United States Coast and Geodetic Survey 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 . Desde allí, cambió en 1954 a la Westinghouse Electric Corporation en Baltimore, Maryland , donde se convirtió en ingeniero asesor. ^[11] En 1956, se trasladó de Westinghouse a la Bendix Aviation Corporation , como matemático del personal 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 de Boole (tesis doctoral). Universidad de Chicago.— Reseña en el Journal of Symbolic Logic — Resumen en Bulletin of the AMS , vol. 38, n.º 11, noviembre de 1932, pág. 6(805)
Archie Blake (1940). "Problemas matemáticos en sismología". Transacciones de la Unión Geofísica Americana . 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 (sólo 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 las periodicidades aparentes y otras regularidades" ( PDF) . Travaux Scientifiques, Serie A. 16. IASPEI : 3–7. OCLC 627514037.

^ "Algunos de la tribu Archibald" (PDF) .
^ Boletín de la AMS , marzo de 1931, vol. 37, n.º 3, pág. 3(131), "Reunión anual en Cleveland, 29-31 de diciembre de 1930"
^ Boletín de la AMS , octubre de 1931, vol. 37, n.º 9, "Miembros adicionales de la Sociedad y cambios de título o dirección en octubre de 1931". Blake es designado como nuevo miembro.
^ Boletín de la AMS , enero de 1933, vol. 39, n.º 1, pág. 1, 2
^ Archie Blake en el Proyecto de Genealogía Matemática
^ Lista de miembros de la AMS, septiembre de 1936, pág. 4(16)
^ Lista de miembros de la AMS, septiembre de 1938, pág. 4(14)
^ The University of Chicago Magazine, marzo de 1939: "Archie Blake, SM'31, PhD'37, ha sido recientemente nombrado matemático asociado del Servicio Geodésico y Costero de Estados Unidos, en Filadelfia".
^ Lista de miembros de la AMS, septiembre de 1940, pág. 4(12)
^ Boletín de la AMS , septiembre de 1946, vol. 52, n.º 9, pág. 2(801)
^ Avisos de la AMS , número 5, octubre de 1954, pág. 12
^ Avisos de la AMS , número 18, agosto de 1956, pág. 41
^ Avisos de la AMS , vol. 7, n.º 3, número 46, junio de 1960, pág. 45(321)
^ Boletín de la AMS , vol. 46, n.º 3, "La reunión anual de la Sociedad", pág. 3 (189)