图灵机与计算问题(节课).pdfVIP

图灵机的今生来世 目录 • 1、问题的起源 • 2 、图灵的贡献 • 3、图灵机 • 4 、图灵机的计算极限与计算复杂性 目录 • 1、问题的起源 • 2 、图灵的贡献 • 3、图灵机 • 4 、图灵机的计算极限与计算复杂性 1、问题起源：费马大定理 • 17世纪，费马在阅读丢番图（Diophatus ） 《算术》拉 丁文译本时，曾在第11卷第8命题旁写道：“将一个立 方数分成两个立方数之和，或一个四次幂分成两个四 次幂之和，或者一般地将一个高于二次的幂分成两个 同次幂之和，这是不可能的。关于此，我确信已发现 了一种美妙的证法，可惜这里空白的地方太小，写不 下。” • 当整数n 2 时，关于x, y, z 的方程xn + yn = zn 没有正整 数解 • 1995年被英国数学家安德鲁·怀尔斯证明 • 1900年，著名的大数学家希尔伯特在第 2届数学家大会上提出了著名的23个数 学问题。 • 第十个问题（费马大定理的简化版） – 存在不存在一种有限