网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
躯体规划是什么意思
躯体运动是什么意思
躯命是什么意思
躯壳是什么意思
躯干是什么意思
躯干扭转是什么意思
躯老是什么意思
躰是什么意思
躱是什么意思
躲是什么意思
躲懒是什么意思
躲藏是什么意思
躲避是什么意思
躲闪是什么意思
躺是什么意思
躺刀是什么意思
躽是什么意思
軄是什么意思
軆是什么意思
軎是什么意思
軥是什么意思
軦是什么意思
軰是什么意思
軶是什么意思
輆是什么意思
лоскутный的意思
лоскутный 的意思
лоскуток的意思
лоскуток 的意思
лосниться的意思
лосниться 的意思
лоснящийся 的意思
лоснящийся的意思
лососий 的意思
лососий的意思
respectively
respectiveness
respects
respell
respirability
respirable
respiration
respirations
respirator
respirators
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/4/16 23:28:01