El método diagonal de Cantor ha sacudido los cimientos de la matemática en varias ocasiones: con él demostró la no enumerabilidad de los reales, que siempre existía un conjunto mayor que uno dado, y Gödel se ocupó de utilizar este mismo método para demostrar que no existe un ordenador capaz de resolver los problemas matemáticos.
|
etiquetas: diagonal , cantor