Hans Hermes (nonfiction)
Hans Hermes (German: [ˈhɛʁmɛs]; 12 February 1912 – 10 November 2003) was a German mathematician and logician, who made significant contributions to the foundations of mathematical logic. Hermes was born in Neunkirchen, Germany.
Personal life
From 1931, Hermes studied mathematics, physics, chemistry, biology and philosophy at the University of Freiburg. In 1937 he passed the state examination in Münster and was attending there in 1938 when the physicist Adolf Kratzer was present. After that he went on a scholarship to the University of Göttingen and then became an assistant at the University of Bonn. During World War II he was a soldier on the Channel Island of Jersey until 1943 and then on to the Chemical Physics Institute of the Navy in Kiel. At the end of the war he moved to Toplitzsee, where he was tasked with working on new encryption methods. In 1947, he became a lecturer at the University of Bonn where he took his habilitation, his thesis called Analytical manifolds in Riemannian areas. In 1949 he became a Professor at the University of Münster, where he turned back to the subject of mathematical logic.
Work
Hans Hermes was a pioneer of the Turing machine as the central concept of predictability. In 1937, Hermes reported under the title Definite terms and predictable numbers an article about the Turing machine, which still adheres closely to Turing ideas, but does not contain the concepts of the universal machine and the decision problem.
In 1952, he published together with Heinrich Scholz, an encyclopedia, which has significantly promoted the development of mathematical logic in Germany.
In 1953 he took over management of the influential Institute for Mathematical logic and basic research at the University of Münster, from Heinrich Scholz. Under his leadership, the Institute became a noted centre for attracting young researchers, both within the Federal Republic but also abroad. With Hermes there, among others, were Wilhelm Ackermann and Gisbert Hasenjaeger. In 1966 he accepted an appointment to the newly established Chair of Mathematical Logic and the Foundations of Mathematics at the University of Freiburg and began to build an eponymous department at the Mathematical Institute, becoming Professor Emeritus there in 1977.
In 1954 Hermes produced an informal proof, that the possibilities of programmable eigenvalues include the predictable functions , so the calculating machines have the same cardinality as Turing machines re: Turing completeness.
Hermes textbook's, as well as his scientific work, persuaded Heinz-Dieter Ebbinghaus to note the originality, accuracy and intuitive clarity of his textbooks.[2] He was also an outstanding academic teacher who knew how to convey difficult issues and complicated proofs and make them extremely understandable.
Hermes was also worked on the compilation and publication of the papers of Gottlob Frege, already begun by Scholz. In 1962 he was one of the founding members of the German Association for mathematical logic and for basic research of the exact sciences (DVMLG).[5] In 1950, he was with Arnold Schmidt and Jürgen von Kempski, co-founder of the Archive for Mathematical Logic and Foundations of Mathematics. In 1967, he became a member of the Heidelberg Academy of Sciences.
Publications
- Definite terms and predictable numbers., Semester reports for the care of the relationship between university and school from the mathematical seminars, Münster 1937, 110–123.
- An axiomatization of general mechanics., Research on logic and the foundations of the exact sciences, Issue 3, Leipzig, 1938.
- Machines for decision of mathematical problems., Mathematics and Physical semester reports (Göttingen) (1952), 179–189.
- The universality of program-controlled computing machines., Mathematics and Physical semester reports (Göttingen) 4 (1954), 42–53.
- Introduction to lattice theory. Berlin – Göttingen – Heidelberg 1955 2 Advanced edition 1967
- Enumerability – Decidability – predictability. Introduction to the theory of recursive functions., Berlin – Göttingen – Heidelberg 1961 2 Edition 1971 (as Heidelberg Paperback).
- Introduction to Mathematical Logic – Classical predicate logic. Teubner Verlag, Stuttgart 1963, 2nd expanded edition in 1969.
- A Term logic with choice operator., Berlin, 1965.
- Recursive functions., With Klaus Heidler and Friedrich-K. Mahn, Mannheim – Vienna – Zurich 1977.
- Figures and games., Heinz-Dieter Ebbinghaus, Friedrich Hirzebruch, Hermes, among other things: numbers, Springer-Verlag, 3rd Edition 1992
- Decision problem and domino games. inc Konrad Jacobs (ed.) Selecta Mathematica II, Springer, Heidelberg paperbacks, 1970
- Foundations of mathematics., with Werner Markwald, in Behnke, sweet, Fladt: Principles of Mathematics, Vol.1, 1958, Vandenhoeck and Ruprecht
- Mathematical Logic, Encyclopedia of Mathematical Sciences., with Heinrich Scholz New Series, 1952
- Theory of Associations, Encyclopedia of Mathematical Sciences., with Gottfried Köthe New Series, 1939
References
- Hans Hermes, Heinrich Scholz Mathematische Logik Teubner, 1952
- "Past Professors at Münster University" (PDF). wwmath.uni-muenster.de. Retrieved 21 November 2013.
- "Mathematical Logic" (PDF). www.uni-goettingen.de. Retrieved 7 Dec 2013.
- "Institute of Mathematical Logic and Fundamental Research". University of Münster. Retrieved 7 Dec 2013.
- "Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften". DVMLG. Retrieved 7 Dec 2013.
- Record at Heidelberg University library
External links
- Hermes, In memoriam WILHELM ACKERMANN 1896–1962 (pdf 945 KB)
- Hans Hermes at the Mathematics Genealogy Project
- Wilhelm Ackermann - Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.
- Gisbert Hasenjaeger (nonfiction) - Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 2006) was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung, and was responsible for the security of the Enigma machine.
- Decision problem (nonfiction) - in computability theory and computational complexity theory, a problem that can be posed as a yes-no question of the input values. An example of a decision problem is deciding whether a given natural number is prime. Another is the problem "given two numbers x and y, does x evenly divide y?". The answer is either 'yes' or 'no' depending upon the values of x and y. A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem. A decision procedure for the decision problem "given two numbers x and y, does x evenly divide y?" would give the steps for determining whether x evenly divides y. One such algorithm is long division. If the remainder is zero the answer is 'yes', otherwise it is 'no'. A decision problem which can be solved by an algorithm is called decidable.
- Eigenvalue (nonfiction) - (1) each of a set of values of a parameter for which a differential equation has a nonzero solution (an eigenfunction) under given conditions; (2) any number such that a given matrix minus that number times the identity matrix has zero determinant.
- Mathematical logic (nonfiction)
- Predictability (nonfiction) - the degree to which a correct prediction or forecast of a system's state can be made either qualitatively or quantitatively.
- Turing machine (nonfiction) - a mathematical model of computation that defines an abstract machine,[1] which manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, given any computer algorithm, a Turing machine capable of simulating that algorithm's logic can be constructed.