网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
赵世开是什么意思
赵世炎是什么意思
赵丹是什么意思
赵乃抟是什么意思
赵之琛是什么意思
赵之谦是什么意思
赵九章是什么意思
赵云(雲)是什么意思
赵亚曾是什么意思
赵人俊是什么意思
赵仁济是什么意思
赵令穰是什么意思
赵仲卿是什么意思
赵伯驹是什么意思
赵伯骕是什么意思
赵体是什么意思
赵佗是什么意思
赵佶是什么意思
赵佶草书千字文是什么意思
赵保吉是什么意思
赵信是什么意思
赵倜是什么意思
赵元任是什么意思
赵元昊是什么意思
赵元淑是什么意思
щипнуть的意思
щипнуть 的意思
щипок 的意思
щипок的意思
щипцевой 的意思
щипцевой的意思
щипцы 的意思
щипцы的意思
щипцы-гвоздодер 的意思
щипцы-гвоздодер的意思
俗不可耐的市侩
俗事
俗务
俗套
俗家
俗心
俗念
俗气
俗气的
俗称
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/12/15 15:32:57