网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
三晡是什么意思
三曲是什么意思
三更是什么意思
三曹是什么意思
三最是什么意思
三月三是什么意思
三月事件是什么意思
三月街是什么意思
三朝是什么意思
三朝元老是什么意思
三朝北盟会编是什么意思
三朝筹办夷务始末是什么意思
三朝要典是什么意思
三朝辽事实录是什么意思
三期末劫是什么意思
三木是什么意思
三木武夫是什么意思
三木露风是什么意思
三权分立制度是什么意思
三材说是什么意思
三条实美是什么意思
三条腿走路是什么意思
三杨是什么意思
三杨庄遗址是什么意思
三板是什么意思
автоцементовоз 的意思
автоцидный 的意思
автоцидный的意思
автоцинкография的意思
автоцинкография 的意思
автоцистерна 的意思
автоцистерна的意思
автоцистерна-заправщик的意思
автоцистерна-заправщик 的意思
автоцистерпа的意思
newsy
newt
New Testament
new to
Newton
Newtonian
Newtonians
new town
new towns
newts
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/6/1 7:14:19