摘要：
如果有人问我，哲学研究什么？我会告诉他三个问题：1、世界是什么？2、我如何认识世界？3、我该如何生活？这三个问题基本概括了哲学最主要的三个分支：本体论、认知论和伦理学。如果有人问我，计算机科学研究什么？我也会告诉他三个问题：1、计算机能解决哪些问题？2、计算机如何描述问题？3、计算机如何解决问题？分别是计算机的数学模型、计算机对物理世界的模拟和计算机的架构及实现。邱奇-图灵论题认为：任何在算法上可计算的问题同样可由图灵机计算。尽管尚未被公式证明，但它仍然已经被广泛接受。图灵机本身是人类逻辑的产物，我们有理由假定，任何人类逻辑产生的可计算的问题，均可用图灵机进行形式化描述。但是，由于图灵机本身被 阅读全文
