Skip to main content
SpringerLink
Log in

Turing-machines and the Entscheidungsproblem

  • Published:
Mathematische Annalen Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. Ackermann, W.: Solvable cases of the decision problem. North-Holland, Amsterdam 1954.

    Google Scholar 

  2. Bernays, P.: Remarques sur les problème de la décision en logique élémentaire. Edition de centre nat. de la rech. scient.13, 39–44 (1958), Paris.

    Google Scholar 

  3. Church, A.: A note on the Entscheidungsproblem. J. Symbolic Logic1, 40–41, 101–102 (1936).

    Google Scholar 

  4. Suranyi, J.: Reduktionstheorie des Entscheidungsproblems. Budapest 1959.

  5. Trachténbrot, B. A.: Névozmožnost' algorifma dlá problemy razréšimosti na konéčnyh klassah. Doklady Akadémii Nauk SSSR, n. s.,70, 569–572 (1950).

    Google Scholar 

  6. Turing, A. M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. ser. 2,42, 230–265 (1936–7);43, 544–546 (1937).

    Google Scholar 

  7. Wang, H.: Proving theorems by pattern recognition II. Bell System Technical J.40, 1–41 (1961).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ann Arbor and Mainz

    J. Richard Büchi

Authors
  1. J. Richard Büchi
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The results of this paper were announced in the Notices, Am. Math. Soc.8, 354 (1961), and appeared as University of Michigan Technical Report, December, 1961. The work was supported by grants from the National Science Foundation and the U.S. Army Signal Corps, and by a contract with the Office of Naval Research.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Büchi, J.R. Turing-machines and the Entscheidungsproblem. Math. Ann. 148, 201–213 (1962). https://doi.org/10.1007/BF01470748

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01470748

Search

Navigation