单词 チャーチ[Alonzo Church] 释义 チャーチ[Alonzo Church](1903—1995)アメリカの数学者·論理学者。計算可能な関数を帰納的関数で定義することを堤倡。数学基礎論·記号論理学に多くの業績がある。丘奇(1903—1995)。美国的数学家、逻辑学家,提倡用递归函数定义可计算的函数,在数学基础论、符号逻辑学方面做出许多业绩。 日汉互译翻译词典包含403511条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。 相关内容:“チャーチ”日汉翻译“チャーダーエフ”日汉翻译“チャーダーエフ[Pyotr Yakovlevich Chaadaev]”日汉翻译“チャーター便”日汉翻译“チャージング【charging】”日汉翻译