Wilhelm Ackermann | Academic Influence

Wilhelm Ackermann's AcademicInfluence.com Rankings

Wilhelm Ackermann

Mathematics

#300

Historical Rank

Measure Theory

#428

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Wilhelm Ackermann's Degrees

PhD Mathematics University of Göttingen

Why Is Wilhelm Ackermann Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Wilhelm Friedrich Ackermann was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. Biography Ackermann was born in Herscheid, Germany, and was awarded a Ph.D. by the University of Göttingen in 1925 for his thesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic apparently without Peano induction . This was one of two major works in proof theory in the 1920s and the only one following Hilbert's school of thought. From 1929 until 1948, he taught at the Arnoldinum Gymnasium in Burgsteinfurt, and then at Lüdenscheid until 1961. He was also a corresponding member of the Akademie der Wissenschaften in Göttingen, and was an honorary professor at the University of Münster.

(See a Problem?)

Wilhelm Ackermann's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Grundzüge der theoretischen Logik (1928) (333)
Zum Hilbertschen Aufbau der reellen Zahlen (1928) (332)
Begründung einer strengen Implikation (1956) (166)
Untersuchungen über das Eliminationsproblem der mathematischen Logik (1935) (151)
Zur Widerspruchsfreiheit der Zahlentheorie (1940) (131)
Die Widerspruchsfreiheit der allgemeinen Mengenlehre (1937) (109)
Begründung des „tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit (1925) (103)
Zur Axiomatik der Mengenlehre (1956) (70)
Über die Erfüllbarkeit gewisser Zählausdrücke (1928) (35)
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse (1951) (26)
Beiträge zum Entscheidungsproblem der mathematischen Logik (1936) (19)
Zum Eliminationsproblem der mathematischen Logik (1935) (16)
Widerspruchsfreier Aufbau der Logik I (1950) (15)
Becker Oskar. Grundlagen der Mathematik in geschichtlicher Entwicklung . Orbis, Bd. II/6. Verlag Karl Alber, Freiburg und München 1954, XI + 422 S. (1960) (12)
Ueber die Wirkung von Trypsin auf Kollagen und die Beeinflussung dieser Wirkung durch Neutralsalze (1923) (12)
Asser Günter. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 (1955), S. 252–263. (1958) (11)
Schütte Kurt. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, (1956) S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 375–387. (1957) (11)
Widerspruchsfreier Aufbau einer typenfreien Logik. II (1952) (10)
Mengentheoretische Begründung der Logik (1938) (8)
Widerspruchsfreier Aufbau einer typenfreien Logik (1952) (7)
Beiträge zur Philosophie der Logik und Mathematik (1962) (5)
Mostowski Andrzej. Concerning a problem of H. Scholz. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 2 (1956), S. 210–214. (1959) (5)
Grundgedanken einer Typenfreien Logik (1967) (5)
Büchi J. Richard. Die Boole'sche Partialordnung und die Paarung von Gefuegen. Portugaliae mathematica, Bd. 7 Hefte 3–4 (für 1948, erschienen 1949), S. 119–180. (1950) (3)
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I (1958) (3)
Der Aufbau Einer Höheren Logik (1964) (2)
Elektrodenbürette, eine vereinfachte Bezugselektrode für potentiometrische Titrationen (2)
Review: Kurt Schutte, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie (1951) (2)
Kurt Schütte. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen , Bd. 122 Heft 5 (1951), S. 369–389. (1951) (1)
Über die Bestimmung der Salpetersäure bei Anwesenheit von Hydroxylamin und Ammoniak, speziell in Zinnbeizen (1906) (1)
Asser Günter. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 (1957), S. 30–68. (1958) (0)
Der erweiterte Prädikatenkalkül. (1949) (0)
Review: Kurt Schutte, Zur Widerspruchsfreiheit einer Typenfreien Logik (1955) (0)
Review: B. A. Trachtenbrot, Wieso Konnen Automaten Rechnen? (1962) (0)
Review: Gunter Asser, Das Reprasentantenproblem im Pradikatenkalkul der Ersten Stufe mit Identitat (1958) (0)
Janiczak A.. Undecidability of some simple formalized theories. Nach dem Tode des Verf., von A. Mostowski und A. Grzegorczyk herausgegeben. Fundamenta mathematicae, Bd. 40 (1953), S. 131–139. (1957) (0)
Review: Juliusz Reichbach, Uber den auf Alternative und Negation Aufgebauten Aussagenkalkul (1956) (0)
Henkin Leon. An algebraic characterization of quantifiers. Fundamenta mathematicae , Bd. 37 (1950, veröff. 1951), S. 63–74. (1951) (0)
Review: Neuere ausländische lehrbücher der logistik (1949) (0)
Review: Jerzy Slupecki, Uber die Regeln des Aussagenkalkuls (1956) (0)
Bedeutung des Hämolysintests und des Immun-A/B-Hitzeresistenztests in der Schwangerenberatung* (1970) (0)
Review: Gunter Asser, Uber die Ausdrucksfahigkeit des Pradikatenkalkuls der Ersten Stufe mit Funktionalen (1958) (0)
Notizen: Das Isotopenverhältnis 87Sr/86Sr von Strontium-Proben aus Kalkgesteinen (1962) (0)
Review: Toshio Umezawa, Uber die Zwischensysteme der Aussagenlogik (1956) (0)
Review: J. Richard Buchi, Die Boole'sche Partialordnung und die Paarung von Gefuegen (1950) (0)
Der Klassenkalkül (einstellige Prädikatenkalkül) (1938) (0)
Reichbach Juliusz. Über den auf Alternative und Negation aufgebauten Aussagenkalkül. Deutsch, mit Auszügen in Polnisch und Russisch. Studia logica (Warschau), Bd. 1 (1953), S. 13–18. (1956) (0)
Review: Kurt Schutte, Beweistheoretische Untersuchung der Verzweigten Analysis (1953) (0)
Asser Günter. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 (1956), S. 250–264. (1958) (0)
Valpola Veli. Über den Begriff der Quantität. Ajatus (Helsinki), Bd. 15 (für 1948, 1949 erschienen), S. 261–298. (1950) (0)
Schütte Kurt. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Mathematische Zeitschrift , Bd. 61 (1954), S. 160–179. (1955) (0)
Review: Kurt Schutte, Ein System des Verknupfenden Schlie\beta ens (1957) (0)
Der engere Prädikatenkalkül (1938) (0)
Słupecḱi Jerzy. Über die Regeln des Aussagenkalküls . Deutsch, mit Auszügen in Polnisch und Russisch. Ebd., S. 19–43. (1956) (0)
Schmidt Arnold. Zum Verhältnis von Existenz und Widerspruchsfreiheit. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, S. 205–207. (1954) (0)
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit II (1961) (0)
Toshio Umezawa. Über die Zwischensysteme der Aussagenlogik. Nagoya mathematical journal . Bd. 9 (1955), S. 181–189. (1956) (0)
Review: Veli Valpola, Uber den Begriff der Quantitat (1950) (0)
Schütte Kurt. Zur Widerspruchsfreiheit einer typenfreien Logik. Mathematische Annalen, Bd. 125 Heft 4 (1953), S. 394–400. (1955) (0)
Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit (1954) (0)
Review: Gunter Asser, Theorie der Logischen Auswahlfunktionen (1958) (0)

This paper list is powered by the following services:

Other Resources About Wilhelm Ackermann

en.wikipedia.org

What Schools Are Affiliated With Wilhelm Ackermann?

Wilhelm Ackermann is affiliated with the following schools:

Image Attributions

Image Source for Wilhelm Ackermann