Introduccin

El periodo de la transicin siglo XVIII al XIX fue unos de los periodos ms ricos de las matemticas, se centro el inters de la investigacin de las matemticas en s mismas, produciendo una acentuada distincin entre la matemtica pura y la aplicada. Siguiendo el avance del siglo XIX, con la introduccin de la teora de conjuntos, el desarrollo de la lgica, el surgimiento de las paradojas, y con el posterior intento de fundamentar las matemticas. La pregunta sera: dada una demostracin por procedimientos cualesquiera de una verdad matemtica Ser posible encontrar siempre una demostracin alternativa de ese mismo hecho basado en enunciados seguros y finitstas? Ser posible reducir las matemticas enteramente al lenguaje y a los sistemas formales y a las reglas lgicas que llamamos demostracin?

David Hilbert: Vida y Aportes a la Matemtica David Hilbert naci en Konigsberg en el ao 1862 (ciudad Alemana que actualmente pertenece a Rusia cuyo nombre es Kaliningrado). Fue un matemtico alemn, se desempeo como profesor en la Universidad de Gotinga (Alemania), durante su vida como profesor en sta Universidad contribuy a que la misma se estableciera como uno de los centros ms importantes de desarrollo de matemticas de la historia, lugar que se debe gracias a otros matemticos importantes que pasaron por ella, tal como Card Friederich Gauss, Peter Dirichlet, y Bernhard Riemman. Muri en la misma ciudad de Gotinga en el ao 1943. Hilbert trabaj en la mayora de las reas Matemticas, incluyendo las Ciencias Fsicas. Trabaj en casi todos los campos de las matemticas; la geometra, la teora de nmeros, el clculo de variaciones, la teora de las ecuaciones integrales, y la lgica matemtica, incluyendo la teora de la relatividad general, y fsica - matemtica. Fue unos de los matemticos que ms influencia tubo en el siglo XIX y principios del siglo XX, siempre tuvo en cuenta y se preguntaba cul seria el camino que tomarian y como se desarrollaran las matemticas del futuro. Debido a ello en la conferencia que dio en el Congreso Internacional de Matemticas que se llevo a cabo en Paris en 1900 expuso una lista de 23 problemas que segn serian los que marcaran el desarrollo de las matematicas futuras.

Quin entre nosotros no estara contento de levantar el velo tras el que se esconde el futuro; observar los desarrollos por venir de nuestra ciencia y los secretos de su desarrollo en los siglos que sigan?Cul ser el objetivo hacia el que tender el espritu de las generaciones futuras de matemticos? Qu mtodos, qu nuevos hechos revelar el nuevo siglo en el vasto y rico campo del pensamiento matemtico? David Hilbert Conferencia Internacional de Matemticas La lista de los 23 Problemas: 1. Problema de Cantor sobre el cardinal del continuo. Cul es el cardinal del continuo? 2. La compatibilidad de los axiomas de la aritmtica. Son compatibles los axiomas de la aritmtica? 3. La igualdad de los volmenes de dos tetraedros de igual base e igual altura. 4. El problema de la distancia ms corta entre dos puntos. Es la lnea recta la distancia ms corta entre dos puntos, sobre cualquier superficie, en cualquier geometra? 5. Establecer el concepto de grupo de Lie, o grupo continuo de transformaciones, sin asumir la diferenciabilidad de las funciones que definen el grupo. 6. Axiomatizacin de la fsica. Es posible crear un cuerpo axiomtico para la fsica? 7. La irracionalidad y trascendencia de ciertos nmeros como , 2, etc. 8. El problema de la distribucin de los nmeros primos. 9. Demostracin de la ley ms general de reciprocidad en un cuerpo de nmeros cualesquiera. 10. Establecer mtodos efectivos de resolucin de ecuaciones diofnticas. 11. Formas cuadrticas con coeficientes algebraicos cualesquiera. 12. La extensin del teorema de Kronecker sobre cuerpos abelianos a cualquier dominio de racionalidad algebraica. 13. Imposibilidad de resolver la ecuacin general de sptimo grado por medio de funciones de slo dos argumentos.

