Bolet de la Asociacin Matemtica Venezolana, Vol. IX, No.

1 (2002) n o a

27

David Hilbert y su Filosof Empiricista a de la Geometr a

Leo Corry
David Hilbert (1862-1943) fue sin duda uno de los matemticos ms ina a uyentes de principios del siglo veinte. Su obra se extendi sobre numerosos y o diversos campos de investigacin abarcando desde la teor de los invariantes o a algebraicos, hasta las ecuaciones integrales, pasando por los fundamentos de la geometr de la f a, sica y de la lgica. Junto con Henri Poincar (1854-1912), o e Hilbert ha sido reconocido como el ultimo gran universalista de las matemticas. a A partir de 1918 el principal campo de investigacin de Hilbert fue el de los o fundamentos de la aritmtica, campo que cultiv junto con sus ultimos grandes e o colaboradores, Paul Bernays (1888-1977) y Wilhelm Ackermann (1896-1962). Como parte de esta actividad, Hilbert se vio envuelto en una serie de v vidas discusiones con importantes matemticos que representaban visiones opuestas a a la suya. Estas discusiones llegaron a conocerse en la historia de la disciplina como la crisis de fundamentos, y los principales puntos de vista expuestos en ella se denominaron intuicionismo, logicismo y formalismo.1 Hilbert fue el ms prominente matemtico entre aquellos que defendieron el punto de vista a a formalista. La posicin intuicionista fue propugnada inicialmente por el holands Luitzen o e Egbertus Brouwer (1881-1966). Brouwer hab realizado una destacada laa bor de investigacin como toplogo, pero su verdadero inters se concentraba, o o e desde muy temprano en su carrera, en la pregunta de los fundamentos de la matemtica. Siguiendo una l a nea de pensamiento originada por el matemtico a berlins Leopold Kronecker (1823-1891), Brouwer sosten una losof de las e a a matemticas que se opon al uso del innito actual, y en particular al uso a a indiscriminado de la gran gama de cardinales innitos recientemente dados a conocer por la teor de los conjuntos desarrollada a nes del siglo diecinueve a por Georg Cantor (1845-1918) y Richard Dedekind (1831-1916).2 Matemticos a como Kronecker y Brouwer consideraban que el unico tipo de innito que podr a
1998. inicio de la teor de los conjuntos es a menudo atribuido exclusivamente a la labor de a Cantor (y yo mismo usar el trmino cantoriano, en este art e e culo), pero recientes estudios histricos determinan claramente el papel clave jugado por Dedekind en el desarrollo de la o teor Vase sobre todo, Ferreirs 1999. a. e o
2 El 1 Mancosu

28

L. Corry

utilizarse validamente en matemticas era el innito potencial, es decir aquel a implicado por el hecho de que la serie de los nmeros naturales podr seguirse u a extendiendo indenidamente desde cualquier nmero dado. Las paradojas reu cientemente descubiertas en el contexto de la teor de conjuntos ofrec evia an dencia adicional, y, en opinin de Brouwer, tajante, de los peligros sobre los o cuales l quer prevenir. En su opinin, en matemticas deber aceptarse e a o a an tan slo argumentos constructivos para los cuales se conoce un procedimiento o efectivo y nunca demostraciones de existencia basadas en argumentos de reduccin al absurdo que implican la adopcin irrestricta, expl o o cita o impl cita, de los cardinales innitos cantorianos. Hilbert por su parte hab sido desde muy temprano en su carrera uno de a los grandes defensores de la teor cantoriana, en la cual ve uno de los grandes a a logros de la disciplina y uno de los medios clave para asegurar su continuado desarrollo exitoso en las dcadas por venir. Esta visin la expres en diversas e o o oportunidades, siendo especialmente famosa su declaracin de 1926, al efecto de o que nadie nos sacar del para que Cantor cre para nosotros.3 Pero ms a so o a importante que las declaraciones es el hecho que el primer logro investigativo de real importancia en su carrera se hab debido a una demostracin de existencia a o precisamente del tipo al que Brouwer lleg a oponerse. Era sta la demostracin o e o de existencia de una base nita para cualquier sistema dado de invariantes de orden arbitrario. Este hab sido un problema que ocup por largos aos los a o n mejores esfuerzos de los practicantes de la disciplina, desde que Paul Gordan (1837-1912) hab probado en 1868 su validez para el caso espec a co de los sistemas binarios. La demostracin de Hilbert se basaba en un argumento por o reduccin al absurdo, y en su primer momento una prueba de existencias de este o tipo no fue aceptada con facilidad por sus contemporneos. Gordan mismo, a a quien Felix Klein (1849-1925) pidi que juzgue el art o culo para su publicacin o en Mathematische Annalen, lo rechaz en un principio, declarando: Esto no es o matemtica, esto es teolog 4 a a. El debate de los fundamentos de los aos veinte tocaba un punto imporn tant simo en las concepciones de Hilbert, pero la ferocidad que tom en algunos o momentos se debi no slo a razones puramente cient o o cas, sino tambin a cuese tiones de prestigio personal. As el debate se torn especialmente agudo desde , o el momento en que Hermann Weyl (1885-1995), el ms prominente de entre a los much simos alumnos brillantes de Hilbert, cruz las l o neas para unirse al enemigo. En 1921 Weyl public un paneto en el cual explicaba y apoyaba las o ideas de Brouwer, y a la vez criticaba en trminos muy alados las posiciones e generalmente aceptadas en lo referente a los fundamentos de la matemtica, a basndose en el uso de la teor de los conjuntos. Para Weyl, la posicin de a a o Brouwer constitu una verdadera revolucin que podr solucionar la penosa a o a
3 Hilbert 4 Corry

1926, 375-376. 1996, Cap tulo 3.

Hilbert y su Filosof Empiricista de la Geometr a a

29

