网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
国策是什么意思
国籍是什么意思
国粹是什么意思
国统区是什么意思
国耻是什么意思
国联是什么意思
国脉民命是什么意思
国脚是什么意思
国色是什么意思
国色天香是什么意思
国葬是什么意思
国计民生是什么意思
国语是什么意思
国语辞典是什么意思
国贼是什么意思
国道是什么意思
国门是什么意思
国防是什么意思
国防体制是什么意思
国防力量是什么意思
国防动员是什么意思
国防建设是什么意思
国防战略是什么意思
国防教育是什么意思
国防观念是什么意思
бункероваться 的意思
бункероваться的意思
бункеровка的意思
бункеровка 的意思
бункеровочный的意思
бункеровочный 的意思
бункеровщик 的意思
бункеровщик的意思
бункер-отстойник 的意思
бункер-отстойник的意思
Turkomans
Turkomen
Turks
Turks and Caicos Islands
Turk's-head
turmaline
turmeric
turmeric paper
turmoil
turn
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/9/13 12:46:36