Ernst Friedrich Ferdinand Zermelo (, ; 27 July 187121 May 1953) was a German

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premis ...

ian and

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

, whose work has major implications for the

foundations of mathematics Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...

. He is known for his role in developing Zermelo–Fraenkel axiomatic set theory and his proof of the

well-ordering theorem In mathematics, the well-ordering theorem, also known as Zermelo's theorem, states that every set can be well-ordered. A set ''X'' is ''well-ordered'' by a strict total order if every non-empty subset of ''X'' has a least element under the o ...

. Furthermore, his 1929 work on ranking chess players is the first description of a model for

pairwise comparison Pairwise comparison generally is any process of comparing entities in pairs to judge which of each entity is preferred, or has a greater amount of some quantitative property, or whether or not the two entities are identical. The method of pairwis ...

that continues to have a profound impact on various applied fields utilizing this method.

Life

Ernst Zermelo graduated from Berlin's Luisenstädtisches Gymnasium (now ) in 1889. He then studied mathematics,

physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which rel ...

and philosophy at the

University of Berlin The Humboldt University of Berlin (german: link=no, Humboldt-Universität zu Berlin, abbreviated HU Berlin) is a public research university in the central borough of Mitte in Berlin, Germany. The university was established by Frederick Will ...

, the

University of Halle Martin Luther University of Halle-Wittenberg (german: Martin-Luther-Universität Halle-Wittenberg), also referred to as MLU, is a public, research-oriented university in the cities of Halle and Wittenberg and the largest and oldest university i ...

, and the

University of Freiburg The University of Freiburg (colloquially german: Uni Freiburg), officially the Albert Ludwig University of Freiburg (german: Albert-Ludwigs-Universität Freiburg), is a public research university located in Freiburg im Breisgau, Baden-Württe ...

. He finished his doctorate in 1894 at the University of Berlin, awarded for a dissertation on the

calculus of variations The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...

(''Untersuchungen zur Variationsrechnung''). Zermelo remained at the University of Berlin, where he was appointed assistant to Planck, under whose guidance he began to study hydrodynamics. In 1897, Zermelo went to the

University of Göttingen The University of Göttingen, officially the Georg August University of Göttingen, (german: Georg-August-Universität Göttingen, known informally as Georgia Augusta) is a public research university in the city of Göttingen, Germany. Founded i ...

, at that time the leading centre for mathematical research in the world, where he completed his habilitation thesis in 1899. In 1910, Zermelo left Göttingen upon being appointed to the chair of mathematics at Zurich University, which he resigned in 1916. He was appointed to an honorary chair at the

in 1926, which he resigned in 1935 because he disapproved of

Adolf Hitler Adolf Hitler (; 20 April 188930 April 1945) was an Austrian-born German politician who was dictator of Nazi Germany, Germany from 1933 until Death of Adolf Hitler, his death in 1945. Adolf Hitler's rise to power, He rose to power as the le ...

's regime. At the end of

World War II World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the World War II by country, vast majority of the world's countries—including all of the great power ...

and at his request, Zermelo was reinstated to his honorary position in Freiburg. Ernst Zermelo Günterstal

Research in set theory

In 1900, in the Paris conference of the

International Congress of Mathematicians The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be rename ...

, David Hilbert challenged the mathematical community with his famous

Hilbert's problems Hilbert's problems are 23 problems in mathematics published by German mathematician David Hilbert in 1900. They were all unsolved at the time, and several proved to be very influential for 20th-century mathematics. Hilbert presented ten of the pr ...

, a list of 23 unsolved fundamental questions which mathematicians should attack during the coming century. The first of these, a problem of

set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...

, was the

continuum hypothesis In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states that or equivalently, that In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent ...

introduced by

Cantor A cantor or chanter is a person who leads people in singing or sometimes in prayer. In formal Jewish worship, a cantor is a person who sings solo verses or passages to which the choir or congregation responds. In Judaism, a cantor sings and lead ...

in 1878, and in the course of its statement Hilbert mentioned also the need to prove the

. Zermelo began to work on the problems of set theory under Hilbert's influence and in 1902 published his first work concerning the addition of transfinite cardinals. By that time he had also discovered the so-called

Russell paradox In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains ...

. In 1904, he succeeded in taking the first step suggested by Hilbert towards the continuum hypothesis when he proved the

(''every set can be well ordered''). This result brought fame to Zermelo, who was appointed Professor in Göttingen, in 1905. His proof of the

, based on the powerset axiom and the

axiom of choice In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collection ...

, was not accepted by all mathematicians, mostly because the axiom of choice was a paradigm of non-constructive mathematics. In 1908, Zermelo succeeded in producing an improved proof making use of Dedekind's notion of the "chain" of a set, which became more widely accepted; this was mainly because that same year he also offered an

axiomatization In mathematics and logic, an axiomatic system is any Set (mathematics), set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A Theory (mathematical logic), theory is a consistent, relatively-self-co ...

of set theory. Zermelo began to axiomatize set theory in 1905; in 1908, he published his results despite his failure to prove the consistency of his axiomatic system. See the article on

Zermelo set theory Zermelo set theory (sometimes denoted by Z-), as set out in a seminal paper in 1908 by Ernst Zermelo, is the ancestor of modern Zermelo–Fraenkel set theory (ZF) and its extensions, such as von Neumann–Bernays–Gödel set theory (NBG). It ...

for an outline of this paper, together with the original axioms, with the original numbering. In 1922,

Abraham Fraenkel Abraham Fraenkel ( he, אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965) was a German-born Israeli mathematician. He was an early Zionist and the first Dean of Mathematics at the Hebrew University of Jerusale ...

and Thoralf Skolem independently improved Zermelo's axiom system. The resulting 8 axiom system, now called Zermelo–Fraenkel axioms (ZF), is now the most commonly used system for

axiomatic set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concern ...

Zermelo's navigation problem

Proposed in 1931, the Zermelo's navigation problem is a classic optimal control problem. The problem deals with a boat navigating on a body of water, originating from a point O to a destination point D. The boat is capable of a certain maximum speed, and we want to derive the best possible control to reach D in the least possible time. Without considering external forces such as current and wind, the optimal control is for the boat to always head towards D. Its path then is a line segment from O to D, which is trivially optimal. With consideration of current and wind, if the combined force applied to the boat is non-zero, the control for no current and wind does not yield the optimal path.

Publications

* * * Jean van Heijenoort, 1967. ''From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931''. Harvard Univ. Press. **1904. "Proof that every set can be well-ordered," 139−41. **1908. "A new proof of the possibility of well-ordering," 183–98. **1908. "Investigations in the foundations of set theory I," 199–215. *1913. "On an Application of Set Theory to the Theory of the Game of Chess" in Rasmusen E., ed., 2001. ''Readings in Games and Information'', Wiley-Blackwell: 79–82. *1930. "On boundary numbers and domains of sets: new investigations in the foundations of set theory" in Ewald, William B., ed., 1996. ''From Kant to Hilbert: A Source Book in the Foundations of Mathematics'', 2 vols.

Oxford University Press Oxford University Press (OUP) is the university press of the University of Oxford. It is the largest university press in the world, and its printing history dates back to the 1480s. Having been officially granted the legal right to print book ...

: 1219–33. Works by others: *''Zermelo's Axiom of Choice, Its Origins, Development, & Influence,'' Gregory H. Moore, being Volume 8 of ''Studies in the History of Mathematics and Physical Sciences,'' Springer Verlag, New York, 1982.

References

* * Grattan-Guinness, Ivor (2000) ''The Search for Mathematical Roots 1870–1940''. Princeton University Press. * * * Ebbinghaus, Heinz-Dieter (2007) ''Ernst Zermelo: An Approach to His Life and Work''. Springer.

External links