Archie Blake (mathematician)

Charles Archibald Blake (November 24, 1906 - January 7, 1971), name officially changed to Archie Blake was an American mathematician. He is well known for the Blake canonical form, a normal form for expressions in propositional logic. 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.