网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
丘奇论题
释义
丘奇论题
数理化力学卷
丘奇论题
由美国逻辑学家丘奇(Alonzo
Church,1903—1995)于1936年所提出的假设,即可计算函数就是递归函数(见“递归论”)。它是将直观的可计算性精确化的一种尝试。由于迄今所有其他尝试(如图灵机可计算性等)都证明为和它等价,遂为数理逻辑学者所广泛接受,并在很多不可解命题的证明中假定了它。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
金文是什么意思
金星是什么意思
金本位制是什么意思
金柝是什么意思
金榜是什么意思
金橘是什么意思
金汤是什么意思
金沙江是什么意思
金沙萨是什么意思
金牛山人是什么意思
金玉是什么意思
金环蛇是什么意思
金瓯是什么意思
金瓶掣签是什么意思
金瓶梅是什么意思
金田起义是什么意思
金疮是什么意思
金盏花是什么意思
金相玉质是什么意思
金石是什么意思
金石丝竹是什么意思
金石为开是什么意思
金石并用时代是什么意思
金石文是什么意思
金碧辉煌是什么意思
клиноось的意思
клиноось 的意思
клинопирамида 的意思
клинопирамида的意思
клинописный的意思
клинописный 的意思
клинопись 的意思
клинопись的意思
клиноремень的意思
клиноремень 的意思
makeless
make light of ...
make light work
make like
make little account of
make little of ...
make love
make love to
make matchwood of
make matters worse
格斯网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 grillsltd.com All Rights Reserved
更新时间:2026/10/10 8:58:48