situacin en que la disciplina se encontraba, en su opinin. Entre las reaco o ciones ms contundentes de Hilbert al intuicionismo se encuentran aquellas que a surgieron como respuesta directa al paneto de Weyl.5 Pero Hilbert entend que la posicin de Brouwer y Weyl no era totalmente a o infundada y que era necesario, efectivamente, tomar precauciones que eviten el caer en las paradojas de la teor de conjuntos. Por otro lado, l no estaba a e dispuesto a renunciar a los logros obtenidos en matemtica gracias al extendido a uso de la ultima. La posicin formalista que Hilbert y sus colaboradores desarro o llaron propon una v intermedia como solucin, basada en una axiomatizacin a a o o conjunta de la matemtica y de la lgica. a o El punto de partida era la posibilidad indiscutida de formalizar, basndose a en un nmero nito de axiomas, los conceptos y las demostraciones de la aritu mtica, como se conoc desde los trabajos de Peano y de Russell y Whitehead. e a En estas condiciones, el concepto mismo de demostracin podr volverse un o a objeto de estudio matemtico, y por medio de ello Hilbert esperaba probar la a consistencia de la aritmtica. El punto clave de este programa es que la prueba e de consistencia se obtendr por medios nitistas, que los intuicioncitas misa mos aceptar como vlidos. an a Hilbert y Bernays introdujeron la idea de abordar este problema por medio de dos niveles de consideracin: primero, un nivel de discurso matemtico cuyos o a teoremas son demostrables por mtodos constructivos que no requieren la ine tervencin de argumentos con innitos cantorianos. El segundo nivel es el que o se obtiene al adherir a aquel, una serie de elementos ideales, tal y como en la geometr proyectiva se agregan puntos, l a neas y planos ideales en el innito, o como en la teor de los nmeros Kummer agreg nmeros ideales para proa u o u bar sus teoremas de factorizacin unica. As como en estas disciplinas no es o relevante preguntarse por el signicado de la existencia de estos elementos ideales, sino que con su ayuda se prueban teoremas, as mismo propon Hilbert a considerar sus elementos ideales en la aritmtica. e Usando tan slo los mtodos nitistas aceptados e incuestionables, se deo e mostrar que an al extender el sistema para que incluya los elementos ideales, a u no se perd la consistencia ni se introduc contradicciones. Con este n, y a an tan slo con este n, Hilbert propuso ver la aritmtica de los elementos ideales o e como un sistema de signos faltos de signicado sobre los cuales puede operarse por medio de reglas estipuladas con anticipacin, reglas que deben verse como o puramente formales y como faltas de signicado intr nseco. El intento de probar la consistencia de la aritmtica de esta manera, y basndose tan slo en proe a o cedimientos nitistas, fue lo que lleg a conocerse como el programa formalista o de Hilbert. Como bien es sabido, a pesar del optimismo que acompao a este n programa desde su principio, l lleg a un callejn sin salida al publicar Kurt e o o Gdel sus teoremas de incompletitud en 1931. o
5 Van

Dalen 1990.

30

L. Corry

Hilbert fue entonces un formalista en su losof de la matemtica en un a a sentido netamente circunscrito al problema particular del campo de los funda mentos de la matemtica. El concibi un programa detallado e inici, junto con a o o sus colaboradores, la implementacin de los pasos necesarios para abordarlo en o la direccin que l consideraba potencialmente exitosa. Con buena razn, vao e o rios autores han preferido llamar al programa de Hilbert nitista antes que formalista.6 Y es que el trmino formalismo tambin ha sido aplicado en la matemtica e e a del siglo veinte con un signicado bastante diferente y en un contexto totalmente distinto. Este trmino tambin se ha aplicado parra denotar la idea segn e e u la cual la matemtica toda no es sino una coleccin de sistemas deductivos a o estrictamente abstractos y formales, cuyo objetivo es derivar teoremas a partir de axiomas arbitrariamente escogidos y faltos de todo signicado intr nseco. La unica condicin que se demandar de tales sistemas, seg n este segundo tipo o a u de formalismo, es la consistencia. Como posicin losca, este enfoque se ha o o presentado como una alternativa al platonismo, o realismo matemtico, o sea, a la posicin segn la cual la matemtica trata de las propiedades de algunos o u a objetos dotados de existencia objetiva y exterior al matemtico. Los objetos de a que se ocupa la matemtica son, segn el enfoque platonista, similares en un a u sentido a los de la esfera de la experiencia emp rica, ya que nuestro conocimiento de ellos es objetivo. Son diferentes, no obstante, ya que aquellos son eternos e incambiantes, y podemos conocerlos con mayor exactitud que a stos. e Frecuentemente se ha dicho que la posicin realista-platonista es la que mejor o caracteriza la actitud del matemtico investigador hacia la esencia de su disa ciplina. As como el bilogo dedica su tiempo y energ en el laboratorio a o as estudiar objetivamente el comportamiento de, digamos, ciertas colonias de bacterias, asimismo el matemtico dedica los suyos a estudiar el comportamiento a de ciertos entes, los objetos matemticos, que son externos a l. Claro que a e la analog es un poco problemtica, ya que el matemtico que la siga tendr a a a a bastante dicultad en contestar algunas preguntas simples, tales como dnde o se encuentran esos objetos eternos e incambiables, y por medio de qu facule tades puede l conocerlos. Aqu puede venir entonces el enfoque formalista (en e el segundo sentido de la palabra) en su ayuda, tal y como lo han expresado claramente algunos matemticos, por ejemplo en el siguiente conocido prrafo: a a En cuestiones fundacionales, nosotros creemos en la realidad de las matemticas, pero claro, cuando los lsofos empiezan a atacarnos a o con sus paradojas, corremos a escondernos detrs del formalismo a y decimos: La matemtica no es ms que una combinacin de a a o s mbolos faltos de signicado ... Finalmente se nos deja en paz y as podemos regresar a nuestra matemtica, trabajando como siempre a lo hemos hecho, es decir, con algo que es real.
6 Mancosu

1998, 149-188.

Hilbert y su Filosof Empiricista de la Geometr a a

31

