“丘奇论题”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	改革开放是什么意思改革开放政策稳定,中国大有希望是什么意思改革报派是什么意思改革政府是什么意思改革是中国发展生产力的必由之路是什么意思攺是什么意思攻是什么意思攻下是什么意思攻丝机是什么意思攻克是什么意思攻克麦加是什么意思攻关是什么意思攻其不备是什么意思攻其不备,出其不意是什么意思攻击是什么意思攻击性刺激是什么意思攻击性防守是什么意思攻击本能是什么意思攻击机是什么意思攻击步是什么意思攻击潜艇是什么意思攻击点是什么意思攻击直升机是什么意思攻势是什么意思攻势的社会教育是什么意思 пептонизация的意思 пептонизация 的意思 пептонизировать的意思 пептонизировать 的意思 перборат的意思 перборат 的意思 перборный的意思 перборный 的意思 перванш 的意思 перванш的意思 let off steam let off the hook team teaman teamed teaming team management teammate teammates team play

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。