网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
勤王运动是什么意思
勤紧是什么意思
勤约是什么意思
勤苦是什么意思
勤谨是什么意思
勤难是什么意思
勥是什么意思
勮是什么意思
勯是什么意思
勰是什么意思
勷是什么意思
勺是什么意思
勺
█
是什么意思
勺鸡是什么意思
勼是什么意思
勾是什么意思
勾串是什么意思
勾乙是什么意思
勾决是什么意思
勾勒是什么意思
勾卒是什么意思
勾对角是什么意思
勾引是什么意思
勾当是什么意思
勾当官是什么意思
двухкомнатный的意思
двухкомнатный 的意思
двухкомпонентный 的意思
двухкомпонентный的意思
двухконтактный的意思
двухконтактный 的意思
двухконтурность 的意思
двухконтурность的意思
двухконтурный 的意思
двухконтурный的意思
choosier
choosiest
choosiness
choosing
choosy
chop
chop and change
chop block
chopboat
chop-chop
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/9/5 20:43:26