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

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	相变光盘是什么意思相变增韧是什么意思相变存储器是什么意思相变应力是什么意思相变强化是什么意思相变效应是什么意思相变材料纳米线是什么意思相变潜热是什么意思相变诱导塑性钢是什么意思相台五经是什么意思相合估计是什么意思相合检验是什么意思相合矩阵是什么意思相同是什么意思相向是什么意思相向运输是什么意思相君是什么意思相命是什么意思相和是什么意思相和歌是什么意思相因生义是什么意思相国是什么意思相国寺是什么意思相图是什么意思相土是什么意思 покурить的意思 покурить 的意思 покусать 的意思 покусать的意思 покуситься 的意思 покуситься的意思 покусывать 的意思 покусывать的意思 покушать的意思 покушать 的意思 bowknots bowl bowlder bowlders bowl down bowled bowleg bow-legged bowlegged bowlegs

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