(Dieudonn 1970, 145) e Esta posicin dual, que dif o cilmente contentar a un lsofo de profesin, a o o ha sido muy propiamente llamada platonismo en d de asueto y formalismo as en los nes de semana.7 El formalismo aqu expresado tiene la ventaja de proveer una fcil v de escape a las cuestiones que despierta el platonismo. a a Por otro lado tiene la gran desventaja de no poder explicar, entre otras cosas, la gran aplicabilidad de la matemtica al estudio de la naturaleza. Tampoco a explica otra pregunta bsica: si la matemtica en realidad trata de sistemas de a a axiomas faltos de signicado y arbitrariamente escogidos (cuidando tan slo de o no caer en inconsistencia), por qu algunos sistemas son realmente interesantes e e importantes para la matemtica mientras que otros son faltos de todo inters? a e Entre aquellos que han promovido variantes de este tipo de posicin foro malista debe mencionarse con especial prominencia a un grupo de destacados matemticos, primeramente franceses, conocidos bajo el pseudnimo de Boura o baki. Este grupo ejerci una tremenda inuencia por varias dcadas del siglo o e veinte en muchos mbitos matemticos internacionales, presentndose a s misa a a mos como los verdaderos herederos [intelectuales] de Hilbert. Pues bien, la tremenda inuencia de Bourbaki y la amplia aceptacin de los puntos de vista o formalistas en la matemtica del siglo veinte, por un lado, y la existencia de a la postura formalista (que ser ms correcto llamar nitista) de Hilbert a a en el debate fundacional de los aos veinte con respecto a la pregunta de la n consistencia de la aritmtica, por otro lado, llegaron a combinarse de manera e interesante para crear una imagen de Hilbert que los presenta como el gran formalista del siglo veinte en matemticas, y no slo en lo que respecta al dea o bate fundacional, sino con respecto a la matemtica toda.8 Jean Dieudonn, a e quien tom frecuentemente el uso de la palabra a nombre del grupo Bourbaki o (y a quien tambin la cita anterior pertenece), describi en una oportunidad e o las concepciones de Hilbert, comparndolas con un juego de ajedrez. En ajea drez no tiene sentido hablar de verdad o falsedad. Lo que se habla es de seguir correctamente una serie de reglas estipuladas de antemano. Trasponiendo esta idea al contexto de la matemtica, obtenemos la putativa concepcin de Hilbert: a o la matemtica se nos aparece como un juego, en el cual las piezas son signos a grcos que distinguen los unos de los otros tan slo por su forma, y no por su a o contenido.9 En el presente art culo quisiramos aclarar que si bien es cierto que Hilbert e fue un formalista en el primer sentido, espec co y circunscrito, que mencionamos arriba, de ninguna manera puede decirse que lo haya sido en su concepcin general de la matemtica, ni mucho menos en el sentido aqu descrito por o a Dieudonn. Antes de explicar este punto en mayor detalles, basta tal vez traer e
7 Tymoczko 8 Corry

1985, 11-21. 1998. 9 Dieudonn 1962, 551 e

32

L. Corry

una cita de Hilbert mismo, tomada de una serie de conferencias pblicas dicu tadas en 1919-20 (es decir, en el punto ms alto del famoso debate fundacional) a y dedicadas a explicar a una audiencia general la esencia de la matemtica como a l la ve Intentando refutar lo que en su opinin eran percepciones pblicas e a. o u errneas de lo que es la matemtica, l expres este punto muy claramente o a e o (y contrariamente a lo dicho posteriormente por Dieudonn), en los siguientes e trminos: e De ninguna manera se trata aqu de arbitrariedad. La matemtica a no tiene nada de parecido a un juego cuyas metas se establecen por medio de reglas arbitrariamente estipuladas. Se trata, ms bien, de a un sistema conceptual dotado de una necesidad interna que puede ser tan slo as y no de alguna otra manera. (Hilbert 1992, 14) o El punto ms interesante de la atribucin errnea a Hilbert de una losof a o o a de la matemtica formalista (en el sentido amplio de la palabra) se maniesta a en lo tocante a la geometr En 1899 Hilbert public un famoso trabajo conoa. o cido como Los Fundamentos de la Geometr a, que conten una novedosa y a sistemtica elaboracin de la geometr eucl a o a dea y de las no-eucl deas. Hilbert expuso un nuevo enfoque del signicado de los axiomas de esta disciplina, y de hecho de axiomas en cualquier disciplina matemtica, que traer enormes ima a plicaciones para la matemtica del siglo que empezaba. Dada su adopcin de la a o posicin llamada formalista en el debate que se sostuvo veinte aos despus, ha o n e sido comn armar que la presentacin de la geometr de Hilbert en 1900 reeja u o a ya una actitud formalista total, tal y como se desarrollar a lo largo del siglo a veinte. Pero como veremos en las pginas siguientes, la concepcin de Hilbert a o de la geometr mucho antes que formalista, era esencialmente empiricista. a Los Fundamentos de la Geometr de Hilbert apareci como la culminacin a o o de una vigorosa corriente de investigacin que se desarroll en el ultimo tercio del o o siglo diecinueve, con la participacin de matemticos prominentes tales como o a Riemann, Beltrami, Helmholtz, Klein, Lie, Pasch, Veronese, y muchos otros. Esta corriente se origin en la gradual conuencia de dos auyentes geomtricos o e que surgieron e inicialmente se desarrollaron independientemente a lo largo del siglo: las geometr no-eucl as deas y la geometr proyectiva. a La geometr proyectiva se perl en el siglo diecinueve, siguiendo los trabaa o jos de Jean Victor Poncelet (1788-1867) en 1822, como un campo muy activo, sobre todo en Alemania. Adems de interesantes resultados y teoremas que se a iban agregando continuamente, la atencin se dirig tambin hacia preguntas o a e fundacionales de esta disciplina, especialmente en lo tocante al rol jugado por consideraciones de continuidad en la demostracin de sus teoremas centrales. o Una contribucin fundamental en este campo provino de los intentos de Feo lix Klein (1849-1925) de explicar las interrelaciones entre los distintos tipos de geometr recientemente desarrollados, en particular de demostrar que tanto as

Hilbert y su Filosof Empiricista de la Geometr a a

33

