| − | The '''Continuum hypothesis''' is a conjecture by [[Georg Cantor]] which states that the cardinality of the real numbers (Continuum) equals that of <math>\mathcal{P}(\mathbb{N})</math>, the power set of the [[natural number]]s. The cardinality of this set is denoted with the Hebrew letter <math>\aleph</math>. [[Kurt Godel]] and [[Paul Cohen]] has since shown that the Continuum hypothesis is undecidable in [[Zermelo-Fraenkel]] Set Theory. | + | The '''Continuum hypothesis''' is a conjecture by [[Georg Cantor]] which states that there is no set with cardinality between that of the [[natural number]]s and that of the real numbers (Continuum). [[Kurt Godel]] and [[Paul Cohen]] has since shown that the Continuum hypothesis is undecidable in [[Zermelo-Fraenkel]] Set Theory. |
| − | In layman's terms, Dr. Amir Aczel, author of "The Mystery of the Aleph: Mathematics, the Kabbalah and the Search for Infinity," (Four Walls Eight Windows: 2000) explained this concept on National Public Radio:<ref>AUTHOR AMIR ACZEL DISCUSSES CONCEPTS OF INFINITY National Public Radio (NPR) January 19, 2001</ref>
| |
| − | :This is called the continuum hypothesis. And it has many equivalents in mathematics, by the way. There's something called the axiom of choice and many other equivalents of this continuum hypothesis. And what the continuum hypothesis says, very simply, is that there is one level of infinity, which is that of the numbers, it's called the whole numbers...1, 2, 3, 4, 5. And yet there is a higher level of infinity for the continuum, meaning numbers on a stretch of numbers, the real line where you can have irrational numbers and rational numbers and so on. So what Cantor said is that--and he died not knowing the answer...was that one--the numbers are, he called them aleph zero, their level of infinity. The continuum has a higher level of infinity called aleph one. Now Kurt Godel proved in the '30s that there is no solution to--he really didn't finish the proof; he went one way, and Paul Cohen of Stanford University finished that proof in 1963, that within our system of mathematics, it is not possible for us to know what the answer is. It's not that there is no answer, there is an answer, but we can't know what the answer is.
| |