Zusammenfassung
Nachdem für den Begriff der Entscheidbarkeit eine präzise Definition gegeben ist, wird es möglich, für gewisse Prädikate (Eigenschaften oder Beziehungen) nachzuweisen, daß sie unentscheidbar sind. Es ist leicht, die Unentscheidbarkeit von manchen Prädikaten P zu zeigen, die sich definieren lassen mit Hilfe von Begriffen, welche unmittelbar mit dem Begriff eines Algorithmus zusammenhängen. Typisch für derartige Beweise ist, daß sie mit einem Diagonalverfahren operieren.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Thue, A.: Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln. Skr. Vidensk. Selsk. Kristiania I, 10, 34 S. (1914).
Post, E. L.: Recursive Unsolvability of a Problem of Thue. J. Symbolic Logic 12, 1–11 (1947).
Markov, A. A.: Die Unmöglichkeit gewisser Algorithmen in der Theorie assoziativer Systeme [russ.]. Dokl. Akad. Nauk SSSR. 55, 587–590 (1947).
Turing, A. M.: The Word Problem in Semi-Groups with Cancellation. Ann. Math., Princeton 52, 491–505 (1950).
Kalmâr, L.: Another Proof of the Markov-Post Theorem. Acta math. Hungaricae 3, 1–25(1952)
Kalmâr, L.: Another Proof of the Markov-Post Theorem. Acta math. Hungaricae 3, 26–27 (1952) [russ.].
Zur Unlösbarkeit des Wortproblems vergleiche
Novikov, P. S.: Algorithmische Unlösbarkeit des Wortproblems in der Gruppentheorie [russ.]. Akad. Nauk SSSR., Matern. Inst. Trudy 44, Moskau 1955. Engl. Übers, von K. A. Hirsch: Amer. Math. Soc. Translations 9, 122 pp. (1958).
Boone, W.W.: Certain Simple, Unsolvable Problems of Group Theory. V. Proc. Kon. Nederl. Akad. (A) 60, 22–27 (1957).
Boone, W.W.: Certain Simple, Unsolvable Problems of Group Theory. VI. Ibid., 227–232.
Boone, W.W.: The Word Problem. Ann. Math. 70, 207–265 (1959).
Britton, J. L.: The Word Problem for Groups. Proc. London math. Soc. 8, 493–506 (1958).
Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Mh. Math. Phys. 37, 349–360 (1930).
Tarski, A.: Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1, 261–405 (1935). Auch in: Logic, Semantics, Metamathematics, pp. 152–278. Papers from 1923 to 1938 by A. Tarski. Translated by J. H. Woodger. Oxford: Clarendon Press 1956.
Hermes, H., und H. Scholz: Mathematische Logik. Enzyklopädie math. Wiss. 1.1, Heft 1, I. Leipzig: B. G. Teubner 1952.
Church, A.: A Note on the Entscheidungsproblem. J. symbolic Logic 1, 40–41 (1936); Correction ibid. S: 101–102.
Kalmár, L.: Ein direkter Beweis für die allgemein-rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität. Z. math. Logik 2, 1–14 (1956).
Trachtenbrot, B. A.: Über die algorithmische Unlösbarkeit des Entscheidungsproblems für endliche In-dividuenbereiche [russ.]. Dokl. Akad. Nauk SSSR. 70, 569–572 (1950). (Zeigt, daß es keinen Algorithmus gibt, mit dessen Hilfe man entscheiden kann, ob eine beliebige vorgelegte Formel der Prädikatenlogik in beliebigen endlichen Individuenbereichen gilt oder nicht.)
Für spezielle Klassen von Formeln der Prädikatenlogik gibt es Algorithmen, mit deren Hilfe man entscheiden kann, ob irgendeine Formel dieser Klasse allgemeingültig ist oder nicht. Man vergleiche hierzu
Ackermann, W.: Solvable Cases of the Decision Problem. Amsterdam: North-Holland Publishing Company 1954.
Für andere spezielle Klassen von Formeln der Prädikatenlogik kann man jedoch zeigen, daß es keinen derartigen Algorithmus gibt, dadurch daß man das (unlösbare) Entscheidungsproblem der gesamten Prädikatenlogik auf das Entscheidungsproblem für diese Klasse reduziert. Dazu sehe man Surányi, J.: Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe. Budapest-Berlin: Ungarische Akademie der Wissenschaften-VEB Deutscher Verlag der Wissenschaften 1959.
Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Mh. Math. Phys. 38, 173–198 (1931).
Gödel, K.: On Undecidable Propositions of Formal Mathematical Systems. Mimeographed. Institute for Advanced Study, Princeton, N.J. 1934. 30 S.
Tarski, A.: Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1, 261–405 (1935).
Church, A.: An Unsolvable Problem of Elementary Number Theory. Amer. J. Math. 58, 345–363 (1936).
Rosser, B.: Extensions of Some Theorems of Gödel and Church. J. symbolic Logic 1, 87–91 (1936).
Skolem, Th.: Einfacher Beweis der Unmöglichkeit eines allgemeinen Lösungsverfahrens für arithmetische Probleme. Norske Vidensk. Selsk. Forhandl., Trondheim 13, 1–4 (1940).
Kalmár, L.: Ein einfaches Beispiel für ein unentscheidbares arithmetisches Problem [ungarisch, mit deutschem Auszug]. Mat. fis. Lapok 50, 1–23 (1943).
Mostowski, A.: Sentences Undecidable in Formalized Arithmetic. Amsterdam: North-Holland Publishing Company 1952.
Tarski, A. A., Mostowski und R. M. Robinson: Undecidable Theories. Amsterdam: North-Holland Publishing Company 1953- (Hier wird insbesondere auf die wesentliche Unentscheidbarkeit der behandelten Theorien eingegangen.)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1971 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hermes, H. (1971). Unentscheidbare Prädikate. In: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Heidelberger Taschenbücher, vol 109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96070-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-96070-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05334-7
Online ISBN: 978-3-642-96070-3
eBook Packages: Springer Book Archive