网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
瓶中肚脐是什么意思
瓶子草是什么意思
瓶尔小草是什么意思
瓶庐诗稿是什么意思
瓶水斋诗集是什么意思
瓶沙王是什么意思
瓶窑是什么意思
瓶笙是什么意思
瓶笙馆修箫谱是什么意思
瓶筲是什么意思
瓶锡是什么意思
瓶颈是什么意思
瓶颈产业是什么意思
瓶颈垄断是什么意思
瓶颈效应是什么意思
瓶颈资源是什么意思
瓶颈路段是什么意思
瓷是什么意思
瓷仓是什么意思
瓷俑是什么意思
瓷凳是什么意思
瓷分格盘是什么意思
瓷器是什么意思
瓷土是什么意思
瓷枕是什么意思
ракета-торпеда的意思
ракета-торпеда 的意思
ракета-фоторазведчик的意思
ракета-фоторазведчик 的意思
ракета-цель的意思
ракета-цель 的意思
ракетизация的意思
ракетизация 的意思
ракетка的意思
ракетка 的意思
endarterectomy
endarteritis
endarterium
end-blown
endbrain
end button
end-consumer
endear
endeared
endearing
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/1/29 22:39:34