아치 블레이크 (수학자)
Archie Blake (mathematician)아치 블레이크(Archie Blake, 1906년 ~[1] )는 미국의 수학자이다.그는 명제논리에서의 표현의 정상적인 형태인 블레이크 표준형으로 잘 알려져 있다.정준형을 계산하기 위해, 그는 또한 해상도 원리의 선구자였던 합의의 콘셉트를 도입했는데, 이것은 오늘날 자동화된 정리 증명에서 일반적인 기술이다.
직업
1930년(또는 그 이전)에 그는 미국수학회(AMS)[2]의 회원이 되었다.그는 [3]1932년 10월 29일 콜롬비아 대학에서 열린 AMS 회의에서 그의 표준 양식을 발표했다.1937년, 이 연구는 레이먼드 월터 [4]바너드의 감독 하에 시카고 대학에서 박사학위를 받게 되었다.
그는 1936년부터 수학자로, 1938년부터 보조 [5]수학자로,[6] 1939년부터 연합 [7][8]수학자로 워싱턴 D.C.에 있는 미국 해안 및 측지학 조사에서 일했다.1946년, 그는 워싱턴 D. C.[9]의 육군 의무총장실에서 선임 통계학자로 임명되었습니다.그는 또한 뉴욕 버팔로의 코넬 항공 연구소에서 일했다.1954년 메릴랜드주 볼티모어에 있는 웨스팅하우스 전기공사로 옮겨 자문 [10]엔지니어가 되었습니다.1956년 그는 웨스팅하우스에서 Bendix Aviation Corporation으로 시스템 스태프 수학자로 [11]자리를 옮겼다.1960년에는 매사추세츠주 [12]서드베리에 있는 레이시온의 분석 부문의 매니저가 되었습니다.
출판물
- Archie Blake (Jun 1931). A set of postulates for a generalized number system (Master's thesis). University of Chicago. OCLC 43268249.
- Archie Blake (1938). Canonical Expressions in Boolean Algebra (Ph.D. thesis). University of Chicago. - 심볼 논리 저널의 리뷰 - AMS의 회보, Vol.38, No.11, 1932년 11월, 페이지 6(805)의 요약
- Archie Blake (1940). "Mathematical problems in seismology". Transactions of the American Geophysical Union. 21 (4): 1094–1113. Bibcode:1940TrAGU..21.1094B. doi:10.1029/TR021i004p01094.
- Archie Blake (Mar 1941). "The exploratory determination of statistical distributions" (PDF). Bulletin of the AMS. 47 (3): 216 (abstract only).
- Archie Blake (Sep 1946). "A Boolean Derivation of the Moore-Osgood Theorem". The Journal of Symbolic Logic. 11 (3): 65–70. doi:10.2307/2266733. JSTOR 2266733.
- Archie Blake (1946). "Criteria for the reality of apparent periodicities and other regularities" (PDF). Travaux Scientifiques, Series A. IASPEI. 16: 3–7. OCLC 627514037.
레퍼런스
- ^ "Blake, Archie, 1906- - LC Linked Data Service: Authorities and Vocabularies Library of Congress, from LC Linked Data Service: Authorities and Vocabularies (Library of Congress)".
- ^ AMS 회보, 1931년 3월, Vol.37, No.3, p.3(131), "Cleveland에서 열린 연차총회, 1930년 12월 29-31일"
- ^ AMS 회보, 1933년 1월, 제39권, 제1호, 페이지 1,2
- ^ 수학 계보 프로젝트의 아치 블레이크
- ^ AMS 회원 목록, 1936년 9월, 페이지 4(16)
- ^ AMS 회원 목록, 1938년 9월, 페이지 4(14)
- ^ 1939년 3월 시카고 대학 매거진: "아치 블레이크, SM'31, 박사 37은 최근 필라델피아에 있는 미국 해안 및 측지측량국의 보조 수학자로 임명되었습니다."
- ^ AMS 회원 목록, 1940년 9월, 페이지 4(12)
- ^ AMS 회보, 1946년 9월, 제52권, 제9호, 2페이지(801)
- ^ AMS 통지, 제5호, 1954년 10월, 페이지 12
- ^ AMS 통지, 제18호, 1956년 8월, 페이지 41
- ^ AMS 통지, Vol.7, No.3, 제46호, 1960년 6월, 페이지 45(321)