网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
语言论·言语研究导论是什么意思
语言谱系分类法是什么意思
语言迁移是什么意思
语言逻辑是什么意思
语言障碍儿童是什么意思
语言风格是什么意思
语言风格学是什么意思
语词是什么意思
语词定义是什么意思
语词-逻辑记忆是什么意思
语调是什么意思
语调列是什么意思
语调单位是什么意思
语调群是什么意思
语谓行为是什么意思
语谱图是什么意思
语谶是什么意思
语转是什么意思
语迹是什么意思
语重心长是什么意思
语问是什么意思
语障是什么意思
语音是什么意思
语音信箱是什么意思
语音修辞是什么意思
водогрейный 的意思
водогрельня 的意思
водогрельня的意思
вододействующий 的意思
вододействующий的意思
вододелитель 的意思
вододелитель的意思
водоем 的意思
водоем的意思
водоемкость的意思
curious to say
Curitiba
curium
curl
curled
curler
curlers
curlew
curlews
curlicue
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/3/2 13:55:41