14. Prueba de la condicin finita de ciertos sistemas completos de funciones. 15. Fundamentacin rigurosa del clculo enumerativo de Schubert o geometra algebraica. 16. Problema de la topologa de curvas algebraicas y de superficies. 17. La expresin de formas definidas por sumas de cuadrados. 18. Construccin del espacio de los poliedros congruentes. 19. Las soluciones de los problemas regulares del clculo de variaciones, son siempre analticas? 20. El problema general de condiciones de contorno de Dirichlet. 21. Demostracin de la existencia de ecuaciones diferenciales lineales de clase fuchsiana, conocidos sus puntos singulares y grupo monodrmico. 22. Uniformidad de las relaciones analticas por medio de funciones automrficas: siempre es posible uniformizar cualquier relacin algebraica entre dos variables por medio de funciones automorfas de una variable. 23. Extensin de los mtodos del clculo de variaciones. La fama de David Hilberntent se debe en parte a la presentacin de la lista de los 23 problemas (hasta el momento solo algunos han sido resueltos). Y la otra se debe a; la axiomatizacin de la geometra euclidiana y el intento por dar fundamentar las matemticas.

La Axiomatizacion de la Geometria Euclidiana El texto Grundlagen der Geometrie (Fundamentos de la Geometra) fue publicado en 1899. En sta obra Hilbert sustituye los Axiomas tradicionales de Euclides por un conjunto formal de 21 axiomas. Realiza esta formalizacin de la geometra agrupando los 21 axiomas en cinco grupos: ocho en el primero, cuatro en el segundo, cinco en el tercero, uno en el cuarto y dos en el quinto. Al principio se da a conocer cules seran los conceptos que Hilbert denomina como conceptos primitivos (trminos que no se pueden definir), tales como, puntos, restas, planos, estar entre, congruente. El primer grupo constituye los axiomas denominados de incidencia, donde se vinculan los denominados puntos, rectas y planos. El segundo grupo llamados axiomas de ordenacin, vincula los puntos de

una recta con la relacin primitiva de estar entre. El tercer grupo denominado axiomas de congruencia, una vez definido lo que es una semirrecta, un semiplano, un segmento, un ngulo. En un sentido intuitivo, la congruencia de dos figuras en el espacio, implicara la posibilidad de superponer las figuras de forma exacta, pero Hilbert introduce esta definicin de una manera ms abstracta haciendo uso del grupo de axiomas ya establecidos. El cuarto grupo de axiomas denominados de continuidad. Para llegar al ltimo grupo de axiomas se define cundo una recta es paralela a otra. El quinto grupo es el constituido por el quinto postulado de Euclides o el denominado axioma de las paralelas. Hilbert llega a mostrar que su sistema de axiomas es consistente, esto es algo que los griegos solo lo haban admitido como cierto pero sin dar una demostracin. Entonces cmo hiso Hilbert para mostrar que su sistema axiomtico era consistente? Una forma de establecer la consistencia fue proponer un modelo basado en la aritmtica de los nmeros reales. Pero esta demostracin de consistencia viene condicionada. Ya que no se sabe si la aritmtica de los nmeros reales es consistente, entonces el modelo axiomtico de la geometra euclidiana de Hilbert depende de la consistencia de la aritmtica de los nmeros reales. De esta manera David Hilbert sin cambiar la esencia de la geometra de Euclides, pasa de un fundamento intuitivo a un lgico.

La Fundamentacin de las Matemticas

El universo matemtico siempre tuvo sus momentos donde se le presentaban algunos problemas, que en cierta medida lograban poner una traba al avance de esta ciencia, uno de los casos fue la presentacin del infinito. Por mucho tiempo los matemticos al verse enfrentados al infinito y al no poder hacer frente a este problema, decidieron evitarlo. Galileo Galilei se pregunt una vez si la cantidad de nmeros naturales es igual a la cantidad de los nmeros cuadrados. Alrededor de la mitad del siglo XIX George Cantor al investigar sobre series trigonomtricas, llego a desarrollar de manera sistemtica la Teora de Conjuntos, la cual revolucionara el pensamiento matemtico de la poca. En contribuciones a la fundamentacin de la Teora de los Nmeros Transfinitos, al admitir la reunin ilimitada en un todo de objetos cualesquiera de nuestra intuicin Cantor introduce a la matemtica el infinito actual. Segn Aristteles hay dos formas de entender al infinito; la idea del infinito potencial, y la idea del infinito actual. La idea del infinito potencial se refiere a un proceso de crecimiento que nunca termina, en cambio la idea del infinito actual se refiere a un hecho acabado. Por ejemplo, cuando decimos que hay infinitos nmeros naturales, para la concepcin potencial se estara diciendo que, dada cualquier cantidad finita de

