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

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	阿斯基亚王朝是什么意思阿斯塔乌罗夫是什么意思阿斯塔纳是什么意思阿斯塔菲耶夫是什么意思阿斯塔那墓群是什么意思阿斯塔那晋墓木简是什么意思阿斯奎斯是什么意思阿斯巴鲁赫是什么意思阿斯提阿那克斯是什么意思阿斯旺是什么意思阿斯旺水利枢纽是什么意思阿斯旺高坝是什么意思阿斯曼干湿表是什么意思阿斯比恩森是什么意思阿斯特拉罕是什么意思阿斯特拉罕州是什么意思阿斯特拉罕汗国是什么意思阿-斯综合征是什么意思阿斯肯是什么意思阿斯菲是什么意思阿斯蒂埃法案是什么意思阿斯顿是什么意思阿斯马拉是什么意思阿方索一世是什么意思阿方索十世是什么意思 обжить的意思 обжить 的意思 обжиться 的意思 обжиться的意思 обжора 的意思 обжора的意思 обжорливый 的意思 обжорливый的意思 обжорный 的意思 обжорный的意思 pick up the threads pickup truck pickup trucks pick up with ... pick up with sb. Pickwickian picky pick-your-own picnic picnic area

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