Archie Blake (mathematician)

In order to compute the canonical form, he moreover introduced the concept of consensus, which was a precursor of the resolution principle, today a common technique in automated theorem proving.

[2][3] He presented his canonical form at the AMS meeting at Columbia University on 29 Oct 1932.

[4] In 1937, this work lead to a Ph.D. from the University of Chicago, supervised by Raymond Walter Barnard.

[8][9] In 1946, he was appointed a Senior Statistician in the Office of the Army Surgeon General, Washington, D.C.[10] He also worked for the Cornell Aeronautical Laboratory in Buffalo, New York.

[11] In 1956, he moved from Westinghouse to the Bendix Aviation Corporation, as a Systems Staff Mathematician.