| 字词 | 车赤论题 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 车赤论题车赤于1936年提出的论题：一般递归函数是能行可计算性的正确表述。由于能行可计算性是非形式概念，因此车赤论题不能证明。但由于迄今发现的所有描述能行可计算性的数学定义均与一般递归函数的概念等价；迄今发现的一切能行可计算的函数都是一般递归函数，所以车赤论题被普遍接受。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。