An unsolvable problem in number theory

Journal of Symbolic Logic 25 (3):220-232 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964679

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

An Unsolvable Problem in Number Theory.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):601-602.
Hilary Putnam. An unsolvable problem in number theory. The Journal of symbolic logic, vol. 25 no. 3 , pp. 220–232.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):601-602.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Review: Alonzo Church, An Unsolvable Problem of Elementary Number Theory. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Review: Hilary Putnam, Uniqueness Ordinals in Higher Constructive Number Classes. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):135-136.
Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 , pp. 183–187.Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):601.
Church Alonzo. An unsolvable problem of elementary number theory. American journal of mathematics, vol. 58 , pp. 345–363. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Review: Martin Davis, Hilary Putnam, A Computing Procedure for Quantification Theory. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):125-126.
Review: E. Mark Gold, Limiting Recursion; Hilary Putnam, Trial and Error Predicates and the Solution to a Problem of Mostowski. [REVIEW]Norman Shapiro - 1971 - Journal of Symbolic Logic 36 (2):342-342.
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 , pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 , pp. 49–57. [REVIEW]Norman Shapiro - 1971 - Journal of Symbolic Logic 36 (2):342-342.

Analytics

Added to PP
2009-01-28

Downloads
79 (#206,007)

6 months
12 (#306,613)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

Add more references