nmeros, siempre hay uno ms, nunca se termina, por lo que no es posible agruparlos a todos en un nico conjunto. En cambio, para la concepcin actual, se estara diciendo que hay de hecho una infinidad de nmeros que pueden ser reunidos en una nica totalidad. Al principio esta nueva teora de conjuntos de Cantor no fue aceptada. Pero luego con el intento de dar una formalizacin de las matemticas, algunos matemticos se dan cuenta del potencial de la teora de conjuntos como una herramienta para llegar a tal fin. As como la teora de conjuntos se transforma en una herramienta importante para la formalizacin de las matemticas, la Lgica en el desarrollo de la matemtica se transforma tambin en una disciplina indispensable para ella, porque hay que deducir, y hay que saber de qu modo hacerlo. Adems es necesario definir y hay que aceptar reglas de definicin. Es as que gracias a la lgica la teora de conjuntos llega a ser un instrumento unificador bsico del lenguaje de la matemtica. En la actualidad hay muchsimas ramas de las matemticas, diferentes entre s, y sin embargo la teora de conjuntos, sus propiedades y sus relaciones, se aplican a todas estas ramas e intervienen en todos sus discursos. Qu fue lo que desencadeno la necesidad de dar una fundamentacin a las matemticas? Una de las cosas por la cuales se hizo necesario el desarrollo de una formalizacin de la matemtica fue el gran variedad de teoras matemticas con las que se contaban en la poca y se seguan desarrollando, era necesario dar una reordenacin del gran volumen de teoras matemticas desde slidas bases para su posterior construccin como teoras axiomticas, tal como Hilbert haba hecho con la geometra euclidiana. Otra de las causas fue el descubrimiento de las geometras no euclidianas, antes que surjan estas teoras, se pensaba que la geometra era el mejor ejemplo de ciencia exacta y eterna. Era necesario partir desde otra perspectiva para tantearse el problema. La manera ms simple que fue concebida, fue utilizar la teora de conjuntos para construir una teora. Las Primeras Propuestas En 1889 Giuseppe Peano un matemtico Italiano expuso el ensayo Los principios de la aritmtica segn un nuevo mtodo por el cual pretenda presentar los nmeros naturales por medio de un sistema axiomtico formal, conocido hoy como Axiomtica de Peano Los axiomas de Peano: 1- Cero es un numero natural 2- Si un numero natural, entonces el siguiente de tambin es un nmero natural.

3- Cero no es el siguiente de ningn nmero. 4- Si dos nmeros naturales tienen siguientes idnticos, es que ellos son idnticos. 5- Para toda propiedad , si cero tiene la propiedad y, supuesto que, del hecho de que un nmero natural cualquiera tiene la propiedad , resulta que el siguiente de ese nmero tambin tiene la propiedad , entonces todos los nmeros naturales tienen la propiedad . Peano con su sistema axiomtico formal fue uno de los precursores de la crtica que llevo a Hilbert a la reformulacin de los Elementos de Euclides.

Entre 1879 y 1902, en una serie de publicaciones, Gottlob Frege (1848 - 1925) se dedic a fundamentar rigurosamente la aritmtica y partiendo de ella toda la matemtica. Frege se bas en la lgica y la teora de conjuntos. Frege publico su primer tomo en 1893 que resume todo el trabajo sobre la fundamentacin de la aritmtica que se titulaba Fundamentos de la Aritmtica, el segundo tomo lo publica en 1903. Poco despus de publicacin del segundo tomo, Frege recibe una carta de Bertrand Russell con una crtica sobre su trabajo. En la carta que recibe Frege de Russell se expone la famosa paradoja que logro desmoronar todo lo que Frege haba construido durante varios aos de trabajo. La paradoja de Russell Los conjuntos en general no son conjuntos de s mismos. Sea el conjunto de los = La pregunta que se haca Russell y que formulo en la carta a Frege era si este conjunto pertenece a si mismo. ? A esta paradoja tambin se la relaciona con la paradoja del barbero, que dice; Un barbero de cierto pueblo afeita a todos los hombres que no se afeitan a si mismos Debe el barbero afeitarse a s mismo? As como esta paradoja, surgieron otras, que pusieron en jaque el intento por formalizar las matemticas utilizando la teora de conjunto.

