出典: フリ?百科事典『ウィキペディア（Wikipedia）』
アロンゾ?チャ?チ
（
Alonzo Church
、
1903年
6月14日
-
1995年
8月11日
）は
アメリカ
の
論理?者
、
??者
である。
ラムダ計算
の創案者や、「
チャ?チ＝チュ?リングのテ?ゼ
」の提唱者として知られる。
??
[
編集
]
ワシントンD.C.
にて判事の父のもとに生まれ、
1924年
に
プリンストン大?
で?士?を取得した。同大?院に進み、
1927年
には
オズワルド?ヴェブレン
の指導のもと、
公理的集合論
に?する論文で博士?を取得した。
その後、
ハ?ヴァ?ド大?
、
ゲッティンゲン大?
等を?て、
1929年
にプリンストン大?助?授に就任。
1939年
には準?授、
1947年
には?授に昇格した。
1967年
、プリンストン大?を退官し、その後は
1990年
に退官するまで
カリフォルニア大?ロサンゼルス校
（
UCLA
）?授を務めた。特にプリンストン大?時代には、
S?C?クリ?ネ
、
ジョン?ロッサ?
、
アラン?チュ?リング
、
レオン?ヘンキン
、
デイナ?スコット
をはじめとする多くの弟子を育て、アメリカ論理?界に多大な影響を?えた。プリンストンでの講義ノ?トをもとに書かれた
?理論理?
の?科書
[5]
は、この分野の古典の一つとして?み?がれている。
??上の主な業績
[
編集
]
チャ?チの業績は多岐にわたっているが、主なものとしては、
が?げられる。この他にも、公理的集合論、
型理論
、?包論理に?する業績があり、また?理論理?分野以外では、
微分方程式
論や
ラプラス?換
に?する仕事もある。
『記?論理??誌』の編集者として
[
編集
]
チャ?チは『記?論理??誌』（
Journal of Symbolic Logic
）の創刊者の一人に名を連ねており、創刊された
1936年
から
1979年
にかけて、同誌のリヴュ?部門編集者を務めた。この間に彼がリヴュ?を執筆した論文は膨大な量にのぼり、この仕事はチャ?チのライフワ?クともいえるものだった。チャ?チは
1967年
にプリンストン大?からカリフォルニア大?ロサンゼルス校へと移ったが、これは、プリンストンがこのリヴュ?編集への支援を打ち切ったことが原因だと言われている。
また、
1936年
に彼が編纂した『記?論理?文?表』
[3]
は、その時点までに出版されたほぼすべての論理?文?を網羅し、その一つ一つに注?をつけたものであり、これは「論理?文?の
博物?
者」ともいうべきチャ?チの面目躍如たる仕事である。
主要著作
[
編集
]
- [1]
"An unsolvable problem in elementary number theory,"
American Journal of Mathematics,
Vol. 58, 1936, pp. 345-363.
- [2]
"A note on the Entscheidungsproblem,"
Journal of Symbolic Logic
, Vol. 1, 1936, pp. 40-41.
- [3]
"A bibliography of symbolic logic,"
Journal of Symbolic Logic
Vol. 1, 1936, pp. 121-218; Vol. 3, 1938, pp. 178-212. Revised and expanded edition reissued by ASL, 1985 (
ISBN 0821800841
).
- [4]
The Calculi of Lambda Conversion
, Princeton University Press, 1941.
- [5]
Introduction to Mathematical Logic, Part I
, Princeton University Press, 1944; Revised and enlarged edition, 1956 (
ISBN 0691079846
).
外部リンク
[
編集
]
