"Recursive unsolvability of a problem of Thue" (E. Post) , and others,in the Journal of Symbolic Logic, the whole Vol. 12

Emil Post, W.V. Quine, Ruth Barcan, and others

Edité par Association for Symbolic Logic, 1947

A propos de cet article

Emil Post, W.V. Quine, Ruth Barcan, and others: "Recursive unsolvability of a problem of Thue" (E. Post) in the Journal of Symbolic Logic, the whole Vol. 12, #1-4, January-December, 1947, 162pp. Bound in wrappers. There's a little scuffing along the spine causing the lost of pieces of text, but really very minor. FINE copy. The entire volume 12 is offered containing significant work by Post, W.V. Quine, Ruth Barcan, Nelson Goodman, and others. Includes: __+__POST: "Recursive unsolvability of a problem of Thue", pp 1-11. This paper contains the first unsolvability proof to a problem from classical mathematics this entire paper reprinted as a classic in a classic in itself, "The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems." by Martin Davis. "Axel Thue stated in 1914 the so-called Word problem or Thue problem, closely related to the halting problem. This work is the start of the mathematical basis for a formal solution to Rubik's Cube." This paper proved the Thue Problem to be unsolvable. Over 500 citations With: __+__BARCAN, Ruth. "The identity of individuals in a strict functional calculus of second order", pp 12-16, presenting the Barcan Formula in modal logic. With: __+__QUINE, W.V. and Nelson Goodman, "Steps Towards a Constructive Nominalism", pp 105-123. With: __+__ QUINE, W.V. "The Problem of Interpreting Modal Logic", pp 43-49. __+__ QUINE, W.V. "On Universals", pp 74-85.

N° de réf. du vendeur ABE-1593913172021

Détails bibliographiques

• Titre: "Recursive unsolvability of a problem of Thue" (E. Post) , and others,in the Journal of Symbolic Logic, the whole Vol. 12
• Éditeur: Association for Symbolic Logic
• Date de parution: 1947
• Reliure: Soft cover
• État de l'article: Fine
• Catalogues du vendeur:
  • Computing History
  • Math & Logic