Zusammenfassung
Der Begriff eines Algorithmus, d.h. eines „allgemeinen Verfahrens“, ist jedem Mathematiker mehr oder weniger bekannt. Wir wollen in dem einleitenden Paragraphen diesen Begriff näher erläutern und dabei das hervorheben, was als wesentlich angesehen werden soll.
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
Post, E. L.: Finite Combinatory Processes — Formulation 1. J. Symbolic Logic 1, 103–105 (1936).
Turing, A. M.: On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. London Math. Soc. (2) 42, 230–265 (1937)-
Turing, A. M.: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. Proc. London Math. Soc. (2) 43, 544–546 (1937).
Wang, H.: A Variant to Turing’s Theory of Computing Machines. J. Assoc. Computing Mach. 4, 63–92 (1957).
Kalmár, L.: An Argument against the Plausibility of Church’s Thesis. Constructivity in Mathematics, herausgeg. von A. Heyting, S. 72–80. Amsterdam: North-Holland Publishing Company 1959.
Péter, R.: Rekursivität und Konstruktivität. Ibid., S. 226–233.
Turing, A. M.: Computing Machinery and Intelligence. Mind 59, 433–460 (1950).
Kemeny, J. G.: Man Viewed as a Machine. Sci. Amer. 192, 58–67 (1955).
Finsler, P.: Formale Beweise und die Entscheidbarkeit. Math. Z. 25, 676–682 (1926).
Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Mh. Math. Phys. 37, 349–360 (1930).
Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Mh. Math. Phys. 38, 173–198 (1931). (Unvollständigkeitssatz).
Church, A.: An Unsolvable Problem of Elementary Number Theory. Amer. J. Math. 58, 345–363 (1936). (Churchsche These auf S. 346.)
Kleene, S. C.: General Recursive Functions of Natural Numbers. Math. Ann. 112, 727–742 (1936).
Zum Kalkülbegriff vergleiche
Lorenzen, P.: Einführung in die operative Logik und Mathematik. Berlin-Göttingen-Heidelberg: Springer 1955.
Curry, H.B.: Calculuses and Formal Systems. Logica, Studia Paul Bernays dedicata. S. 45–69. Neuchâtel: Éditions du Griffon 1959. Siehe auch: Diabetica 12, 249–273 (1958).
Die Gödelisierung wurde erstmals angewandt in
Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Mh. Math. Phys. 38, 173–198 (1931).
Zur Realisierung von Algorithmen siehe
Menninger, K.: Zahlwort und Ziffer I, II. Göttingen: Vandenhoeck & Ruprecht 1957, 1958.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hermes, H. (1978). Einführende Betrachtungen über Algorithmen. In: Aufzählbarkeit Entscheidbarkeit Berechenbarkeit. Heidelberger Taschenbücher, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95327-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-95327-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08869-1
Online ISBN: 978-3-642-95327-9
eBook Packages: Springer Book Archive