Quotes About Transfinite

In Cantor's mind there were an infinite number of infinities-the transfinite numbers-each nested in the other. Aleph 0 is smaller than Aleph 1, which is smaller than Aleph 2, which is smaller than Aleph 3, and so forth. At the top of the chain sits the ultimate infinity that engulfs all other infinities: God, the infinity that defies all comprehension.

Today most mathematicians accept the continuum hypothesis as true, though some study non-Cantorian transfinite numbers where the continuum hypothesis is taken to be false.)

In 1936, Gerhard Gentzen provided a proof of the consistency of arithmetic, but to do it he needed to use a controversial technique known as transfinite induction. This technique is not among the usual methods of proof, and it hardly seemed appropriate for guaranteeing the consistency of arithmetic. What Gentzen had done was prove the obvious by assuming the doubtful.