网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
卡巴雷加国家公园是什么意思
卡巴雷加瀑布是什么意思
卡布拉尔是什么意思
卡布拉巴萨水库是什么意思
卡布罗是什么意思
卡希亚斯公爵城是什么意思
卡帕是什么意思
卡帕多细亚是什么意思
卡廷事件是什么意思
卡彭铁尔是什么意思
卡律布狄斯是什么意思
卡德尔是什么意思
卡德摩斯是什么意思
卡德沃思是什么意思
卡德瓦隆是什么意思
卡德纳斯是什么意思
卡德蒙是什么意思
卡恩是什么意思
卡扎凯维奇是什么意思
卡扎尔王朝是什么意思
卡扎菲是什么意思
卡托·堪布累齐和约是什么意思
卡托普利是什么意思
卡托纳是什么意思
卡托维兹是什么意思
кредит-ноты的意思
кредитный 的意思
кредитный的意思
кредитование的意思
кредитование 的意思
кредитовать 的意思
кредитовать的意思
кредитоваться的意思
кредитоваться 的意思
кредитовый的意思
asphyxiant
asphyxiants
asphyxiate
asphyxiated
asphyxiates
asphyxiating
asphyxiation
asphyxiator
asphyxy
aspic
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/4/30 18:25:57