网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
浩是什么意思
浩亹是什么意思
浩亹县是什么意思
浩倨是什么意思
浩劫是什么意思
浩博是什么意思
浩叹是什么意思
浩大是什么意思
浩如烟海是什么意思
浩居是什么意思
浩歌堂诗钞是什么意思
浩气是什么意思
浩汗是什么意思
浩洋是什么意思
浩浩是什么意思
浩浩荡荡是什么意思
浩涆是什么意思
浩渺是什么意思
浩瀚是什么意思
浩然是什么意思
浩然之气是什么意思
浩然斋雅谈是什么意思
浩特陶海城址是什么意思
浩繁是什么意思
浩罕是什么意思
взгреть的意思
взгромождать 的意思
взгромождать的意思
взгромождаться的意思
взгромождаться 的意思
взгромоздить 的意思
взгромоздить的意思
взгромоздиться 的意思
взгромоздиться的意思
взгрустнуть 的意思
inconsciently
inconscious
inconsecutive
in consequence
inconsequence
in consequence of
inconsequent
inconsequentia
inconsequential
inconsequentiality
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/7/4 1:45:09