la gomer eucl a dea como las no-eucl deas pueden verse como derivadas de la proyectiva. Un paso crucial en esta direccin lo constituy la introduccin de o o o una mtrica adaptable a cualquiera de los casos, sin basarse en conceptos derivae dos de la geometr eucl a dea tradicional. El concepto de razn cruzada de cuatro puntos, que es un invariante proyeco tivo, le servir a Klein como herramienta bsica en su proyecto, si pudiera a a denirlo sin usar la distancia eucl dea como tradicionalmente se hab hecho. a Klein us ideas originalmente desarrolladas por Arthur Cayley (1821-1895) en o su trabajo sobre invariantes cuadrticos,10 y las extendi para incluir tambin el a o e caso de la geometr no eucl a dea, que Cayley hab dejado de lado intencionala mente, ya que rechazaba la posibilidad de tal tipo de geometr Basndose en as. a estas ideas Klein explic como denir la razn cruzada en trminos puramente o o e proyectivos, aunque en realidad no pudo completar satisfactoriamente todos los detalles tcnicos necesarios. Sin embargo, quedaba clara la necesidad de basarse e en un axioma de continuidad para implementar este punto de vista.11 Impulsados por los intentos de Klein, as como por las dicultades que ste e hab encontrado, y dada la importancia creciente de la investigacin en el a o campo, varios matemticos contemporneos decidieron examinar con mayor a a cuidado, y claricar en lo necesario, las estructuras deductivas del cuerpo de conocimiento existente en geometr proyectiva. El ms importante, sistemtico a a a y completo, de entre los intentos realizados en esta direccin es el publicado en o 1882 por Moritz Pasch (1843-1930): Lecciones sobre la geometr nueva. En a el se presentaba la disciplina de una manera novedosa, basada en un examen axiomtico comprehensivo.12 a Al reconstruir la geometr proyectiva en stos nuevos trminos, Pasch tom a e e o especial cuidado en no referirse nunca a las propiedades de los diagramas relevantes, sino en seguir cuidadosamente las inferencias deductivas desde los axiomas. Esto le permiti cerrar algunas brechas lgicas que exist ya desde los o o an tiempos de Euclides y que se fueron descubriendo gradualmente a lo largo de la historia. Pero es importante sealar que para Pasch, como para la mayor n a de los gemetras alemanes desde el tiempo de Gauss, la geometr era una o a ciencia natural, cuyo objetivo es el estudio de la forma externa de los objetos, y cuyas verdades se obtienes, aunque deductivamente, a partir de axiomas que expresan hechos directamente derivados de la experiencia emp rica. Para Pasch, el signicado de los axiomas es netamente geomtrico, nunca puramente formal, e y su signicado no puede comprenderse sin referencia a las guras a las que se reeren. La deduccin de los teoremas no debe ni puede apoyarse en los o diagramas, pero el signicado es estrictamente referente a ellos. Es por eso, por ejemplo, que Pasch critic el uso del axioma de continuidad en la forma en que o
10 Vase e 11 Klein

Klein 1926-7 Vol. 1, 147-151. 1871 & 1873; Rowe 1994, 194-195; Toepell 1986, 4-6; Torretti 1978, 110-152. 12 Vase Torretti 1978, 44-53. e

34

L. Corry

Klein lo hizo, ya que en su opinin, la experiencia emp o rica no daba suciente evidencia para apoyarlo.13 Pero a pesar de que Pasch contribuy substancialmente a claricar la eso tructura deductiva de la geometr proyectiva, el estatus de las consideraciones a de continuidad quedaba todav sin elucidar denitivamente. Esto era para ticularmente el caso en lo referente a la posibilidad de denir un sistema de coordenadas para la geometr proyectiva sin usar la mtrica de la geometr a e a eucl dea. No quedaba claro si la continuidad deber ser considerada como una a propiedad fundamental del espacio como tal, o si ella pod reducirse a ideas a ms elementales. a Algunos matemticos, como Klein y Wilhelm Killing (1847-1923), trataron a de elaborar la primera de esta dos alternativas, mientras que otros, especialmente Hermann Ludwig Wiener (1857-1939) y Friedrich Schur (1856-1932) se avocaron a la segunda. Wiener expuso su punto de vista en una conferencia dictada en Halle en 1891 y a la cual Hilbert asisti. Wiener declar que ser o o a posible demostrar el as llamado teorema fundamental de la geometr proyec a tiva basndose tan slo en los teoremas de Desargues y de Pappus. El teorema a o fundamental establece que para dos l neas rectas dadas cualesquiera, existe un unico mapa proyectivo que relaciona cualquier tr de puntos de la primera o a otros tres puntos cualesquiera de la segunda en un orden determinado. La prueba clsica de este resultado se basaba en la propiedad de invariancia proyeca tiva de la razn cruzada, la cual, a su vez, implica que la imagen de un cuarto o punto escogido en la primera recta queda unicamente determinado por el mapa. Sin embargo, para establecer la existencia del cuarto punto en la segunda recta es necesario basarse en alg n tipo de argumento de continuidad con respecto a u las rectas. La sugerencia de Wiener abr en apariencia la posibilidad de obviar este a tipo de uso de la continuidad en el desarrollo de todo el cuerpo de conocimiento de la geometr proyectiva. Un poco ms tarde, en 1898, Schur demostr efeca a o tivamente el teorema de Pappus sin usar axiomas de continuidad. Todas estas preguntas en torno al rol de la continuidad constituyeron el principal est mulo que llev a Hilbert a involucrarse activamente en los fundamentos de la geoo metr a. Los trabajos de Pasch tambin tuvieron una inuencia marcada sobre matee mticos italianos, y en primer lugar sobre Giuseppe Peano (1858-1930).14 En a 1889 Peano hab desarrollado el lenguaje conceptual en el cual present sus a o postulados de la aritmtica. El tratamiento axiomtico de la geometr desarroe a a llado por Pasch le ofrec un interesante desaf ya que Peano estaba interesado an o, en elucidar la relacin entre los trminos lgicos, por un lado, y los puramente o e o geomtricos, por el otro, y para ello ve en su lenguaje una util posibilidad e a
13 Vase e 14 Vase e

Contro 1976, 284-289; Torretti 1978, 210-218. Kennedy 1980; Segre 1994.

