网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
静态显示器是什么意思
静态最优化问题是什么意思
静态比较是什么意思
静态污染源是什么意思
静态焦点是什么意思
静态的理性批判是什么意思
静态组比较设计是什么意思
静态经济学是什么意思
静态随机存取存储器是什么意思
静态雕塑是什么意思
静态预算是什么意思
静息电位是什么意思
静息膜电位是什么意思
静悄是什么意思
静惕堂词是什么意思
静惕堂诗集是什么意思
静拉是什么意思
静振是什么意思
静摩擦是什么意思
静摩擦系数是什么意思
静止是什么意思
静止中心是什么意思
静止动作是什么意思
静止卫星导航重叠是什么意思
静止无功发生器是什么意思
айвовый 的意思
айвовый的意思
айда 的意思
айда的意思
айдырлит 的意思
айдырлит的意思
айкинит 的意思
айкинит的意思
аймак的意思
аймак 的意思
aristotype
arith.
arithmancy
arithmetic
arithmetical
arithmetically
arithmetical mean
arithmetical progression
arithmetical progressions
arithmetician
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/10/28 18:24:04