一般用語集

2. 用語集
3. 一般用語集
4. ち

一般用語集

ち

チャーチ【Alonzo Church】

項目	チャーチ【Alonzo Church】
意味	（1903-　） アメリカの数学者・論理学者。一階の述語論理の決定不可能性を証明するとともに，計算可能な関数を帰納的関数で定義することを提唱。また「記号論理学雑誌」を創刊し，数学基礎論・記号論理学の発展に貢献した。