用語集一般用語集>チャーチ【Alonzo Church】

一般用語集


チャーチ【Alonzo Church】 一般用語集 ち


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


一般用語集 五十音順