Recursive Unsolvability of a problem of Thue

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Alonzo Church suggested to the writer that a certain problem of Thue [6] might be proved unsolvable by the methods of [5]. We proceed to prove the problem recursively unsolvable, that is, unsolvable in the sense of Church [1], but by a method meeting the special needs of the problem.

Related collections

Most cited references 4

Record: found
Abstract: not found
Article: not found

An Unsolvable Problem of Elementary Number Theory

Alonzo Church (1936)

0 comments Cited 160 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Formal Reductions of the General Combinatorial Decision Problem

Emil L. Post (1943)

0 comments Cited 68 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A variant of a recursively unsolvable problem

Emil L. Post (1946)

0 comments Cited 58 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Journal ID (publisher-id): applab

Title: The Journal of Symbolic Logic

Abbreviated Title: J. symb. log.

Publisher: JSTOR

ISSN (Print): 0022-4812

ISSN (Electronic): 1943-5886

Publication date Created: March 1947

Publication date (Print): March 2014

Volume: 12

Issue: 01

Pages: 1-11

Article

DOI: 10.2307/2267170

SO-VID: 7cce6437-41b7-41fb-a797-231a94f23f6b

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.