网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
鹦鹉螺亚纲是什么意思
鹦鹉记是什么意思
鹦鹉赋是什么意思
鹧是什么意思
鹧鸪是什么意思
鹧鸪天是什么意思
鹧鸪斑是什么意思
鹧鸪菜是什么意思
鹨是什么意思
鹩是什么意思
鹩哥是什么意思
鹪是什么意思
鹪
█
是什么意思
鹪明是什么意思
鹪莺是什么意思
鹪鹩是什么意思
鹪鹩心是什么意思
鹫是什么意思
鹫山是什么意思
鹫峰山是什么意思
鹬是什么意思
鹬冠是什么意思
鹬蚌相持是什么意思
鹭是什么意思
鹭
█
是什么意思
электрогидроустановка 的意思
электрогидроустановка的意思
электрогироскоп的意思
электрогироскоп 的意思
электрогитара 的意思
электрогитара的意思
электроглянцеватель 的意思
электроглянцеватель的意思
электрогравиметрия 的意思
электрогравиметрия的意思
tariffs
tariff wall
tarlatan
tarmac
tarmacadam
tarmacadammed
tarmacadamming
tarmacadams
tarmacked
tarmacking
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/6/1 12:46:55