Common questions about Set (mathematics)

Short answers, pulled from the story.

What is Russell's paradox and when was it discovered?

Russell's paradox is a logical contradiction discovered by Bertrand Russell in 1902 that reveals the intuitive notion of a set as any collection of objects is fundamentally flawed. The paradox occurs when trying to form the set of all sets that do not contain themselves, creating a logical loop where the set must both contain and not contain itself. This discovery threatened to collapse the entire foundation of mathematics and forced the community to replace naive definitions with rigorous axioms.

Who was Georg Cantor and when did he prove that not all infinities are equal?

Georg Cantor was a German mathematician born in 1845 who first treated infinity as a completed object that could be measured and compared. He proved that the set of natural numbers and the set of real numbers were of different sizes in the 1870s, specifically publishing this result in 1878. Cantor demonstrated that real numbers are so numerous they cannot be put into a one-to-one correspondence with natural numbers, establishing a hierarchy of infinite cardinalities.

What is Zermelo-Fraenkel set theory with the axiom of choice and when was it developed?

Zermelo-Fraenkel set theory with the axiom of choice is the most widely accepted system of axioms developed in the early 20th century by Ernst Zermelo and Abraham Fraenkel. This system does not define what a set is but describes how sets behave to prevent paradoxes like Russell's paradox. It includes the axiom of extensionality, the axiom of separation, and the axiom of choice to ensure the logic of mathematics remains consistent and free from contradiction.

What is the empty set and when was its existence guaranteed by an axiom?

The empty set is the unique set that contains no elements and is denoted by the symbol or {}. Its existence is guaranteed by the axiom of empty set which asserts that there is a set with no members. This set serves as the foundation for building all other mathematical objects, such as defining the number zero as the empty set and the number one as the set containing the empty set.

When was the continuum hypothesis proven to be independent of standard axioms?

The continuum hypothesis is a conjecture formulated by Georg Cantor in 1878 that states there is no set with a cardinality strictly between that of the natural numbers and the real numbers. Paul Cohen proved in 1963 that this hypothesis is independent of the standard axioms of set theory, meaning it can be neither proved nor disproved within the framework of Zermelo-Fraenkel set theory. This result has profound implications for the foundations of mathematics and suggests that the nature of infinity may be undecidable within the current axiomatic system.

When was the axiom of choice formulated and what does it assert?

The axiom of choice was formulated by Ernst Zermelo in 1904 and asserts that given any collection of nonempty sets, it is possible to choose exactly one element from each set to form a new set. This axiom is equivalent to Zorn's lemma and the statement that every set can be well-ordered. Despite leading to counterintuitive results like the Banach-Tarski paradox, the axiom of choice is essential for proving many theorems in algebra, topology, and analysis.

Read the full story about Set (mathematics) →