Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Kapitel 8
K. Godel, „Über formal unentscheidbare Sätze der Principia Mathematica und ver-wandter Systeme, I,“ Monatshefte für Mathematik und Physik 38 (1931), S. 173–98.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, M. Davis, Hrsg., Raven Press, 1965.
B. A. Trakhtenbrot, Algorithms and Automatic Computing Machines, D. C. Heath & Co., 1963.
R. Bird, Programs and Machines: An Introduction to the Theory of Computation, John Wiley & Sons, 1976.
G. S. Boolos, J. P. Burgess und R. C. Jeffrey, Computability and Logic, 4. Auflage, Cambridge University Press, 2002.
W. S. Brainerd und L. H. Landweber, Theory of Computation, John Wiley & Sons, 1974.
J. M. Brady, The Theory of Computer Science: A Programming Approach, Chapman & Hall, 1977.
N. J. Cutland, Computability: An Introduction to Recursive Function Theory, Cambridge University Press, 1980.
G. Rozenberg und A. Salomaa, Cornerstones of Undecidability, Prentice-Hall, 1994.
M. D. Davis, R. Sigal und E. J. Weyuker, Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, 2. Auflage, Academic Press, 1994.
F. C. Hennie, Introduction to Computability, Addison-Wesley, 1977.
J. E. Hopcroft, R. Motwani und J. D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, 2. Auflage, Pearson Studium, 2002.
A. J. Kfoury, R. N. Moll und M. A. Arbib, A Programming Approach to Computability, Springer-Verlag, 1982.
E. V. Krishnamurthy, Introductory Theory of Computer Science, Springer-Verlag, 1983.
H. R. Lewis und C. H. Papadimitriou, Elements of the Theory of Computation, 2. Auflage, Prentice-Hall, 1997.
M. Machtey und P. Young, An Introduction to the General Theory of Algorithms, North Holland, 1978.
R. Sommerhalder und S. C. van Westrhenen, The Theory of Computability: Programs, Machines, Effectiveness and Feasibility, Addison-Wesley, 1988.
R. W. Floyd und R. Beigel, The Language of Machines: An Introduction to Computability and Formal Languages, W. H. Freeman & Co., 1994.
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967 (Reprint von MIT Press, 1987).
S. C. Kleene, Introduction to Metamathematics, North Holland, 1952 (8-ter Reprint, 1980).
M. Davis, Computability and Unsolvability, McGraw-Hill, 1958. (2. Auflage bei Dover Publications, 1982).
M. L. Minsky, Computation: Finite and Infinite Machines, Prentice-Hall, 1967.
D. R. Hofstadter, Gödel, Escher, Bach. Ein endloses geflochtenes Band, 17. Auflage, Klett-Cotta, 2006.
Journal of Symbolic Logic, abgekürzt als J. Symb. Logic oder mitunter einfach JSL; herausgegeben von der Association for Symbolic Logic.
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, abgekürzt als Zeitschr. Math. Logik und Grundlagen Math, oder mitunter einfach ZMLjherausgegeben in Berlin vom VEB Deutscher Verlag der Wissenschaften.
H. Wang, „Proving Theorems by Pattern Recognition,“ Bell Syst. Tech. J. 40 (1961), S. 1–42.
R. Berger, „,The Undecidability of the Domino Problem,“ Memoirs Amer. Math. Soc. 66 (1966).
B. Grünbaum und G. C. Shephard, Tilings and Patterns, W. H. Freeman & Co., 1987.
H.-D. Ebbinghaus, „Undecidability of Some Domino Connectability Problems,“ Zeitschr. Math. Logik und Grundlagen Math. 28 (1982), S. 331–6.
Y. Etzion-Petrushka, D. Harel und D. Myers, „On the Solvability of Domino Snake Problems,“ Theoret. Comput. Sci. 131 (1994), S. 243–69.
E. L. Post, „A Variant of a Recursively Unsolvable Problem,“ Bull. Amer. Math. Soc. 52 (1946), S. 264–8.
Y. Bar-Hillel, M. Perles und E. Shamir, „On Formal Properties of Simple Phrase Structure Grammars,“ Zeit. Phonetik, Sprachwiss. Kommunikationsforsch. 14 (1961), S. 143–72.
J. C. Lagarias, „The 3x + 1 Problem and its Generalizations,“ Amer. Math. Monthly 92 (1985), S. 3–23.
A. Turing, „On Computable Numbers with an Application to the Entscheidungsproblem,“ Proc. London Math. Soc. 42 (1936), S. 230–65. Korrekturen erschienen in: ibid., 43 (1937), S. 544–6.
H. G. Rice, „Classes of Recursively Enumerable Sets and Their Decision Problems,“ Trans. Amer. Math. Soc. 74 (1953), S. 358–66.
S. C. Kleene, „Recursive Predicates and Quantifiers,“ Trans. Amer. Math. Soc. 53 (1943), s. 41–73.
D. Harel, A. Pnueli und J. Stavi, „Propositional Dynamic Logic of Non Regular Programs,“ J. Comput. Syst. Sci. 26 (1983), S. 222–43.
D. Harel, „Effective Transformations on Infinite Trees, with Applications to High Un-decidability, Dominoes, and Fairness,“ J. Assoc. Comput. Mach. 33 (1986), S. 224–48.
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Nichtberechenbarkeit und Unentscheidbarkeit. In: Algorithmik. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-37437-X_8
Download citation
DOI: https://doi.org/10.1007/3-540-37437-X_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24342-7
Online ISBN: 978-3-540-37437-4
eBook Packages: Life Science and Basic Disciplines (German Language)