网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
渔业最大可持续产出是什么意思
渔业最小可存活数量是什么意思
渔业机械是什么意思
渔业机械化是什么意思
渔业权是什么意思
渔业气象学是什么意思
渔业水域环境污染是什么意思
渔业水质标准是什么意思
渔业法是什么意思
渔业环境保护是什么意思
渔业环境监测是什么意思
渔业环境科学是什么意思
渔业生产要素是什么意思
渔业生态学是什么意思
渔业管理学是什么意思
渔业经济学是什么意思
渔业经济效益是什么意思
渔业经营体制是什么意思
渔业统计是什么意思
渔业自身污染是什么意思
渔业船舶是什么意思
渔业补贴是什么意思
渔业许可是什么意思
渔业调查船是什么意思
渔业资源是什么意思
фильтр-различитель 的意思
фильтр-редуктор的意思
фильтр-редуктор 的意思
фильтр-сгуститель 的意思
фильтр-сгуститель的意思
фильтр-тигель的意思
фильтр-тигель 的意思
фильтр-ткань的意思
фильтр-ткань 的意思
фильтруемость的意思
Filipina
Filipine
Filipinize
Filipino
Filipino maid
Filipinos
fill
fill a gap
fillagree
fill a person's shoes
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/6/14 22:32:43