网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
无穷小量是什么意思
无穷小量的阶是什么意思
无穷维动力系统是什么意思
无穷远点是什么意思
无窗畜舍是什么意思
无端是什么意思
无筋扩展基础是什么意思
无算是什么意思
无箱造型是什么意思
无米之炊是什么意思
无类是什么意思
无粉腐蚀制版是什么意思
无粒白细胞是什么意思
无粘性土是什么意思
无粮不聚兵是什么意思
无精打彩是什么意思
无约束最优化问题是什么意思
无级变速器是什么意思
无纸合同是什么意思
无纸社会是什么意思
无纸记录仪是什么意思
无纺布是什么意思
无线个域网是什么意思
无线传感器是什么意思
无线传感器网络是什么意思
шахта的意思
шахта 的意思
шахтер 的意思
шахтер的意思
шахтерка 的意思
шахтерка的意思
шахтерский的意思
шахтерский 的意思
шахтовладелец的意思
шахтовладелец 的意思
似杏仁岩的
似杏仁的
似枕头的
似树干的茎部
似桥的
似棉毛的
似橘柑的
似母牛的
似母鸡的公鸡
似毛的
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/9/5 20:24:34