Hilbert y su Filosof Empiricista de la Geometr a a

35

de hacerlo. Esto lo llev a introducir la idea de un sistema independiente de o axiomas y a aplicarlo a su propio sistema que era una leve modicacin del de o Pasch. Este concepto de independencia es muy parecido al que posteriormente desarrollar Hilbert, pero Peano lo usaba para axiomas individuales y nunca a abord el problema de probar la independencia de todo un sistema.15 A pesar de o su continua insistencia en ejecutar anlisis detallados de las estructuras lgicas a o de teor fundamentales en matemticas, Peano, de manera similar a Pasch, no as a era un formalista ni un logicista en el sentido que posteriormente se le atribuy o a esos trminos. Para Peano las ideas matemticas, y en particular aquellas de e a la geometr se derivan directamente de la experiencia emp a, rica.16 Varios matemticos italianos, inuenciados por las ideas de Peano, publia caron trabajos que abordaban temas relacionados con los arriba mencionados. Entre los ms interesantes se encuentran los de Mario Pieri (1860-1913),17 quien a tom ya un rumbo diferente al promover la idea de la geometr vista como un o a sistema puramente hipottico-deductivo.18 Tambin debe mencionarse el trae e bajo de Giuseppe Veronese (1845-1917), quien en 1891 public el primer estudio o sistemtico de la posibilidad de una geometr no-arquimideana, es decir en la a a cual se omiten los axiomas de continuidad.19 Esto lo hizo al probar la independencia entre el axioma de Arqu mides y los restantes de la geometr 20 Este es a. otro de los temas que Hilbert tratar eventualmente en su libro.21 a Este es un breve recuento de algunos de los temas ms importantes en el a trasfondo de los acontecimientos que antecedieron a la publicacin del libro o de Hilbert en 1899. Antes de esta publicacin, todo el trabajo investigativo o publicado por Hilbert se concentr en las reas de los invariantes algebraicos o a y de los cuerpos de nmeros algebraicos. Sus colegas en Gttingen llegaron u o hasta a sorprenderse de lo que ellos ve como una incursin de Hilbert en an o un campo totalmente inexplorado por l con anterioridad.22 Sin embargo, si e bien es cierto que Hilbert no public con anterioridad en este campo, ten o a ya varios aos enseandolo, y las notas de sus cursos presentan evidencias muy n n interesantes de cmo sus enfoques sobre los fundamentos se fueron consolidando o paulatinamente, pero siempre desde una perspectiva claramente empiricista, donde se presenta a la geometr como una ciencia natural, y no como un mero a juego formal. Un ejemplo claro de esto se ve en el siguiente prrafo tomado del a curso que l enseo en 189l: e n La geometr es la ciencia que trata de las propiedades del espaa
15 Torretti

1978, 221. 1981, 443. 17 Kennedy 1981a. 18 Torretti 1978, 225-226. 19 Veronese 1891. 20 Toepell 1986, 56. 21 Schur 1909, iv-vi. 22 Blumenthal 1935, 402
16 Kennedy

36

L. Corry

cio. Ella es esencialmente diferente de los dominios puros de la matemtica tales como la teor de los nmeros, el lgebra o la teor a a u a a de las funciones. Los resultados de stas ultimas se obtienen a travs e e del pensamiento puro ... La situacin es completamente diferente en o el caso de la geometr Yo nunca podr penetrar las propiedades a. e del espacio por pura reexin, tal y como no podr hacerlo en lo o e referente a las leyes de la mecnica o cualquier otra ley f a sica de esta manera. El espacio no es un producto de mis reexiones. Antes bien, me es dado a travs de los sentidos.23 e En 1894 Hilbert dict otro curso donde ya se hace notar una clara inclio nacin hacia la presentacin axiomtica como la ms adecuada para un claro o o a a entendimiento de la estructura lgica de esta ciencia. Por las notas de su curso o sabemos que entre los libros que lo inuenciaron en esta direccin se encuentran o no slo textos geomtricos, como el de Pasch, y como la traduccin alemana del o e o libro de Peano sobre geometr sino tambin textos de f a, e sica, y en particular el muy inuyente texto de Heinrich Hertz (1857-1894) sobre los fundamentos de la mecnica.24 a El aspecto axiomtico enfoca principalmente el problema de la independena cia que Hilbert describe como sigue: Cules son las condiciones necesarias, sucientes, y mutuamente ina dependientes que deben postularse para un sistema de cosas para que cada una de sus propiedades corresponda a un hecho geomtrico, y, e inversamente, para que una descripcin y un arreglo completos de o todos los hechos geomtricos sean posibles basado en este sistema e de cosas.25 En este contexto, Hilbert siempre remarcaba que no hay razn para limitar o este mismo tipo de anlisis a la geometr unicamente. Por el contrario, el a a mismo deber ser muy util en todas las otras ciencias emp a ricas. Lo que hace que la geometr sea tan adecuada para ser analizada axiomticamente es el a a estado de desarrollo tan avanzado en que se encuentra, ms que cualquier otro a rasgo esencial de ella. En todos los otros aspectos, no hay ninguna diferencia entre la geometr y las ciencias naturales: a Entre las apariencias o hechos de la experiencia que se nos maniestan al observar la naturaleza, hay un tipo peculiar, es decir, aquellos hechos que corresponden a la forma externa de las cosas. La geometr se ocupa de este tipo de hechos. ... La geometr es a a una ciencia cuyos factores esenciales estn a tal punto desarrollados, a
23 El

texto es citado en Toepell 1986, 21. 1956. Vase tambin Corry 1997, 8. e e 25 Citado en Toepell 1986, 58-59.
24 Hertz

Hilbert y su Filosof Empiricista de la Geometr a a

37

