Lógica - Segundo Cuatrimestre 2008 Argumento de la Diagonal de Cantor Prof. Eduardo Alejandro Barrio Facultad de Filosofía y Letras, UBA.

Presentación del tema: "Lógica - Segundo Cuatrimestre 2008 Argumento de la Diagonal de Cantor Prof. Eduardo Alejandro Barrio Facultad de Filosofía y Letras, UBA."— Transcripción de la presentación:

1

2 Lógica - Segundo Cuatrimestre 2008 Argumento de la Diagonal de Cantor Prof. Eduardo Alejandro Barrio Facultad de Filosofía y Letras, UBA.

3 Lógica George Cantor

4 Lógica Resultados acerca de conjuntos infinitos: Los conjuntos infinitos no se comportan del mismo modo que los conjuntos finitos Por ejemplo: El conjunto de los números pares es tan grande como el de los naturales. Agregar el conjunto de los números naturales al conjunto de los impares no agranda el tamaño Medir el tamaño de un conjunto es poner en correspondencia uno a uno todos los elementos de cada conjunto

5 Lógica Argumentos Diagonales Cantor usa este tipo de argumento para mostrar que hay conjuntos infinitos de distinto tamaño. Dada una lista, una colección de elementos, el método puede ser aplicado a ella para descubrir un conjunto (L) de elementos que no aparece en la lista. (D) Para cada elemento e de la colección, e está en la lista ssi e no está en la lista. …….

6 Lógica Argumentos Diagonales: el argumento de Cantor tiene la siguiente estructura: (I) Supongamos que hay una correspondencia uno a uno (biunívoca) entre los elementos de D 1 y D 2. (ii) Entonces es posible construir una lista completa tal que en la primera estén todos los números naturales y en la segunda todos los reales. (iii) Prestemos atención al número real formado por la diagonal de cuadro. Ya que la lista es completa, entonces ese número tiene que estar en la lista en algún lugar. (iv) Considerar ese número asegura una peculiaridad. Ese número comparte con todos los números reales un dígito. (v) Consideremos el número antidiagonal formado a partir del número diagonal alterado de manera sistemática cada uno de los dígitos del número diagonal (por ejemplo, cambiando el 9 por 1 y el 1 por 9) (vI) Ese número tiene que estar en la lista, ya que la lista es completa. Pero ese número no puede estar en la lista, ya que por construcción, no puede estarlo. Surge una contradicción: el número antidiagonal está y no está en la lista. Por lo tanto la suposición es falsa, Luego no hay una corespondencia uno a uno entre reales y naturales. …….

7 Lógica 1)Prueba de Cantor: No hay una correspondencia biunivoca entre los naturales y los reales. D 2 D 1 012345 … E 1 919911 E 2 911999 E 3 119199 E 4 191919 E 5 919119 E 6 191999 D 1 = conjunto de los enteros positivos D 2 = conjunto de los reales.

8 Lógica 1)Prueba de Cantor: No hay una correspondencia biunivoca entre los naturales y los reales. D 2 D 1 012345 … E 1 119911 E 2 991999 E 3 111199 E 4 191119 E 5 919199 E 6 191991 D 1 = conjunto de los enteros positivos D 2 = conjunto de los reales.