“丘奇论题”的意思、用法、组词造句及英语翻译-汉语字词典-格斯网

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	短笛是什么意思短箫铙歌是什么意思短篇小说是什么意思短簇簇是什么意思短纤增强铝基复合材料是什么意思短纤维增强体是什么意思短纤维增强金属基复合材料是什么意思短线产品是什么意思短绌是什么意思短缺是什么意思短缺经济是什么意思短耳鸮是什么意思短肠综合征是什么意思短肢剪力墙结构是什么意思短脉是什么意思短膜虫是什么意思短至是什么意思短节目是什么意思短裂纹是什么意思短褐是什么意思短见是什么意思短视是什么意思短角牛是什么意思短角球是什么意思短言是什么意思 стриктура的意思 стрингер的意思 стрингер 的意思 стрингерно-балочный的意思 стрингерно-балочный 的意思 стрингерный的意思 стрингерный 的意思 стриппер 的意思 стриппер的意思 стрипперный 的意思墨西哥墨西哥人墨西哥柿子墨西哥的墨西哥类蜀黍墨西哥粗糖墨迹墨鱼墨鱼骨墩

格斯网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。