网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
国家医疗保险模式是什么意思
国家博士是什么意思
国家卫生部是什么意思
国家历史类型是什么意思
国家发展和改革委员会能源研究所是什么意思
国家司法机关是什么意思
国家哲学是什么意思
国家回归学说是什么意思
国家图书奖是什么意思
国家图书馆是什么意思
国家地图集是什么意思
国家垄断是什么意思
国家垄断资本主义是什么意思
国家型社会保障是什么意思
国家基础地理信息系统是什么意思
国家外债余额是什么意思
国家大众剧院是什么意思
国家大剧院是什么意思
国家大师是什么意思
国家奥林匹克体育中心是什么意思
国家奥林匹克体育中心体育场是什么意思
国家奥林匹克体育中心体育馆是什么意思
国家媒体博物馆是什么意思
国家安全是什么意思
国家安全战略是什么意思
импост的意思
импост 的意思
импотент的意思
импотент 的意思
импотентный的意思
импотентный 的意思
импотенция的意思
импотенция 的意思
импрегнат 的意思
импрегнат的意思
bedsitter
bed-sitting-room
bedsitting room
bedsock
bedsore
bedsores
bedspace
bedspread
bedspreads
bedspring
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/10/17 5:35:12