网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
半同胞家系是什么意思
半咸水鱼类是什么意思
半固定成本是什么意思
半固态成形是什么意思
半固态轧制是什么意思
半国家是什么意思
半圆型防波堤是什么意思
半圆式跑道是什么意思
半圆跑道是什么意思
半圆雕是什么意思
半地下室是什么意思
半场人盯人防守是什么意思
半坡遗址是什么意思
半塘定稿是什么意思
半填半挖路基是什么意思
半壁是什么意思
半壁江山是什么意思
半夏是什么意思
半夏厚朴汤是什么意思
半夏泻心汤是什么意思
半夏白术天麻汤是什么意思
半夏蛋白是什么意思
半夏露是什么意思
半夜是什么意思
半夜三更是什么意思
канализирование 的意思
канализирование的意思
каналокопатель的意思
каналокопатель 的意思
каналоочиститель的意思
каналоочиститель 的意思
каналопроходчик的意思
каналопроходчик 的意思
канальский的意思
канальский 的意思
寮
寰
寰宇
寸
寸土不让
寸土必争
寸心
寸步不离
寸步难移
寸步难行
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/7/30 8:20:22