Jump to content
 







Main menu
   


Navigation  



Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Donate
 




Contribute  



Help
Learn to edit
Community portal
Recent changes
Upload file
 








Search  

































Create account

Log in
 









Create account
 Log in
 




Pages for logged out editors learn more  



Contributions
Talk
 



















Contents

   



(Top)
 


1 Career  





2 Publications  





3 References  














Archie Blake (mathematician)







Add links
 









Article
Talk
 

















Read
Edit
View history
 








Tools
   


Actions  



Read
Edit
View history
 




General  



What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Cite this page
Get shortened URL
Download QR code
Wikidata item
 




Print/export  



Download as PDF
Printable version
 
















Appearance
   

 






From Wikipedia, the free encyclopedia
 


Signature of Archie Blake

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

Career[edit]

In 1930, he became a member of the American Mathematical Society (AMS).[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.[5]

He worked for the United States Coast and Geodetic SurveyinWashington, D.C., from 1936 (or earlier) as a mathematician,[6] since 1938 as an Assistant Mathematician,[7] and since 1939 as an Associated Mathematician.[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 LaboratoryinBuffalo, New York. From there, he changed in 1954 to the Westinghouse Electric CorporationinBaltimore, Md., where he became an Advisory Engineer.[11] In 1956, he moved from Westinghouse to the Bendix Aviation Corporation, as a Systems Staff Mathematician.[12] In 1960, he became a Manager of the Analysis Section of RaytheoninSudbury, Massachusetts.[13]

Publications[edit]

References[edit]

  • ^ Bulletin of the AMS, Mar 1931, Vol.37, No.3, p.3(131), "Annual meeting in Cleveland, Dec 29-31, 1930"
  • ^ Bulletin of the AMS, Oct 1931, Vol.37, No.9, "Additional members of the Society and changes of title or address October, 1931". Blake is designate as new member.
  • ^ Bulletin of the AMS, Jan 1933, Vol.39, No.1, p.1,2
  • ^ Archie Blake at the Mathematics Genealogy Project
  • ^ AMS Member List, Sep 1936, p.4(16)
  • ^ AMS Member List, Sep 1938, p.4(14)
  • ^ The University of Chicago Magazine Mar 1939: "Archie Blake, SM'31, PhD'37, has recently been appointed associate mathematician for the U S. Coast and Geodetic Survey, in Philadelphia."
  • ^ AMS Member List, Sep 1940, p.4(12)
  • ^ Bulletin of the AMS, Sep 1946, Vol.52, No.9, p.2(801)
  • ^ AMS Notices, Issue No.5, Oct 1954, p.12
  • ^ AMS Notices, Issue No.18, Aug 1956, p.41
  • ^ AMS Notices, Vol.7, No.3, Issue 46, Jun 1960, p.45(321)
  • ^ Bulletin of the AMS, Vol.46, No.3, "The annual meeting of the Society", p.3 (189)
  • t
  • e

  • Retrieved from "https://en.wikipedia.org/w/index.php?title=Archie_Blake_(mathematician)&oldid=1194589756"

    Categories: 
    1906 births
    University of Chicago alumni
    20th-century American mathematicians
    Bendix Corporation people
    Mathematician stubs
    Hidden categories: 
    Articles with short description
    Short description matches Wikidata
    Year of death missing
    All stub articles
     



    This page was last edited on 9 January 2024, at 19:38 (UTC).

    Text is available under the Creative Commons Attribution-ShareAlike License 4.0; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.



    Privacy policy

    About Wikipedia

    Disclaimers

    Contact Wikipedia

    Code of Conduct

    Developers

    Statistics

    Cookie statement

    Mobile view



    Wikimedia Foundation
    Powered by MediaWiki