计算机数学-前沿报告0227.pptVIP

希尔伯特(Hilbert)第十问题 在这些有关算法的研究中，数学家们还提出了一个重要的概念：递归可枚举集(Recursively Enumerable Set)，它是由可以有效计算的函数所生成的自然数的集合。 对于一个集合来说，最基本的问题就是判断一个元素是否属于该集合。递归可枚举集也不例外。当数学家们研究递归可枚举集的时候，发现了一个十分微妙的结果：对于某些递归可枚举集，无法判定一个自然数是否属于该集合！即这些递归可枚举集是不可判定的。这一结果将对算法的研究与判定问题联系了起来，为后来解决希尔伯特第十问题埋下了重要的伏笔。 希尔伯特(Hilbert)第十问题 到了1937年，在数学中存在无法判定的命题已经不再新鲜。因为早在5年前哥德尔就已经证明了他的不完全性定理，即任何足够复杂并且自洽的数学体系都必定包含不可判定的命题.但当时已知的不可判定命题多集中在逻辑领域。 那么，在数学的其他领域中，哪些命题不可判定呢？ 这个问题在整整10年之后才开始有答案。 1947年美国数学家波斯特(EmilPost，1897～1954)找到了第一个逻辑领域以外的不可判定命题。波斯特是一位有着深刻洞察力的逻辑学家，7岁时随父母从波兰移民到美国,是美国逻辑学的先驱之一。 希尔伯特(Hilbert)第十问题 波斯特大约早10年就得到了与哥德尔不完全性定理相似的结果，但由于想对结果作更全面的分析而没有及时发表