Kurt Friedrich Gödel was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly influenced scientific and philosophical thinking in the 20th century, building on earlier work by Frege, Richard Dedekind, and Georg Cantor.
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945, having been interned as a German national after the Second World War.
Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich.
The Gottfried Wilhelm Leibniz Prize, or Leibniz Prize, is awarded by the German Research Foundation to "exceptional scientists and academics for their outstanding achievements in the field of research". Since 1986, up to ten prizes have been awarded annually to individuals or research groups working at a research institution in Germany or at a German research institution abroad. It is considered the most important research award in Germany.
Kurt Schütte was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing.
Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.
Helmut Grunsky was a German mathematician who worked in complex analysis and geometric function theory. He introduced Grunsky's theorem and the Grunsky inequalities.
Helmut Röhrl or Rohrl was a German mathematician.
Heinrich Scholz was a German logician, philosopher, and Protestant theologian. He was a peer of Alan Turing who mentioned Scholz when writing with regard to the reception of "On Computable Numbers, with an Application to the Entscheidungsproblem": "I have had two letters asking for reprints, one from Braithwaite at King's and one from a professor [sic] in Germany... They seemed very much interested in the paper. [...] I was disappointed by its reception here."
Gunther Schmidt is a German mathematician who works also in informatics.
Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.
Hans Rohrbach was a German mathematician. He worked both as an algebraist and a number theorist and later worked as cryptanalyst at Pers Z S, the German Foreign Office cipher bureau, during World War II. He was latterly known as the person who broke the American diplomatic O-2 cypher, a variant of the M-138-A strip cipher during 1943. Rohrbach wrote a report on the breaking of the strip cypher when he was captured by TICOM, the allied effort to roundup and seize captured German intelligence people and material.
Helmut V. Koch is a German mathematician specializing in number theory.
Alwin Oswald Walther was a German mathematician, engineer and professor. He is one of the pioneers of mechanical computing technology in Germany.
Arnold Oberschelp is a German mathematician and logician. He was for many years professor of logic and science theory in Kiel.
Paul Louis Riebesell was a German mathematician, statistician, actuary, and president of Hamburger Feuerkasse. At the International Congress of Mathematicians, he was an invited speaker in 1932 in Zürich and in 1936 in Oslo.
The German Association for Mathematical Logic and for Basic Research in the Exact Sciences is the learned society representing the interdisciplinary research area of Logic (within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the Colloquium Logicum, an international research conference in logic. The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member Germany within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).
Otto Forster is a German mathematician.
