哥德尔(1906∽1978)生于捷克.卒于美国.是爱因斯坦的好朋友.是数学家.逻辑学家、哲学家.他认为健全的哲学思想与成功的科学研究相关.发展了冯.诺伊曼和伯奈斯的工作.
1931年发表《不确定定理》.
1935年.图灵得知此论文.开始思考这样的算法是不存在的.
1936年发表了《论可计算数》.他给出了一个新的数学推理分析."判定问题难以被通用计算机解决.
图灵所描绘的计算机被认为是现代通用计算机的原型.