图灵－数学家.DOCVIP

图灵－数学家 邵伟文，D. Hilbert正式提出了Hilbert在其计划中提出了判定性问题，即是否存在一个算法“机械化”地判定每个数学分支中所有命题的正确性。1931年，奥地利数理逻辑学家尽管我们知道是对的，能够出来Hilbert判定性问题否定的回答。图灵认为，为了回答可判定性问题，首先需要明确可以用于判断的计算手段。他对哥德尔1931年在证明和计算的限制的结果作了重新论述，引进了“图灵机”概念，并证明图灵机的停机问题(halting problem)是不可判定的，这是说不可能用一个算法来决定一台指定的图灵机是否会在有限时间之内停机，通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候不管停机问题的结果是什么都不会符合要求，事实上，假设存在一个程序P对停机问题可判定，即向程序P输入任意一个程序，要么在有限时间停机而输出“停机”，要么出现死循环而输出“死循环”，现在将此判定程序P作为数据输入该程序P本身，若该程序输入为“停机”，则有限时间该程序停机，从而成为“死循环”，矛盾！若该程序输入为“死循环”，则有限时间该程序出现死循环，从而“停机”，同样矛盾！所以这是一个不可判定的问题。从而给出了Hilbert可判定性问题的又一个反例。 2、引进了“图灵机”概念，给出了“可