Martin Davis and Hilary Putnam. Diophantine sets over polynomial rings. Illinois journal of mathematics, vol. 7 , pp. 251–256 [Book Review]

Journal of Symbolic Logic 37 (3):602-603 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272756

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Martin Davis, Hilary Putnam, Diophantine Sets Over Polynomial Rings. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-603.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
Diophantine properties of finite commutative rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
On Davis’s “Pragmatic Platonism”.Hilary Putnam - 2016 - In Alberto Policriti & Eugenio Omodeo (eds.), Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Cham, Switzerland: Springer Verlag.
Bibliographie der Schriften von Hilary Putnam [Bibliography of Hilary Putnam's Writings].Vincent C. Müller - 1993 - In Hilary Putnam: Von einem realistischen Standpunkt, Schriften zu Sprache und Wirklichkeit. pp. 278-294.
Reductions of Hilbert's tenth problem.Martin Davis & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (2):183-187.
A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
Review: Martin Davis, Hilary Putnam, A Computing Procedure for Quantification Theory. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):125-126.
Putnam’s indispensability argument revisited, reassessed, revived.Otávio Bueno - 2018 - Theoria : An International Journal for Theory, History and Fundations of Science 33 (2):201-218.
The uniqueness of pragmatism.Hilary Putnam - 2004 - Think 3 (8):89-105.
Philosophy of Mathematics Selected Readings. Edited and with an Introd. By Paul Benacerraf and Hilary Putnam.Paul Benacerraf & Hilary Putnam - 1964 - Prentice-Hall.
Mathematics without foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.
Philosophy of Mathematics Selected Readings /Edited by Paul Benacerraf, Hilary Putnam. --. --.Paul Benacerraf & Hilary Putnam - 1983 - Cambridge University Press, 1983.

Analytics

Added to PP
2016-06-30

Downloads
28 (#569,150)

6 months
6 (#518,648)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references