que todos sus hechos pueden ya ser deducidos de otros ms bsicos. a a El caso de la electricidad o el de la optica son muy diferentes, pues muchos nuevos hechos estn siendo continuamente descubiertos en a ellas. Sin embargo, en lo que respecta a su origen, la geometr es a una ciencia natural.26 Es el proceso mismo de la axiomatizacin el que transforma la ciencia natural o de la geometr con su contenido emp a, rico factual, en una ciencia matemtica a pura. Hilbert no ve alguna razn aparente por qu un proceso similar no a o e podr aplicarse a las otras ciencias naturales. Y de hecho, en el manuscrito del a mismo curso leemos que todas las otras cienciassobre todo la mecnica, pero a subsecuentemente tambin la optica, la teor de la electricidad, etc.deber e a an ser tratadas de acuerdo con el modelo utilizada para la geometr 27 a. Otro aspecto interesante de este punto de vista empiricista se maniesta en los cometarios de Hilbert sobre el axioma de las paralelas. Hilbert se reri o aqu al conocido experimento de Gauss, quien midi los ngulos entre tres altos o a picos en Hannover para determinar, por medio de su suma, cul es el tipo a de geometr que realmente describe nuestro espacio. Aunque los resultados a de ese experimento convencieron a Gauss a decidirse a favor de la geometr a eucl dea,28 Hilbert seal que en teor exist la posibilidad de que algn futuro n o a a u experimento pudiera convencernos de lo contrario. Hilbert volvi a discutir los fundamentos de la geometr en un curso de o a 1899. Las ideas que desarroll al preparar este curso fueron las que a n de o cuentas proporcionaron el contenido de su famoso libro de ese mismo ao. El n esp ritu empiricista que hemos mencionado arriba se reeja una vez ms en este a curso, y en ese sentido es pertinente traer una cita ms que ayuda a entender a lo lejos que estaba Hilbert de ser un formalista al emprender su gran trabajo en geometr As dijo l en su curso: a. e Como la mecnica, la geometr tambin emerge de la observacin, a a e o de la experiencia. En este sentido ella es una ciencia experimental . . . Pero sus fundamentos experimentales han sido tan irrefutablemente, y tan generalmente reconocidos ellos han sido conrmados a tal grado, que ya no se considera necesario dar pruebas adicionales de ellos. Es ms, todo lo que se necesita es derivar estos fundamentos a de una coleccin m o nima de axiomas independientes y as construir el edicio todo de la geometr por medios puramente lgicos. De a o esta manera [es decir por medios puramente lgicos], la geometr se o a vuelve una ciencia matemtica pura. Tambin en mecnica se da el a e a
en Toepell 1986, 58. en Toepell 1986, 94. 28 Sobre el signicado de las observaciones de Gauss hay diferentes interpretaciones. Vanse e Breitenberger 1984; Miller 1972; Scholz 1993, 642-644.
27 Citado 26 Citado

38

L. Corry

caso de que los f sicos han reconocido sus hechos ms bsicos. Pero la a a organizacin de los conceptos bsicos todav est sujeta a cambios o a a a en su percepcin . . . y por ende la mecnica no puede ser descrita o a todav hoy en d como una disciplina matemtica pura, o por lo a a a menos en el mismo sentido en que podemos decirlo de la geometr a. Debemos aspirar a que la mecnica llegue a serlo. Debemos estirar a los l mites de la matemtica lo ms ampliamente posible, para el a a bien, no slo de nuestros intereses matemticos, sino en el inters de o a e la ciencia en general.29 Los Fundamentos de la Geometr apareci en 1899.30 Hilbert presentaba a o axiomas formulados para tres sistemas de objetos indenidos: Puntos, l neas, planos. Los axiomas denen interrelaciones que estos objetos deben satisfacer. Hilbert los agrup en tres grupos: incidencia, orden, congruencia, paralelas y o continuidad. Los grupos no tienen ningn signicado lgico de por s Antes u o . bien, ellos reejan la concepcin de Hilbert de los axiomas como expresiones de o nuestra intuicin especial y las diferentes formas en que sta se presenta. Cabe o e sealar aqu el trmino intuicin que aparece tanto en el libro de Hilbert como n e o en la gran mayor de los textos contemporneos, se reere de una manera u otra, a a al concepto kantiano Anschauung que fue interpretado en formas diversas y sutilmente diferentes a lo largo de los aos. Obviamente no podremos entrar n aqu en una discusin completa de esta complejo tema. o La primera demanda que hace Hilbert de estos axiomas es que sean independientes, demanda que ya hemos visto mencionada en sus cursos. Hilbert desarroll aqu el conocido mtodo de describir modelos que satisfacen un cierto o e nmero de axiomas, pero no los otros, como forma de establecer esta indepenu dencia. Pero lo que a Hilbert le interesa es el aspecto geomtrico de esta indee pendencia. Su libro no es un estudio abstracto de las relaciones lgicas entre o los axiomas. Ya vimos la importancia conferida al estudio de las suposiciones de continuidad en el siglo diecinueve. Es esto lo que interesa directamente a Hilbert: cules de los teoremas fundamentales de la geometr proyectiva se a a derivan de cules, y cules son independientes. De hecho, desde un punto de a a vista estrictamente lgico, los axiomas de Hilbert no representaban el sistema o ms econmico que cabe imaginarse. Varios matemticos notaron inmediataa o a mente que el sistema de Hilbert conten algunas redundancias,31 pero esto es a verdad si los axiomas se consideran como una coleccin completa y no como o colecciones de grupos. A Hilbert lo que le interesaba aqu era la independencia mutua entre los grupos, no entre axiomas individuales de diferentes grupos. Relacionada con la anterior es la segunda demanda que Hilbert requiere de los axiomas: simplicidad. Esta es una propiedad que no se estableci como parte o
29 Citado 30 Este

en Corry 1997, 108-109 (Enfsis en el original). a es le tema desarrollado en detalle en Toepell 1986. 31 Schur 1901. Vanse Corry 1996, 3.5; Torretti 1978, 239 . e

Hilbert y su Filosof Empiricista de la Geometr a a

39

