# Georg Cantor

**Georg Cantor** (1845-1918) was a German mathematician who created the field of Set Theory in several papers written between 1874 and 1897. His motivation was to understand the Christian concept of eternity. He dedicated his last publication to a passage from 1 Corinthians: "The time will come when these things which are now hidden from you will be brought into the light."^{[1]} Cantor was vilified by several leading mathematicians of his time, such as Henri Poincare, but Cantor's revolutionary work proved to be the most influential of all of them.

David Hilbert praised Cantor as the greatest mathematician since before Leonard Euler. Hilbert declared, "No one shall expel us from the paradise that Cantor has created for us." Yet Cantor never lectured at a university about his breakthrough, and his work is an example of the best of the public.

Cantor was the first to "put infinity on a firm logical foundation."^{[2]} His invention of set theory helped him achieve this extraordinary goal.^{[3]} He "described a way to do arithmetic with infinite quantities useful to mathematics."^{[2]}

Cantor invented the concept of cardinality and ordered pairs, and proved that some infinities are larger than others.^{[4]}

Cantor's best known proof is his technique of Cantorian Diagonalization, a method useful to prove that the real numbers are larger in cardinality than the integers. He is also known for his Cantor Set^{[5]} and Cantor Intersection Theorem.

The set of integers (or their equivalent) is the smallest infinite set. Cantor's "Continuum Hypothesis" is the conjecture that the set of all real numbers is the *second* smallest infinite set.

Paul Cohen proved in the 1960s that the "Continuum Hypothesis" can neither be proved nor disproved within conventional (axiomatized) set theory. Stated another way, it is possible to develop a non-Cantorian set theory that negates the "Continuum Hypothesis."