Archie Blake (matematiker)

Signatur av Archie Blake

Archie Blake (född 1906) är en amerikansk matematiker. Han är välkänd för Blakes kanoniska form , en normal form för uttryck i propositionslogik . För att beräkna den kanoniska formen introducerade han dessutom begreppet konsensus , som var en föregångare till upplösningsprincipen , idag en vanlig teknik för automatiserad teorembevisande .

Karriär

1930 (eller tidigare) blev han medlem i American Mathematical Society (AMS). Han presenterade sin kanoniska form vid AMS-mötet vid Columbia University den 29 oktober 1932. 1937 ledde detta arbete till en doktorsexamen . från University of Chicago , övervakad av Raymond Walter Barnard.

Han arbetade för US Coast and Geodetic Survey i Washington, DC , sedan 1936 (eller tidigare) som matematiker, sedan 1938 som assisterande matematiker och sedan 1939 som Associated Mathematician. 1946 utsågs han till senior statistiker vid Army Surgeon Generals kontor , Washington, DC. Han arbetade också för Cornell Aeronautical Laboratory i Buffalo, New York . Därifrån bytte han 1954 till Westinghouse Electric Corporation i Baltimore, Md. , där han blev rådgivande ingenjör. 1956 flyttade han från Westinghouse till Bendix Aviation Corporation , som en systempersonalmatematiker. 1960 blev han chef för analyssektionen på Raytheon i Sudbury, Massachusetts .

Archie Blake (juni 1931). En uppsättning postulat för ett generaliserat talsystem (Masteruppsats). University of Chicago. OCLC 43268249 .
Archie Blake (1938). Canonical Expressions in Boolean Algebra (Ph.D.-avhandling). University of Chicago. — Recension i Journal of Symbolic Logic — Sammanfattning i Bulletin of the AMS , Vol.38, No.11, Nov 1932, s.6(805)
Archie Blake (1940). "Matematiska problem i seismologi". Transaktioner från American Geophysical Union . 21 (4): 1094–1113. Bibcode : 1940TrAGU..21.1094B . doi : 10.1029/TR021i004p01094 . S2CID 4124975 .
Archie Blake (mars 1941). "Den utforskande bestämningen av statistiska fördelningar" (PDF) . Bulletin för AMS . 47 (3): 216 (endast abstrakt).
Archie Blake (sep 1946). "En boolesk härledning av Moore-Osgood-satsen". The Journal of Symbolic Logic . 11 (3): 65–70. doi : 10.2307/2266733 . JSTOR 2266733 . S2CID 43141661 .
Archie Blake (1946). "Kriterier för verkligheten av uppenbara periodiciteter och andra regelbundenheter" ( PDF) . Travaux Scientifiques, serie A . IASPEI . 16 :3–7. OCLC 627514037 .