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

单词	Church's theorem
释义	Church's theorem Logic and Mathematics noun A theorem stating that all propositions in first-order predicate logic are undecidable. Origin 1930s; earliest use found in Journal of Symbolic Logic.
随便看	tonguefish tongue-in-cheek tongue-lash tongue-lashing tongueless tongue ring tongue stud tongues wag tongue tie tongue-tied tongue-twister tongue-twisting tongue worm tonic tonically tonicity tonic sol-fa tonic water tonic–clonic tonification tonify tonight tonk tonka bean tonkatsu

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

Church's theorem