论文信息 - Some diophantine forms of gödel's theorem - 字舞流文

Some diophantine forms of gödel's theorem

John C. Shepherdson | Verena H. Dyson | James P. Jones | J. Shepherdson | James P. Jones | V. H. Dyson | James P. Jones

[1] James P. Jones,et al. Three universal representations of recursively enumerable sets , 1978, Journal of Symbolic Logic.

[2] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .

[3] John L. Bell,et al. A course in mathematical logic , 1977 .

[4] R. Vaught. On a Theorem of Cobham Concerning Undecidable Theories , 1966 .

[5] H. Putnam,et al. The Decision Problem for Exponential Diophantine Equations , 1961 .

[6] J. Barkley Rosser,et al. Extensions of some theorems of Gödel and Church , 1936, Journal of Symbolic Logic.

[7] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .