Search results
5 days ago · In the early twentieth century, Ernst Zermelo and Abraham Fraenkel developed a formalisation of set theory known as Zermelo-Fraenkel Set Theory (ZFC). ZFC is one of the most commonly used formalisations of mathematics.
1 day ago · In 1913, Ernst Zermelo published Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels (On an Application of Set Theory to the Theory of the Game of Chess), which proved that the optimal chess strategy is strictly determined. This paved the way for more general theorems.
1 day ago · Large cardinals are certain types of infinite cardinal numbers that possess special properties and consistency strength beyond those of the standard axioms of set theory, such as Zermelo-Fraenkel set theory (ZF) or Zermelo-Fraenkel set theory with the axiom of choice (ZFC).
5 days ago · In mathematical logic, New Foundations ( NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica .
6 days ago · This opposition found its focus in the SA and its leader in the SA chief of staff, Ernst Röhm. From the summer of 1933 to the summer of 1934, this question of the so-called “second revolution” formed the dominant issue in German politics.
4 days ago · How would you construct a choice function on P(R) ∖ {∅} P ( R) ∖ { ∅ }? Which element should be picked from R ∖Z R ∖ Z, for example? The axiom of choice is literally what distinguishes ZFC from ZF (the "C" is right there in the name).
3 days ago · 1953 ( MCMLIII) was a common year starting on Thursday of the Gregorian calendar, the 1953rd year of the Common Era (CE) and Anno Domini (AD) designations, the 953rd year of the 2nd millennium, the 53rd year of the 20th century, and the 4th year of the 1950s decade.
