英语词汇“Church's theorem”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	Church's theorem
释义	Definition of Church's theorem in English: Church's theorem noun Logic Mathematics A theorem stating that all propositions in first-order predicate logic are undecidable. Origin 1930s; earliest use found in Journal of Symbolic Logic. Definition of Church's theorem in US English: Church's theorem noun Logic Mathematics A theorem stating that all propositions in first-order predicate logic are undecidable. Origin 1930s; earliest use found in Journal of Symbolic Logic.
随便看	metered metered meter-feeder meter-feeding meter-gage metering meterist meterless meter maid meter-park meter-parking meter reader meter reading meters meter zone metes metes and bounds metes and bounds mete something out mete something out mete sth out mete-stick metestrous metestrum metestrus

英语词典包含464360条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

Definition of Church's theorem in English: