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

网站首页汉语俄语英语

字词	丘奇论题
释义	丘奇论题数理化力学卷丘奇论题　　由美国逻辑学家丘奇(AlonzoChurch,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	征逐是什么意思征途是什么意思征集是什么意思徂是什么意思径是什么意思径庭是什么意思径情直遂是什么意思径流是什么意思径直是什么意思径自是什么意思径赛是什么意思待是什么意思待是什么意思待业是什么意思待人接物是什么意思待价而沽是什么意思待命是什么意思待字是什么意思待考是什么意思待聘是什么意思待遇是什么意思徇是什么意思徇情是什么意思徇私是什么意思徇私枉法罪是什么意思 слева的意思 слевачить 的意思 слевачить的意思 слега的意思 слега 的意思 слегка 的意思 слегка的意思 след 的意思 след的意思 слединг的意思 space shuttle orbiter space shuttles space sickness space station space stations space suit space time space-time space travel space traveling

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