キャロル・カープ

キャロル・カープ（Carol Karp ）は、 1926年8月10日ミシガン州オタワ郡フォレストグローブ生まれ、1972年8月20日メリーランド州生まれの、オランダ系アメリカ人の数学者で、無限論理に関する研究で最もよく知られている。また、女性だけのオーケストラでビオラを演奏していた。 ^{[1] [2] [3]}

ミシガン州で農業資材店の店長と主婦の家庭に生まれたキャロルは、兄弟とともにオハイオ州の高校を卒業した。その後、インディアナ州マンチェスター大学を卒業し、ミシガン州立大学（当時はミシガン州立大学と呼ばれていた）で学ぶためにミシガンに戻り、1950年に修士号を取得した。^{[2] [3]}

1951年に彼女はアーサー・カープと結婚し、彼の姓を名乗った。彼女はアメリカ海軍に勤務する夫とともにカリフォルニアと日本を旅行しながら、大学院で数学の研究を続けた。^{[2] [3]彼女は1959年に}南カリフォルニア大学でレオン・ヘンキンの指導の下で博士号を取得した。彼女の博士論文は形式言語理論と無限論理学のもので、 「無限長の表現を持つ言語」であった。^[4] 彼女は後にそれを同名の本として出版した（ノースホランド出版、1964年）。^[5]

カープは博士号を取得する前、1958年にメリーランド大学カレッジパーク校で教職に就き、わずか7年後に教授に昇進し、「無限論理の理論発展のリーダー」となった。^{[3] 1969年に}乳がんと診断されたが、3年後に亡くなるまで活動を続けた。^{[2] [3]}

記号論理学会のカープ賞は彼女にちなんで名付けられている。この賞金は1973年に設立され、5年ごとに「前回の受賞以降に完了した一連の関連研究」に対して授与される。^[6]

• この記事には、Creative Commons Attribution-Share-Alike Licenseに基づいてライセンスされているPlanetMathの Carol Karp の資料が組み込まれています。