アーチー・ブレイク（数学者）

チャールズ・アーチボルド・ブレイク（1906年11月24日 - 1971年1月7日）、後に正式にアーチー・ブレイク^{[ 1 ]}と改名した彼は、アメリカの数学者でした。彼は、命題論理の式の標準形であるブレイク標準形でよく知られています。標準形を計算するために、彼は合意の概念も導入しました。これは、今日では自動定理証明で一般的な手法である分解原理の先駆けとなりました。

1930年、彼はアメリカ数学会（AMS）の会員になった。^{[ 2 ] [ 3 ]}彼は1932年10月29日にコロンビア大学で開催されたAMSの会合で、自身の標準形を発表した。^{[ 4 ]} 1937年、この研究はレイモンド・ウォルター・バーナードの指導の下、シカゴ大学から博士号を取得した。^{[ 5 ]}

彼は1936年（またはそれ以前）からワシントンDCの米国沿岸測地測量局で数学者として働き、^{[ 6 ]} 1938年からはアシスタント数学者として、^{[ 7 ]} 1939年からはアソシエイテッド数学者として働いた。^{[ 8 ] [ 9 ]} 1946年には、ワシントンDCの陸軍軍医総監 室の上級統計学者に任命された。^{[ 10 ]}また、ニューヨーク州バッファローのコーネル航空研究所 でも働いた。そこから1954年にメリーランド州ボルチモアのウェスティングハウス・エレクトリック社に移り、顧問エンジニアとなった。^{[ 11 ]} 1956年にはウェスティングハウスからベンディックス航空会社 に移り、システムスタッフ数学者となった。^{[ 12 ]} 1960年、彼はマサチューセッツ州サドベリーにあるレイセオン の分析部門のマネージャーになった。^{[ 13 ]}

• アーチー・ブレイク（1931年6月）。一般化された数体系の公準（修士論文）。シカゴ大学。OCLC 43268249。 
• アーチー・ブレイク（1938）。ブール代数における正準式（博士論文）。シカゴ大学。— 『記号論理学ジャーナル』におけるレビュー— 『アメリカ数学会報』第38巻第11号、1932年11月、6ページ（805ページ）における要約
• Archie Blake (1940). "地震学における数学的問題".アメリカ地球物理学連合会報. 21 (4): 1094– 1113. Bibcode : 1940TrAGU..21.1094B . doi : 10.1029/TR021i004p01094 . hdl : 2027/mdp.39015094985945 . S2CID 4124975 . —また、1939年12月26日～29日にオハイオ州コロンバスのオハイオ州立大学で開催されたAMS第46回年次総会でも発表された^{[ 14 ] 。}
• アーチー・ブレイク（1941年3月）「統計分布の探索的決定」（PDF）。米国数学会報。47 （ 3）：216（要約のみ）。
• Archie Blake (1946 年 9 月)「ムーア・オズグッド定理のブール論理による導出」 『記号論理学ジャーナル』11 (3): 65–70 . doi : 10.2307/2266733 . JSTOR 2266733. S2CID 43141661 .  
• アーチー・ブレイク（1946）。 「見かけ上の周期性およびその他の規則性の現実性に関する基準」（PDF）。科学論文集、シリーズA。16。IASPEI ：3–7。OCLC 627514037。