HILBERT第十问题徐氏基金会台北
科学圖書大库 HILBERT第十問題 者李國偉校劉世超 徐氏基金會出版
目 序 第一章導 第二章 可計數關係 第三章 戴氏關保及Maiijasevic定理 第四章 戴氏的三個引理 第五章 引理41及定理31之證明 第六章 第十問題與Church學 附錄一 每一自然數篇四整數平方和之證明 附錄二 量词前置算法 附錄三 中國剩餘定理之證明 附绿四 RE興RE關保 附錄五 校聞者.
第二章遁可計數係 Hilbert第+問题可重述如下:(H)求一演算法(algorithm)决定已知戴氏方程式是否有整數解.所請戴氏方程式就是:f(x,x.=0 其中/篇一整數多填式.事實上問题(H)等價於下面的簡化形式:(HIN)求一演算法决定已知戴氏方程式是否有自然數解.首先假設我們已有(H)中要求的演算法,则我們可用以决定已知戴氏 方程式f(x)=0是否有自然數解。這是因為f(x)=0有自然數解,若且唯若 f(u²+u.y²+)=0有整數解:設若自然數x篇f(x)=0的一解,由 Lagrange的著名定理(参附錄一)x可表為四整數u,y,的平方和 於是f(