递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处：数理化力学卷-->数　　学-->数理逻辑·数学基础鲁虺大辞海" />

鲁虺大辞海
输入关键词：
类目资源： 智虺堂 康熙字典 汉语词典 毒鸡汤 谜语 名言 解梦 谚语 古籍溯源 异体字 大辞海 制度 语言翻译

鲁虺大辞海 / 丘奇论题上一个 查看全部 下一个

丘奇论题

丘奇论题 数理化力学卷 丘奇论题
　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“';document.write(url);