主要问题是Turing是数学家，他引入图灵机的目的是解决Hilbert的判定问题。
Church也是，引入lambda演算的目的也是要解决数学问题。计算机那时候还没
造出来的，更别说程序语言了。

【 在 siegfried415 (更号2) 的大作中提到: 】
: 班主的心胸很开阔呀，赞一下，我觉得图灵的贡献类似于伽利略，他主要是说开创了一种思考的范式，把可计算性问题和非可计算问题区分开来，不过构建计算理论的主要的工作应该是乔姆斯基完成的，乔姆斯基的文法和自动机的映射和分类实在是太精彩了，乔姆斯基应该是计算理论
: --来自微水木3.5.1
--
FROM 114.250.246.96