Tres Formas de ver las Matemticas El descubrimiento de la paradoja de Russell precipita la crisis de los fundamentos, y se pone en duda la validez de la teora de conjuntos y del razonamiento que hace uso la idea del infinito actual. Debido a la crisis que provocaron estas paradojas, los matemticos se preguntan si pueden llegar a refundar las matemticas sobre bases slidas y libres de contradicciones. Nacen as tres escuelas con ideas diferentes de cmo rescatar a las matemticas de esta profunda crisis. Surge la Escuela Formalista encabezada por David Hilbert, tambin llamado el Programa Formalista. El Logicismo encabezado por Bertrand Russell. El Intuicionismo encabezado por el holands Brouwer.

El Programa Formalista David Hilbert junto con Paul Bernays desarrollaron una teora general de la demostracin basada en axiomas, este programa fue realmente ambicioso en el sentido que se quera eliminar por completo cualquier duda sobre la confiablidad de la inferencia matemtica. La preocupacin de Hilbert era cmo llegar a manipular con reglas lgicas los conjuntos infinitos pensndolos como totalidades acabadas. Lo que se haba denominado infinito actual. El desafo que tena en mente Hilbert era el de encontrar un sistema axiomtico consistente y abarcador, que permitiera reobtener a travs de demostraciones, todos los resultados verdaderos de la matemtica. Esto permitir decidir la verdad o falsedad de cada afirmacin matemtica de manera puramente sintctica. Es decir si la afirmacin es verdadera, sera un teorema del sistema axiomtico, y si fuera falsa, su negacin seria un teorema del sistema. Hilbert quera que la matemtica fuese formulada sobre unas bases slidas y completamente lgicas. Para l esto poda lograrse mostrando que; toda la maemtica se sigue de un sistema finito de axiomas, y que tal sistema axiomtico se puede demostrar consistente. El sistema Axiomtico La idea de sistema axiomtico se propone como una manera de librar a las matemticas de la aparicin de paradojas y contradicciones. Un sistema axiomtico es un conjunto determinado de axiomas que cuentan con unas reglas lgicas que permiten llevar a cabo las demostraciones. La nocin de Axioma siempre estuvo ligada a la nocin de verdad.

Las propiedades que deben cumplir estos sistemas axiomticos son; Consistencia: se dice que un sistema axiomtico es consistente cuando es imposible demostrar en sus reglas de transformacin un teorema y su negacin a partir de su conjunto de axiomas. Completitud: un sistema axiomtico es completo cuando sus axiomas se pueden reobtener va, como teoremas, todos los enunciados verdearos del rea o del objeto que nos proponemos axiomatizar. Decivilidad: un sistema axiomtico es decidible, cuando para toda formula de su lenguaje pueda averiguarse en un nmero finito de pasos, si la formula es un teorema o no. Independencia: un sistema axiomatico es independiente, cuando sus axiomas son independientes. Un axioma es independiente de los dems axiomas del conjunto, cuando no es demostrable a partir de ellos. Lo que propona Hilbert, era, recuperar toda la matemtica y en particular la teora de conjuntos de Cantor, a partir de su teora de la demostracin, y reobtener, para cada demostracin obtenida por mtodos cualesquiera de la matemtica usual, una demostracin rigurosa y segura que utilizara solo inferencias finitas. Y como culminacin de este proyecto, pretenda dar una demostracin a travs de los mtodos seguros de la consistencia de la aritmtica. El Programa Logicista Encabezado por Bertrand Russell y Gottlob Frege, estos proponen que las matemticas deben ser consideradas como parte de la lgica. Se afirma que todo concepto matemtico puede ser derivado de los conceptos fundamentales de la lgica, resolviendo as el problema de la consistencia. Entonces con esta concepcin de las matemticas, afirman que ella, es una rama de la lgica, sus proposiciones deban ser tautologas. El objetivo del logicismo era poder desarrollar unas matemticas perfectas que no dejaran ni la ms mnima posibilidad de la presencia de la duda. En este momento la lgica se haba vuelto pura, se haba matematizado y su alcance se extenda. Frege propone la moderna lgica matemtica, su logro ms importante es la axiomatizacin de la lgica proposicional. Su objetivo era partir de un nmero pequeo de axiomas y haciendo uso de reglas de inferencia lograr deducir teoremas lgicamente vlidos. Una crtica que se le realiza a esta postura logicsta, es que, si su postura es correcta, entonces estaran admitiendo que todas las matemticas son formales, es decir una ciencia lgico deductiva, cuyos teoremas siguen las leyes del

