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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Finsler, I.: Formale Beweise und die Entscheidbarkeit. Math. Z. 25, 676–682 (1926).
Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalkills. Mh. Math. Phys. 37, 349–360 (1930).
Gödel, K.: Ober 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).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1961 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hermes, H. (1961). Einführende Betrachtungen über Algorithmen. In: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Die Grundlehren der Mathematischen Wissenschaften, vol 109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01462-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-01462-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-01463-9
Online ISBN: 978-3-662-01462-2
eBook Packages: Springer Book Archive