第242章 190约克公爵的邀请 (第1/8页)

    ??第242章 190约克公爵的邀请

    ??在希尔伯特本人所设想的公理体系中，有三个最根本的基础，分别是完备性、一致性和可决定性。

    ??完备性和一致性，已经被陈慕武的一篇论文给搞没了，现在就只剩这个可决定性依然坚挺，既没有被证实，又没有被证伪。

    ??从陈慕武云淡风轻的问话当中，冯·诺依曼听出来了一些不寻常。

    ??他总觉得身边的陈博士这麽问，不像是在征求自己的意见，更像是在隐晦地提醒自己，这个可决定性，就和之前的完备性还有一致性一样，同样也不怎麽靠谱。

    ??冯·诺依曼没有像卞太后那样，把陈慕武当成曹丕，发出“汝已杀我完备性和一致性，不得复杀我可决定性”的感慨。

    ??他倒是感觉，陈慕武挑起来的这个话题上面，大有文章可做。

    ??“陈博士，我不太清楚这个问题的答案，不过自从您的不完备性定理提出来之後，我想世界上对这第三条可决定性的正确与否提出怀疑的数学家，也不会太少。难不成，您对这个问题也有什麽新的发现了吗？”

    ??“也算不上什麽发现，”冯·诺依曼果然上了钩，让陈慕武有些欣喜，“目前只不过是才有了点儿头绪而已。

    ??“有关公理体系的可决定性，希尔伯特教授曾经做过这样一种设想，‘通过一个可行的过程，以及有限次的运算，来证明数学理论的可行性’。

    ??“可他的这个设想当中，无论是‘可行的过程’，还是‘有限次的运算’，这两个概念都是很模糊很抽象的，在数学上并没有一个完整的定义