数论中的不可判定性 作者：Bjorn Poonen.pdfVIP

数论中的不可判定性 BjornPoonen 方程 。+ 。+名。=29是否有整数解?是的，例如 (3，1，1)．方程 z。+Y。+Z0=30 怎样呢?同样有，虽然直到 1999年才知道：它最小的解 )是 (-283059965，一2218888517， 2220422932)．那么方程 0+Y0+Z0：33又如何?这是一个 尚未解决的问题． 当然，数论并不终止于 3变量 3次方程的研究：我们还可以探讨 1729y1093z19688 一 163xyzt。6。3741。6O768O0O： 561 ． D．Hilbert(希尔伯特)在 1900年著名演讲后公布所列出的23个问题中，要求听众们 去寻找一种方法来回答所有这样的问题．更确切地说，希尔伯特第10问题(以下记为HIO) 要求一个算法，它输入一个多变量的多项式 f(Xl，… ， )，并根据是否存在整数al… ．，a 使得 f(a… ．，a)=0而输出 是“”或 否“”． 在M．Davis，H．Putnam和 J．Robinson较早工作的基础上，1970年 Yu．Matiyasevich 证明了这样的算法不存在． 本文的 目的是讨论 ·证明中的某些概念， ·证明的一些副产品，以及 ·尚未解决的相关问题的研究现状，例如类似的有理数解． 1．H10和 DPRM 定理 a．算法的概念 为使H10的否定回答有意义，我们需要算法的精确概念．在1900年，这样的概念还 没有产生出来．但在上世纪30年代，提出了几种严格的计算模型并证明是等价的；其中 之一就是 Turin9machine(图灵机)．这种等价性使得 Church．Turin9论题 是可信的，即每 个纯数学的程序可以通过一个图灵机来实现．0)由此，算“法”的意思就是 “图灵机”． 图灵机的非正式描述也许比数学上的严格定义更有启发．一个图灵机等价于运行在 一 台物理上的计算机的有限长的程序，除此之外，要求这台计算机具有无限制的时间和 内存，而且不受物理上错误的影响 (例如电力中断引起的数据丢失)．有时候它的内存被模 拟为一条无限长的磁带，初始状态为非负整数输入的二进制表示．计算机在运行期间， 从内存磁带读出0和 1，又写进 0和 1，可以根据程序规则在一条单独的输出磁带上打印 或不打印字符．它可以永久运行，或者在程序指定的某种条件满足时终止． 译自：NoticesoftheAMS，Vo1．55(2008)，No．3，P．344350，UndecidabilityinNumberTheory, BjornPoonen．Copyright@2008theAmericanMathematicalSociety．Reprintedwithpermis— sion．Allrightsreserved．美国数学会与作者授予译文出版许可． 1)由E．Pine，K．Yarbrough，W．Tarrant和 M．Beck根据 N．Elkies建议的途径所发现．—— 原注 2)看来量子计算机是第一个不符合这个框架的．但它们可以用经典的图灵机在指数时间内模拟，而 H10问的是任何算法，不管它的运行时间、是否繁琐．当我们忘掉运行时间，那么量子计算机并不 比传统的计算机更强．—— 原注 8 ． 对于任何对象，如果我们固定一种把这些对象变为非负整数的编码，那么图灵机就 可以接受这些对象作为输入．例如，一个整系数的多项式可用它在 中的字符的ASCII 码 )的串来表示．原来的编码是什么并不要紧，只要图灵机能够在两个编码之间转换即 可． b．Diophatine(丢番图)集，可列 (1istable)集和可算 (computable)集 Davis，Putnam，Robinson和 Matiyasevich从一个更强的定理推出对 HIO的否定回 答，这个定理有更多的重要应用．为了解释它，我们需要一些定义． 定义 1 一个集合 A z是 丢番图的，如果存在多项式 p(t，z)∈z[￡，1，… ，z】使 得 A= a∈z：( ∈z)p(a，z)=O)．