アロンゾ・チャーチ

伝記

アロンゾ・チャーチは、1903年6月14日、ワシントンD.C.に生まれたアメリカの論理学者、数学者である。父サミュエル・ロビンズ・チャーチはコロンビア特別区の地方裁判所の判事で、曾祖父は数学と天文学の教授からフランクリン・カレッジ(現在のジョージア大学)の学長となって30年務め、祖父は連邦上院の司書で書誌学者であった。父の視力と聴力が衰えて退職を余儀なくされると、一家はバージニアへ移り、チャーチは弟のランドルフとそこで育った。ニュージャージー州ニューアークに住む叔父が経済的に支え、子どもたちの教育にも関わった。空気銃の事故で片目を失ったが、コネティカット州のリッジフィールド校で学び、1920年に卒業した。

プリンストン大学に入り、学部時代の1924年にローレンツ変換の一意性についての論文を発表して、同年に学士号を取った。大学院に進み、看護学生のメアリー・ジュリア・クチンスキと結婚して、のちに三人の子をもうけた。1927年にはオズワルド・ヴェブレンの指導のもと、選択公理が偽となる論理を調べた論文で3年かけて博士号を取得した。この学位で得た研究奨学金で各地を巡り、1927年夏にはシカゴ大学で講師を務め、続いてハーヴァード大学に滞在し、ゲッティンゲン大学ではダーフィト・ヒルベルトとパウル・ベルナイスに会い、アムステルダム大学ではブラウワーに会った。1929年にプリンストン大学の助教授となり、1939年に準教授、1947年に教授に昇格している。

1930年代のプリンストンは論理学の交流に適した場所で、ジョン・フォン・ノイマンがおり、チャーチの優秀な学生としてスティーヴン・クリーネ、ジョン・ロッサー、アラン・チューリングがいた。クルト・ゲーデルも不完全性定理の講演のために訪れ、のちに定住した。チャーチの主な業績には、ラムダ計算の創案、1階述語論理の決定不可能性の証明、チャーチ＝チューリングのテーゼの提唱がある。1936年に初等数論の解けない問題を扱った論文を発表し、機械的に計算できる関数を「効果的に計算可能な関数」と呼んだ。ほかにも公理的集合論や型理論、内包論理、微分方程式論やラプラス変換に関する仕事がある。

1936年に創刊された『記号論理学雑誌』の創刊者の一人で、同年から1979年まで書評部門の編集者を務め、膨大な量の書評を書いた。同じ年に編纂した『記号論理学文献表』は、その時点までのほぼすべての論理学文献を網羅して注釈を付けた仕事である。プリンストンでの講義ノートをもとにした数理論理学の教科書は、古典として読み継がれている。

1967年、プリンストンがこの書評編集への支援をやめたとされることから、チャーチはカリフォルニア大学ロサンゼルス校に移った。1976年に妻メアリーを亡くし、雑誌の編集を別の論理学者と分けるようになった。1978年に米国科学アカデミーの会員に選ばれ、1985年には母校から名誉学位を受け、複数の大学の名誉博士となったほか、イギリス学士院の通信会員、アメリカ芸術科学アカデミーの会員にもなった。1990年、87歳でロサンゼルス校を退官し、63年に及ぶ大学での経歴を終えた。1995年8月11日に没した。