del desarrollo del anlisis axiomtico en los aos que siguieron, y en realidad a a n Hilbert mismo nunca la deni con claridad. Ella se deriva directamente de las o concepciones expuestas por Hertz para el tratamiento axiomtico de las teor a as f sicas. Lo que se requiere, esencialmente, es que un axioma contenga no ms a de una sola idea. Hilbert menciona este requerimiento en la introduccin a su o libro, pero ms adelante no busca implementarlo expl a citamente. Sin embargo, de alguna manera est presente impl a citamente como un desideratum esttico e para cualquier sistema axiomtico. a Otro requerimiento que Hilbert tom de Hertz es el de la completitud. Una o axiomatizacin adecuada para Hilbert es aquella que permita derivar todos los o teoremas o resultados conocidos de la disciplina en cuestin. Los axiomas que o present en su libro permitir o an, segn su concepcin declarada, derivar desde u o su base, todos los teoremas conocidos de la geometr eucl a dea as como los de las no-eucl deas, dependiendo de que sistema de axiomas se escogiese. Hilbert discuti en detalle el rol de cada uno de los grupos de axiomas en las demostrao ciones de los resultados cruciales que motivaron su investigacin, siguiendo la o l nea de los investigadores arriba mencionados: el teorema de Desargues y el de Pappus. En particular esto le permiti claricar las premisas necesarias para o la coordinatizacin de la geometr proyectiva, tarea que ya muchos hab o a an emprendido antes de l. e Pero una vez ms debe enfatizarse aqu lo que se busca es el sistema adea : cuado para cada una de las teor conocidas y sucientemente elaboradas, y as no al contrario. No se trata de escoger un sistema ms o menos arbitrario de a premisas y de ver a dnde ellas nos conducen. o Si bien Hilbert desarroll un mtodo claro para determinar la independencia o e en su sistema de axiomas, nunca hizo lo mismo ni para la simplicidad ni para la completitud aqu mencionadas. Es importante, claro est, no confundir el a concepto de completitud aqu descrito, con el concepto conocido de la teor a de los modelos, que fue desarrollado muchos aos despus y que a estas alturas n e es totalmente ajeno a las concepciones axiomticas de Hilbert. Se trata aqu a de un concepto pragmtico de la completitud del sistema: sirve o no sirve a para describir la teor toda? En el caso de la geometr eucl a a dea Hilbert estaba convencido de que bastaba mostrar que la geometr sinttica pod derivarse a e a de sus axiomas y pod traducirse a la geometr anal a a tica tradicional (tomando a los reales como ejes). La consistencia del sistema es otro de los puntos de inters de Hilbert en su e libro. Es notable, sin embargo, que ello no es mencionado en la introduccin o al libro. Inmediatamente despus de denir los varios grupos de axiomas y dise cutir sus consecuencias inmediatas, Hilbert mencion el tema muy brevemente. o Desde el punto de vista del desarrollo posterior de la metamatemtica como a la conocemos hoy en d la pregunta de la consistencia se transform en una a, o de las centrales, y por ende, muchas veces ella es vista como si hubiese sido

40

L. Corry

tambin la de mayor importancia en la presentacin axiomtica de la geometr e o a a por Hilbert ya en 1899. Sin embargo, en el contexto histrico preciso de este o libro, esto no era de ninguna manera el caso. De hecho, Hilbert no le dedica ms de dos pginas en el libro, y el texto no deja ver muy claramente cual a a era la motivacin de Hilbert al presentar este punto precisamente ah donde lo o hace. Es bastante improbable que Hilbert pensara en 1899 que los teoremas de la geometr eucl a dea pudieran llevar a una contradiccin ni que sea necesario o probar esto, en especial, dada la concepcin de Hilbert de la geometr como o a una ciencia natural que describe el espacio f sico. Antes bien, Hilbert parec a estar siguiendo una idea expresada por Hertz en su Mecnica, segn la cual, las a u teor f as sicas, al irse desarrollando, van agregando hiptesis que parecen razoo nables de por s pero que nalmente pueden llegar a contradecir otras hiptesis , o que se han asumido con anterioridad. El anlisis axiomtico de la mecnica que a a a Hertz hab realizado, se destinaba a aclarar una posible situacin como esta a o en esa disciplina, y esta era una idea que Hilbert quiso adoptar tanto para la geometr como para las otras ciencias emp a ricas. Dado el reciente auge de la geometr no-eucl a dea ser tal vez conveniente claricar si en la geometr no a a se hab adoptado recientemente algunas suposiciones adicionales que podr an an estar contradiciendo el ya aceptado cuerpo de conocimiento de esta disciplina. Estos son entonces los requerimientos que Hilbert establece para su sistema de axiomas de la geometr completitud, consistencia, independencia, y sima: plicidad. En principio, no hay ninguna razn por la cual un anlisis como el o a aplicado por l a su sistema para la geometr pueda tambin aplicarse similare a e mente a cualquier sistema de postulados que establecen relaciones entre elementos indenidos, incluyendo postulados abstractos, arbitrariamente escogidos, y carentes de algn signicado intuitivo directo. Pero el hecho es que Hilbert u nunca actu de esta manera. Su concepcin no inclu este tipo de anlisis ni o o a a estimulaba el hacerlo. Todo su trabajo de esta poca en el area de la axiomatie zacin se refer a sistemas que den teor elaboradas y bien establecidas: o a an as no slo la geometr sino tambin la mecnica y otras areas de la f o a e a sica. Ms aun: en los aos inmediatamente posteriores a la publicacin del libro a n o de Hilbert, encontramos un gran nmero de trabajos matemticos, especialu a mente en los Estados Unidos, en los cuales se realizan anlisis de sistemas de a postulados abstractos, para conceptos algebraicos tales como grupos, cuerpos, a lgebras booleanas, etc., basados en la aplicacin de los conceptos y las tcnicas o e introducidas por Hilbert.32 No existe ninguna evidencia que Hilbert mostr o inters alguno en estos trabajos, y de hecho existen muchas razones para pensar e que Hilbert nunca contempl que su propio trabaj implicar esta direccin de o o a o investigacin.33 o En el siglo que empezaba Los Fundamentos de la Geometr de Hilbert a
32 Por 33 Vase e

ejemplo Moore 1902a, Huntington 1902. Corry 1996, 3.5.

Hilbert y su Filosof Empiricista de la Geometr a a

41

