“丘奇论题”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	屠格涅夫是什么意思屠毒是什么意思屠沽是什么意思屠灭是什么意思屠绅是什么意思屠维是什么意思屠羊是什么意思屠耆王是什么意思屠肆是什么意思屠能是什么意思屠苏是什么意思屠裂是什么意思屠钓是什么意思屠门是什么意思屠门大嚼是什么意思屠隆是什么意思屠龙是什么意思屡是什么意思屡屡是什么意思屡教不改是什么意思屡次是什么意思屡次三番是什么意思屡空是什么意思屡见不鲜是什么意思屡试不爽是什么意思 оладья的意思 оладья 的意思 оластырь的意思 оластырь 的意思 олдермен的意思 олдермен 的意思 олеандомицин的意思 олеандомицин 的意思 олеандр的意思 олеандр 的意思应酬话应门应验底底价底侧的底土底基层底层底层的

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。