网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
时迈是什么意思
时运是什么意思
时量词是什么意思
时钟是什么意思
时钟发生器是什么意思
时钟座是什么意思
时钟恢复是什么意思
时钟提取是什么意思
时钟频率是什么意思
时钟馈通是什么意思
时长计费是什么意思
时间是什么意思
时间一致性是什么意思
时间不一致性是什么意思
时间之矢是什么意思
时间估计是什么意思
时间偏好是什么意思
时间储蓄是什么意思
时间分辨光谱是什么意思
时间判罚是什么意思
时间制是什么意思
时间制度是什么意思
时间副词是什么意思
时间加权平均容许浓度是什么意思
时间占有率是什么意思
подпихнуть的意思
подпихнуть 的意思
подпласток的意思
подпласток 的意思
подплетина的意思
подплетина 的意思
подплывать 的意思
подплывать的意思
подплыть的意思
подплыть 的意思
fingerparted
finger plate
fingerplate
fingerpost
fingerposts
fingerprint
fingerprinted
fingerprinting
fingerprints
finger reading
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/10/28 20:12:24