网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
洁己奉公是什么意思
洁廉是什么意思
洁悫是什么意思
洁敬是什么意思
洁楹是什么意思
洁清是什么意思
洁牙是什么意思
洁癖是什么意思
洁白是什么意思
洁腹是什么意思
洁身自好是什么意思
洄是什么意思
洄悬是什么意思
洄洄是什么意思
洄洑是什么意思
洄流是什么意思
洄游是什么意思
洄游路线是什么意思
洄溪道情是什么意思
洆是什么意思
洇是什么意思
洇润是什么意思
洈是什么意思
洊是什么意思
洊密是什么意思
полисилоксан的意思
полисилоксан 的意思
полисмен 的意思
полисмен的意思
полисный的意思
полисный 的意思
полисомы的意思
полисомы 的意思
полиспермия的意思
полиспермия 的意思
蓝皮书
蓝藻
蓝试纸
蓝铜矿
蓝靛
蓝领阶级
蓟
蓦
蓦然
蓦然地
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/7/16 17:48:24