网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
近日点进动是什么意思
近景是什么意思
近景摄影测量是什么意思
近晶相液晶是什么意思
近朱者赤,近墨者黑是什么意思
近来是什么意思
近松秋江是什么意思
近松门左卫门是什么意思
近水楼台是什么意思
近江牡蛎是什么意思
近海工程是什么意思
近海捕捞是什么意思
近海比赛艇是什么意思
近海渔业是什么意思
近海防御战略是什么意思
近炸引信是什么意思
近点是什么意思
近点幅角是什么意思
近点年是什么意思
近点月是什么意思
近点角是什么意思
近现代伊斯兰教思潮与运动是什么意思
近现代伊斯兰教法改革是什么意思
近畿地方是什么意思
近程导弹是什么意思
деаллат 的意思
деаллат的意思
деаль-операция的意思
деаль-операция 的意思
деасфальтизация 的意思
деасфальтизация的意思
деацетилирование的意思
деацетилирование 的意思
деаэратор的意思
деаэратор 的意思
walk around
walkathon
walkaway
walk away from ...
walkaways
walk away with ...
walk back
walk base on balls
walkdown
walked
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/7/30 4:26:31