图灵之所以伟大，突破了这两点：第一、可计算与可判定；第二、他把计算和算计完美地做了探索，引领了人思维的改变。
在莱布尼茨的思想中，数理逻辑、数学和计算机三者均出于一个统一的目的，即人的思维过程的演算化、计算机化
图灵1936年发表的那篇标题为“论可计算数及其在判定问题中的应用”第一次回答了这些问题，提出了计算机的抽象模型，利用这种计算机，可以把推理化做一些简单的机械动作。图灵提出的计算模型被大家称作图灵机。
1950年10月，图灵发表论文《机器能思考吗》。这一划时代的作品，使图灵赢得了“人工智能之父”的桂冠
