Recursive unsolvability of a problem of thue

Journal of Symbolic Logic 12 (1):1-11 (1947)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267170

Links

PhilArchive



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

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

Kleene's proof of g¨odel's theorem.Peter Smith - unknown
Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
A mechanical proof of the unsolvability of the halting problem.Robert Boyer - unknown
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.D. Bollman & M. Tapia - 1972 - Notre Dame Journal of Formal Logic 13 (1):124-128.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Degrees of unsolvability: local and global theory.Manuel Lerman - 1983 - New York: Springer Verlag.
Inductive inference and unsolvability.Leonard M. Adleman & M. Blum - 1991 - Journal of Symbolic Logic 56 (3):891-900.

Analytics

Added to PP
2009-01-28

Downloads
60 (#262,991)

6 months
16 (#149,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references