网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
印度豇豆是什么意思
印度食鱼鳄是什么意思
印张是什么意思
印房是什么意思
印把子是什么意思
印支期是什么意思
印支运动是什么意思
印数是什么意思
印数稿酬是什么意思
印斯和平协议是什么意思
印材是什么意思
印染助剂是什么意思
印染工艺是什么意思
印染废水是什么意思
印树叶是什么意思
印楝素是什么意思
印模法是什么意思
印次是什么意思
印欧混血人是什么意思
印欧语系是什么意思
印江是什么意思
印江土家族苗族自治县是什么意思
印沙安拉是什么意思
印油是什么意思
印泥是什么意思
гальванотехник的意思
гальванотехника 的意思
гальванотехника的意思
гальванотипия的意思
гальванотипия 的意思
гальванотропизм的意思
гальванотропизм 的意思
гальванохромия的意思
гальванохромия 的意思
галька的意思
hybridizes
hybridizing
hybrid network
hybrids
hybrid system
hydatid
Hyde
Hyde Park
Hyderabad
hydr-
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/7/30 5:11:54