pensamiento abstracto. Entonces la pregunta cmo este pensamiento deductivo, basado en el pensamiento, pueda predecir y explicar una gran gama de fenmenos naturales. El Programa Intuicionista La escuela intuicionista creada por Luitzen E. Brouwer (1881-1966) matemtico y filosofo holands. Esta escuela se forma gracias a la aparicin de la paradoja de Russell, y se considera que las paradojas estn causadas directamente por la introduccin del infinito actual, y por lo tanto afirman que la teora de conjuntos Cantor es errnea. Para Brouwer solo tienen sentido aquellos enunciados cuya validez es comprobable en una cantidad finita de pasos. Para los intuicionistas la matemtica es una libre creacin del hombre, el cual no descubre sino que crea la matemtica.

Kurt Gdel Kurt Gdel (1906 - 1978) demostr que el programa de Hilbert era irrealizable. Gdel se propona serrar una discusin que se desarrollaba en los terrenos de los fundamentos de las matemticas. Hilbert y los matemticos que formaron parte del programa formalista, trabajaron y estaban dedicados al proyecto. Este esfuerzo que sostuvieron tanto Hilbert como su grupo del programa, por dar soporte a la matemtica axiomatizada con principios definidos, que eliminara las incertidumbres tericas, iba sin embargo a terminar en derrota. Gdel demostr que no se poda demostrar la completitud de ningn sistema formal no contradictorio que fuera suficientemente amplio para incluir la aritmtica, slo mediante sus propios axiomas. En 1931presento su Teorema de Incompltitud mostr que el ambicioso plan de Hilbe rt era imposible tal como se planteaba. Entonces Gdel mostr los limites internos de los sistemas formales. Las matemticas son sistemas inagotables desde cualquier sistema formal. Siempre contendrn verdades matemticas indecidibles. El mtodo axiomtico es de fecundidad limitada.

El Teorema de la Incompletitud

Todo sistema axiomtico consistente y recursivo para la aritmtica tiene enunciados indecidibles. En particular, si los axiomas del sistema son enunciados verdaderos, puede exhibirse un enunciado verdadero y no demostrable dentro del sistema.

Conclucion Las matemticas a lo largo de la historia y de su desarrollo como ciencia, se a tropezado con una serie de problemas que la estancaban y hundan en una profunda crisis. Pero siempre lograba superar estos problemas, resurgiendo cada vez ms fuerte y slida. As como el descubrimiento de 2 para los pitagricos, la crisis de los fundamentos de la matemtica, no detuvo el avance de las matemticas en el siglo XX. David Hilber fue un matemtico cuyo nombre quedo en los desarrollos de las matemticas del siglo XIX, sino que asta en la actualidad sigue impulsando el desarrollo de las matemticas, esto es debido a la visin y a su cuestionamiento de qu camino tomaran las matemticas del futuro, a esta pregunta la acompao con la lista de los 23 problemas que segn l serian los que marcaran el futuro de las matemticas. El hecho de haber aplicado a la lgica de conjuntos finitos a los infinitos es una experiencia que quedo marcada en los matemticos al toparse con contradicciones que realmente les causaron problemas. La teora de conjuntos de Cantor verdaderamente es una gran herramienta para poder trabajar y entender las matemticas. En cuanto a la enseanza de las matemticas, en el nivel medio y en el nivel universitario, se la ve desde un punto de vista intuitivo como conjuntos de nmeros (, , , , , ), funciones, relaciones, clases de equivalencia, y luego operamos con estos conjuntos, etc. Entonces no hay que escapar al tema del infinito. Sino que hay que buscar nuevos principios que sean aplicables y as contribuir a que las matemticas sigan desarrollndose.