El Platonismo matemtico, Cantor, Gdel y a o los fundamentos de la matemtica a

Franklin Galindo Noviembre 2012

1 2

(Consistencia, Incompletitud esencial, certidumbre e incertidumbre de la Matemtica) a El Platonismo matemtico En qu cona e siste? GEORG CANTOR (1845-1918) Qu hizo e Cantor?
Palabras de Hilbert sobre el trabajo de Cantor acerca del INFINITO: Sin embargo, por s slo el anlisis resulta insuciente para pro o a porcionarnos una visin de la ms profunda esencia del innito. Esta o a visin la encontramos ms bien en la teor de conjuntos de Georg Cano a a tor, una disciplina ms cercana a un enfoque losco general que ubica a o todo el complejo de problemas relativo al innito en una nueva perspectiva. Lo que aqu nos importa de ella es precisamente aquello que en verdad constituye su nucleo fundamental, esto es, la TEORIA DE LOS NUMEROS TRANSFINITOS. En mi opinin, el sistema de Cantor o constituye no slo la or ms admirable que el esp o a ritu matemtico ha a 1

producido, sino igualmente uno de los logros ms elevados de la activia dad intelectual humana en general. (Artculo: EL INFINITO. Texto: LOS FUNDAMENTOS DE LAS MATEMATICAS. David Hilbert. Facultad de Ciencias UNAM.1993). El innito potencial y el innito actual. Cardinalidad Qu es un nmero cardinal? Equipotencia. Inyeccin e u o propia. N P ares (hacer la prueba) N Impares, N Z , N Q, R (0, 1) (hacer la prueba) Cmo queda el principio EL TODO o ES MAYOR QUE LA PARTE con estos ejemplos ?. Teorema de Cantor: | N |<| R |. Por lo tanto existen al menos dos innitos actuales. (hacer la prueba) Otro Teorema de Cantor: | A |<| P (A) |. Por lo tanto existen una cantidad innita de innitos actuales. Aritmtica de los nmeros cardinales innitos (Aritmtica transnta). e u e Extensin de la aritmtica de los nmeros naturales. o e u Nmeros ordinales de Cantor Qu es un nmero ordinal ? Consu e u truccin intuitiva siguiendo a von Neumann. Aritmtica de los ordio e nales innitos. Extensin de la aritmtica de los nmeros naturales, o e u pero distinta a la de los cardinales. El Principio de comprensin intuitiva y surgimiento de las paradojas o en la Teor de Conjuntos. Paradojas de Cantor, Burali-Forti y Russell. a La posicin de Cantor al respecto. El Logicismo, el Intuicionismo (conso tructivismo) y el Proyecto Metamatemtico de Hilbert (Del paraso a 2

que Cantor cre para nosotros nadie nos podr apartar) Dnde est o a o a la CERTIDUMBRE matemtica? Cmo queda el problema de la a o consistencia de la matemtica? Es un problema abierto. a La Hiptesis de continuo de Cantor | R |= 1 Por qu Cantor formul o e o tal hiptesis?. o

KURT GODEL (1906-1978) Qu hizo e Gdel ? o

Teorema de completitud de la Lgica de primer orden (1930). EL o METODO DE HILBERT FUNCIONA !!! Teoremas de Incompletitud (1931). Por lo tanto ZFC es ESENCIALMENTE incompleta y no se puede probar la consistencia de ZFC con los mtodos de ZFC, es decir, la consistencia de la mtemtica no se e a a puede probar con sus mismos mtodos (hay que salirse) Dnde e o est la CERTIDUMBRE matemtica? Cmo queda el problema de a a o la consistencia de la matemtica? Sigue siendo un problema abierto. a Un ejemplo de proposicin indecidible de ZFC: La Hiptesis de cono o tinuo de Cantor (Gdel (1938), Cohen (1963)) Cantor sabia esto ?. o Los aportes revolucionarionarios de Gdel y Cohen a la Teora de Cono juntos: Los constructibles y el forcing (Mtodos muy poderosos para e construir modelos de la TC). La posicin de Gdel (y los platonistas) frente a la independencia de o o la Hiptesis del continuo de ZFC: El problema no est cerrado, lo que o a se evidencia es que no entendemos bien el concepto de conjunto y por lo tanto hay que anar nuestra intuicin intelectual para descubrir o nuevas verdades sobre los mismos, hay que buscar nuevos axiomas para 3

aumentar la capacidad deductiva de ZFC y decidir la verdad o falsedad de dicha proposicin. Vale la pena resaltar que para Gdel Cantor eso o taba equivocado y el cardinal del continuo no es 1 , es 2 , esto es lo que creen la mayora de los conjuntistas actuales pues es lo que se inere de algunos candidatos a nuevos axiomas que se han formulado recientemente (Por ejemplo El Axioma de Martin Mximo y El Axioma a de Forcing Propio), pero estos candidatos a nuevos axiomas tienen entre sus principales problemas en que son muy poco intuitivos, por ejemplo probar su consistencia relativa con ZFC requiere de hiptesis o muy fuertes como la existencia de grandes cardinales cuya existencia no se puede probar a partir de ZFC (como consecuencia de Segundo Teorema de Incompletitud de Gdel). o Decidir la Hiptesis de continuo es un gran movimiento mundial de los o conjuntistas actuales Estamos cerca de una solucin?. o

FIN DE LA EXPOSICION. MUCHAS GRACIAS.