Literatur
Th. Skolem, Logisch-kombinatorische Untersuchungen usw., Vid. Skrifter, Math.-Nat. Klasse 1920, Nr. 4.
K. Gödel, Zum Entscheidungsproblem des logischen Funktionenkalküls, Monatsh. f. Math. und Phys.40 (1933).
L. Kalmár, Ein Beitrag zum Entscheidungsproblem, Acta Scient. Math. Szeged5 (1932), S. 222–236.
Vgl. L. Kalmár, Zum Entscheidungsproblem der mathematischen Logik, Verh. Int. Math. Kongr. Zürich 1932.
Vgl. P. Bernays und M. Schönfinkel, Zum Entscheidungsproblem der mathematischen Logik. Math. Ann.99 (1928).
K. Gödel, a. a. O. Zum Entscheidungsproblem des logischen Funktionenkalküls, Monatsh. f. Math. und Phys.40 (1933).; L. Kalmár, Über die Erfüllbarkeit derjenigen Zählausdrücke usw., Math. Ann.108 (1933); L. Schütte, Untersuchungen zum Entscheidungsproblem der mathematischen Logik, Math. Ann.109 (1934); derselbe, Über die Erfüllbarkeit einer Klasse von logischen Formeln, Math. Ann.110 (1934).
Wir meinen immer das Erfüllbarkeitsproblem, wenn wir hier und im folgenden vom Entscheidungsproblem sprechen.
M. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen usw., Comptes Rendus du premier Congrès des Math. des Pays Slaves, Warschau 1930.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ackermann, W. Beiträge zum Entscheidungsproblem der mathematischen Logik. Math. Ann. 112, 419–432 (1936). https://doi.org/10.1007/BF01565424
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01565424