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; 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., Matérn. 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. I. 1, Heft 1, I. Leipzig: B. G. Teubner 1952.
Scholz, H., und G. Hasenjaeger: Grundzüge der mathematischen Logik. Berlin-Göttingen-Heidelberg: Springer 1961.
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).
Trachténbrot, B. A.: Über die algorithmische Unlösbarkeit des Entscheidungsproblems für endliche Individuenbereiche [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.)
Ackermann, W.: Solvable Cases of the Decision Problem. Amsterdam: North-Holland Publishing Company 1954.
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.: Ü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
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hermes, H. (1978). Unentscheidbare Prädikate. In: Aufzählbarkeit Entscheidbarkeit Berechenbarkeit. Heidelberger Taschenbücher, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95327-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-95327-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08869-1
Online ISBN: 978-3-642-95327-9
eBook Packages: Springer Book Archive