网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
勍是什么意思
勐是什么意思
勐定傣文是什么意思
勐泐是什么意思
勐海是什么意思
勐腊是什么意思
勑是什么意思
勒是什么意思
勒·柯布西耶是什么意思
勒令是什么意思
勒令退场是什么意思
勒伯勒东是什么意思
勒俄特依是什么意思
勒保是什么意思
勒克德浑是什么意思
勒克斯是什么意思
勒克瑙是什么意思
勒克瑙公约是什么意思
勒克莱尔是什么意思
勒兵是什么意思
勒利德布尔是什么意思
勒努万学派是什么意思
勒勒绊绊是什么意思
勒南是什么意思
勒南兄弟是什么意思
микрометеороид的意思
микрометеороид 的意思
микрометеорология的意思
микрометеорология 的意思
микрометеоры 的意思
микрометеоры的意思
микрометр的意思
микрометр 的意思
микрометр-глубиномер 的意思
микрометр-глубиномер的意思
大监督
大盘子
大相径庭
大相迳庭
大眼的
大砲
大硬鲭鱼
大碗
大礼堂
大祸临头
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/4/17 1:49:00