[[Georg Cantor]]'s [[diagonalization|diagonal argument]] is an elegant proof demonstrating that the infinity of [[real number]]s is greater than the infinity of [[countable]] [[integer]]s. The essence of the argument is that in any proposed list of all real numbers, a new real number not in the list can be constructed by taking the digits in a [[diagonal]] through the list and changing them to construct a new real number that differs from the nth entry at the nth position right of the decimal point. | [[Georg Cantor]]'s [[diagonalization|diagonal argument]] is an elegant proof demonstrating that the infinity of [[real number]]s is greater than the infinity of [[countable]] [[integer]]s. The essence of the argument is that in any proposed list of all real numbers, a new real number not in the list can be constructed by taking the digits in a [[diagonal]] through the list and changing them to construct a new real number that differs from the nth entry at the nth position right of the decimal point. |