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

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	钻削是什么意思钻削式采煤机是什么意思钻味是什么意思钻圈是什么意思钻天杨是什么意思钻天柳是什么意思钻天髻是什么意思钻头是什么意思钻孔机械是什么意思钻孔止水是什么意思钻孔灌注桩是什么意思钻山是什么意思钻床是什么意思钻心是什么意思钻思是什么意思钻探是什么意思钻探船是什么意思钻故纸是什么意思钻木得火是什么意思钻机是什么意思钻杆是什么意思钻柱是什么意思钻模是什么意思钻火得冰是什么意思钻灼是什么意思 десятый的意思 десятый 的意思 десять的意思 десять 的意思 десятью的意思 десятью 的意思 детаидер 的意思 детаидер的意思 детализатор的意思 детализатор 的意思赤露赤颈凫赤鹿赦赦免赦免权赦免的赦免者赦宥赦罪

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