tendr una enorme inuencia, directa e indirecta en muchos campos de invesan tigacin, en la enseanza de la matemtica y en la forma en que los textos se o n a ir escribiendo. Ir mucho ms all del espacio aqu disponible analizar todas an a a a las reacciones y proyecciones inmediatas al trabajo de Hilbert. Sin embargo, lo dicho ac deber bastar para indicar cun lejos estaba Hilbert, sobre todo a a a en esta etapa relativamente temprana de su carrera de ser el formalista que muchas veces se ha presentado. Es propicio concluir con un prrafo tomado a de un curso dictado en 1905, sobre la axiomatizacin de la f o sica, y en donde vemos claramente la esencia de su concepcin del anlisis axiomtico como un o a a medio para asegurar la solidez de las teor existentes, y no como un medio as para introducir de manera articial, teor basadas en el desarrollo formal de as sistemas abstractos de postulados faltos de signicado intuitivo. As los describe el propio Hilbert: El edicio de la ciencia no se construye como una vivienda, en la cual hay que establecer primeramente unas fundaciones rmes para poder despus proceder a levantar y a ensanchar las habitaciones. e La ciencia preere hacerse lo antes posible de confortables espacios por donde pasearse con holgura y es solamente despus, cuando los e primeros signos aparecen por aqu y por all, que las inestables fun a daciones no son capaces de sostener la expansin de los dormitorios, o que ella se dispone a repuntarlos y forticarlos. Esto no es un signo de debilidad, sino ms bien la v correcta para su buen desarrollo.34 a a

Bibliograf a
BLUMENTHAL, O. 1935 Lebensgeschichte, in Hilbert Gesammelte Abhandlungen A, Vol. 3, 387-429. BREITENBERG, E. 1984 Gausss Geodesy and the Axiom of Parallels, Arch. Hist. Ex. Sci. 31, 273-289. CONTRO, W. 1976 Von Pasch bis Hilbert, Arch. Hist. Ex. Sci. 15, 283-295. CORRY, L. 1996 Modern Algebra and the Rise of Mathematical Structures, Boston, Birkhuser. a 1997 David Hilbert and the Axiomatization of Physics (1894-1905), Archive for History of Exact Sciences 51: 83-198. 1998 The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond, Science in Context 12: 137-183.
34 Citado

en Corry 1997 .

42

L. Corry

DIEUDONNE, J. 1962 Les mthodes axiomatiques modernes et les fondee ments des mathmatiques, in F. Le Lionnais (ed.) Les grands Courants e de la Pens`e Mathmatique (Second, enlarged edition), Paris, Blanchard, e e 443-555. 1970 The Work of Nicolas Bourbaki, Am. Math. Monthly 77, 134-145. FERREIROS, J. 1999 Labyrinths of Thought. A History of Set Theory and its Role in Modern Mathematics, Boston, Birkhuser. a HERTZ, H. 1956 The Principles of Mechanics Presented in a New Form, New York, Dover. HILBERT, D. 1899 Grundlagen der Geometrie, Leipzig, Teubner. 1926 On the Innite, in J. van Heijenoort (ed.) From Frege to Gdel. o A Source Book in Mathematical Logic, 1879-1931, Cambridge, Harvard University Press (1967), pp. 367-392. 1992 Natur und Mathematisches Erkennen: Vorlesungen, gehalten 19191920 in Gttingen. (Edited and with an English introduction by David o E. Rowe), Basel, Birkhuser. a HUNTINGTON, E.V. 1902 Simplied Denition of a Group, Bull. AMS 8, 296-300. KENNEDY, H. 1980 Peano - Life and Work of Giuseppe Peano, Dordrecht, Reidel. KLEIN, F. 1871 Uber die sogennante Nicht-Euklidische Geometrie, Math. Ann. 4, 573-625. 1873 Uber die sogennante Nicht-Euklidische Geometrie, Math. Ann. 6, 112-145. 1926-7 Vorlesungen uber die Entwicklung der Mathematik im 19. Jahrhun dert, 2 Vols., ed. by R. Courant and O. Neugebauer, Berlin, Springer. (Chelsea reprint, New York, 1948.) MANCOSU, P. (ED.) 1998 From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, New York, Oxford University Press. MILLER, A.I. 1972 On the Myth of Gausss Experiment on the Physical Nature of Space, Isis 63, 345-348. MOORE, E.H. 1902 Projective Axioms of Geometry, Trans. AMS 3, 142158.

Hilbert y su Filosof Empiricista de la Geometr a a

43

ROWE, D.E. 1994 The Philosophical Views of Klein and Hilbert, in Sasaki et al. (eds.) The Intersection of History and Mathematics, Basel/Berlin/Boston, Birkhuser, 187-202. a SCHUR, F. 1901 Uber die Grundlagen der Geometrie, Math. Ann. 55, 265-292. 1909 Grundlagen der Geometrie, Leipzig, Teubner. SCHOLZ, E. 1993 Gauss und die Begrndung der Hhere Geodsie in M. u o a Folkerts et al. (eds.) Amphora - Festschrift fr Hans Wussing zu seinem u 65 Geburtstag, Berlin, Birkhuser, 631-648. a SEGRE, M. 1994 Peanos Axioms in their Historical Context, Arch. Hist. Ex. Sci. 48, 201-342. TOEPELL, M. M. 1986 Uber die Entstehung von David Hilberts Grundlagen der Geometrie, Gttingen, Vandenhoeck & Ruprecht. o TORRETTI, R. 1978 Philosophy of Geometry from Riemann to Poincar, e Dordrecht, Reidel. TYMOCZKO, T (ED.). 1985 New Directions in the Philosophy of Mathematics, Boston, Birkhuser. a VAN DALEN, D. 1990 The war of the frogs and the mice, or the crisis of Mathematische Annalen, Mathematical Intelligencer, 12, no. 4, 17-31. VERONESE, G. 1891 Fondamenti di geometria a piu dimensioni e a piu specie di unit rettilinee, esposti in forma elementare, Padova, Tipograa a del Seminario.

Leo Corry Cohn Institute for History and Philosophy of Science and Ideas Tel Aviv University, Ramat Aviv 67798 Israel corry@post.tau.ac.il http://spinoza.tau.ac.il/hci/ins/cohn/corry/homepage.htm