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

的笔记本又给打开，再次推到陈慕武的面前。

    ??“请稍等一下，陈博士。您提出来的这个停机问题，确实能更形象地描述希尔伯特教授的可决定性问题。可是，这并不说明这个可决定性，它究竟是正确的，还是错误的……等一下！”

    ??冯·诺依曼更失礼地拧开了陈慕武的钢笔，在陈慕武的本子上飞快地写写画画，与此同时嘴里还念念有词。

    ??“假设存在这样一个陈机，能够对任意情况做出是否结束运行的判断……

    ??“如果判断运行结束就输出是，不结束的话就输出否。

    ??“那麽只需要再把这台陈机进行改进，当它输出‘是’的时候，就把它连接到一个永远不能结束运行的死循环中，而在输出‘否’的时候，则直接停止运行。

    ??“这样一来，陈机判断‘是’运行理应停止但不会停止，判断‘否’则情况正好相反。

    ??“这个和之前的假设‘能够对任意情况做出是否结束运行的判断’是矛盾的。

    ??“而陈机这个概念，又等同於希尔伯特教授提出来的可决定性设想。

    ??“既然陈机不能对是否结束运行作出判断，那麽也就是说，可决定性这件事，同样也是不可行的！”

    ??冯·诺依曼在笔记本上，亲手推翻了他老师希尔伯特三个设想当中的最後一个。

    ??但他此时的心里完全没有那种“欺师灭祖，悖逆人伦”的悔恨，也完全不怕希尔伯特会把他名字中的“冯”字给收走。

    ??冯·诺依曼只是很激动地从椅子上站起身子，一个不小心，还把陈慕武那支裸露着笔尖的钢