网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
正一道是什么意思
正一道音乐是什么意思
正丁基锂是什么意思
正丁酸是什么意思
正三角形是什么意思
正业是什么意思
正中下怀是什么意思
正中神经是什么意思
正义是什么意思
正义两原则是什么意思
正义战争是什么意思
正义法规是什么意思
正义者同盟是什么意思
正义论是什么意思
正书是什么意思
正事是什么意思
正交是什么意思
正交变换是什么意思
正交各向异性是什么意思
正交多项式回归是什么意思
正交对比是什么意思
正交拉丁方是什么意思
正交旋转是什么意思
正交晶系是什么意思
正交矩阵是什么意思
минералогия 的意思
минералогия的意思
минерал-слутник的意思
минерал-слутник 的意思
минеральный的意思
минеральный 的意思
мини的意思
мини 的意思
мини-ЭВМ的意思
мини-ЭВМ 的意思
频道
频频
频频招手
颓
颓丧
颓丧的
颓势
颓唐
颓圯
颓废
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/10/22 0:12:47