Anda di halaman 1dari 20

De la matemtica clsica a la matemtica moderna: Hilbert

y el esquematismo kantiano

From Classical to Modern Mathematics: Hilbert's Formalis and


Kant's Schematism

Carlos Torres Alcaraz

Departamento de Matemticas, Facultad de Ciencias,


UNAM.carlos.torres.0505@gmail.com

Recibido el 15 de enero de 2008


Aceptado el 16 de junio de 2009

Resumen

En este artculo se examina la manera en que Hilbert elabora su primer formalismo al


investigar los fundamentos de la geometra. El inters se centra en la forma en que
elabora una nueva concepcin de las teoras matemticas. Se contrasta la postura de
Hilbert con el constructivismo de Kant, el cual perdur en la filosofa de las matemticas
durante mucho tiempo. Para ello, en la primera parte se examina la manera en que Kant
explica la demostracin geomtrica y se muestra el vnculo entre su explicacin y la
teora de esquemas que l mismo sostiene. Tambin se expone la concepcin subyacente
a los Grundlagen der Geometrie de Hilbert, y se busca reconstruir el camino que sigui
hasta alcanzar esa concepcin. En particular se examina el lugar que ocupan la
geometra proyectiva y el principio de dualidad en sus reflexiones. Por ltimo, se apunta
a la idea de que el primer formalismo de Hilbert constituye una generalizacin necesaria
de la filosofa matemtica de Kant.

Palabras clave: dualidad, fundamentos de la geometra, elementos ideales, mtodo


axiomtico.

Abstract

This essay examines the manner in which Hilbert worked out his first formalism in his
investigations on the foundations of geometry. To elucidate these views, Hilbert's
position is compared with that of Kant, who set forth a constructive notion of
"geometrical objects" which endured in the Philosophy of mathematics for a long time.
In the first part, the author explores the way in which Kant explains the notion of proof
in classical geometry and clarifies how his account relates to his theory of schematism.
Next, the conception underlying Hilbert's Grundlagen der Geometrie is presented and an
attempt is made to recreate the path he followed until he reached his point of view. In
particular this article explores the role that projective geometry and the principle of
duality played in his reflections. Finally, Kant's ideas are contrasted with those of Hilbert
in his first formalism, pointing toward the view that the latter constitutes a necessary
generalization of Kant's mathematical philosophy.

Key words: duality, foundations of geometry, ideal elements, axiomatic method.

Cuando se habla de la concepcin formalista de David Hilbert suele pasarse por alto que
sta se desarroll bsicamente en dos etapas. En la primera de ellas o
etapa geomtrica, Hilbert se enfoc en los fundamentos de la geometra adoptando la
siguiente postura: en su forma axiomtica, las teoras matemticas no expresan un
conjunto de verdades acerca de un dominio especfico de objetos; ms bien, constituyen
una red o entramado de relaciones lgicas entre conceptos definidos implcitamente por
los axiomas. Tales entramados pueden ser compartidos por sistemas de objetos de muy
diversa ndole. En particular, la geometra es un sistema hipottico deductivo, el cual
slo depende de relaciones entre objetos espaciales determinadas por los axiomas.1

En una segunda etapa, que aqu llamaremos aritmtica, Hilbert fue ms all del punto
de vista anterior hasta llegar a la siguiente conclusin: toda teora axiomtica se puede
refinar al punto de ya ni siquiera proponer un entramado de relaciones lgicas entre
conceptos, sino simples esquemas de relacin entre smbolos. Esta idea, concebida en
la dcada de 1920 como una extensin de su punto de vista inicial, exige la estricta
formalizacin (mecanizacin) de los mtodos deductivos de las matemticas, al punto
en que los aspectos semnticos ceden su lugar a una mera sintaxis que convierte la
inferencia lgica en un juego combinatorio de frmulas sujeto a reglas precisas.

Trataremos bsicamente con la primera de estas dos etapas. El texto se inicia con una
exposicin de las principales ideas de Kant acerca de la geometra, brindando especial
atencin a su teora de esquemas. A continuacin se examina la manera en que esta
teora entr en conflicto con el desarrollo de las matemticas en el siglo XIX y la manera
en que Hilbert reelabor la nocin de objeto matemtico en general.

Si alguna utilidad ha de tener este estudio, espero que sea, por una parte, ofrecer una
valoracin distinta de la escuela de Hilbert mostrando que sus preocupaciones fueron
ms all de la inquietud por la certeza matemtica; 2 y por la otra, destacar la
importancia de la teora kantiana de esquemas para la filosofa de las matemticas, la
cual, creo, no ha sido debidamente valorada.

1. El punto de vista de Kant

Comenzaremos con algunas ideas de Kant acerca de la geometra, las cuales subyacan
en casi todos los debates en torno a esta disciplina durante el siglo XIX y principios del
XX.
En la Crtica de la razn pura, Kant establece una filosofa constructiva de las
matemticas en la que ofrece un fundamento epistemolgico para el conocimiento
matemtico en general. Su teora tiene dos puntos de apoyo: por una parte, la idea de
que tanto la aritmtica como la geometra tienen como base las formas puras de la
intuicin, siendo sta una de las razones por las que califica sus juicios de sintticos a
priori; por la otra, una nocin constructiva de los objetos matemticos basada en su
teora de esquemas para los conceptos del entendimiento. En particular, con estas
herramientas Kant pretende justificar y dar fundamento al tipo de razonamiento que
encontramos en los Elementos de geometra de Euclides, paradigma de la demostracin
matemtica hasta el siglo XIX.

Veamos a travs de un ejemplo cmo entiende Kant la demostracin euclidiana (y, por
ende, la demostracin geomtrica en general), y cmo articula su teora de esquemas
con dicha interpretacin. Se trata de la proposicin 32 del libro I de los Elementos de
Euclides, a la que Kant hace abierta referencia en la Crtica de la razn pura (v.gr., en B
74345):

Proposicin I.32. Si en un tringulo se prolonga uno de los lados, el ngulo externo es


igual a los dos internos y opuestos, y los tres ngulos internos del tringulo son iguales
a dos ngulos rectos.

Sea ABC el tringulo y prolnguese el lado BC hasta D.

Digo que el ngulo externo ACD es igual a los dos internos y opuestos CAB y ABC y que
los tres ngulos internos del tringulo ABC, BCA y CAB son iguales a dos rectos.

Demostracin. Por el punto C trcese la recta CE paralela a la AB. [I.31]

Puesto que AB es paralela a CE, y AC es incidente con las dos, los ngulos alternos
internos BAC y ACE son iguales entre s. [I.29]

Por otra parte, puesto que AB es paralela a CE, y BC es incidente con las dos, el ngulo
externo ECD es igual al interno y opuesto ABC. [I.29]

Mas se demostr que el ngulo ACE es igual al ngulo BAC.

Luego el ngulo entero ACD es igual a los internos y opuestos BAC y ABC.

Adase el ngulo comn ACB.

Segn esto sern los ngulos ABC, BCA y CAB iguales a los ngulos ACD y ACB.
Ms los ngulos ACD y ACB son iguales a dos rectos. [I.13]

Luego los ngulos ABC, BCA y CAB son iguales a dos rectos.

Por lo tanto: en todo tringulo, si se prolonga uno de los lados, el ngulo externo es
igual a los dos internos y opuestos, y los tres ngulos internos del tringulo son iguales
a dos rectos. Q.E.D.3

Como se ve, Euclides utiliza un diagrama en torno al cual organiza el argumento. Esto
no es algo circunstancial, sino una prctica usual entre los gemetras que Kant quiere
explicar. La figura o diagrama en el ejemplo anterior corresponde a lo que Kant
denomina "construccin de conceptos", un rasgo distintivo de las ciencias matemticas.
Dice Kant: "El conocimiento filosfico es un conocimiento racional derivado de
conceptos; el conocimiento matemtico es un conocimiento obtenido por la construccin
de los conceptos" (B 741), y aade: "el conocimiento filosfico slo considera lo
particular en lo universal; las matemticas, lo universal en lo particular, e incluso en lo
singular, pero slo a priori y por medio de la razn" (B 742).

El diagrama de la proposicin I.32 es, en el sentido recin indicado, una construccin de


los conceptos de tringulo, lnea recta, etc., conforme a cierto diseo que Euclides
adopta por conveniencia.4 Y sobre la figura as construida desarrolla el razonamiento
ulterior, el cual ya no es general: nos habla del ngulo ABC, de la recta CD, etc., en vez
de "cualquier ngulo interior de cualquier tringulo" o de "cualquier extensin de
cualquiera de los lados de ese tringulo cualquiera". Considera, pues, lo universal en lo
singular.5

La importancia del diagrama se manifiesta desde la formulacin de la proposicin, donde


Euclides habla de ngulos internos y ngulos externos sin que haya en
los Elementos una definicin de estas nociones. De hecho, el significado de tales
trminos slo se entiende con la figura (digamos que "interior" y "exterior" son nociones
definidas implcitamente a travs de ella). As, el diagrama expone ciertos objetos en
consonancia con los conceptos aludidos en la proposicin, un tringulo ABC y una
extensin CD de uno de sus lados, pero en l se muestran muchas cosas ms; por
ejemplo, la interioridad o la exterioridad de los ngulos. Todava ms, en el texto
Euclides nos pide trazar una recta CE paralela a AB sin indicar el sentido en que se debe
dibujar. Esto slo se aclara recurriendo al diagrama, donde dicha lnea aparece hacia
arriba, dividiendo el ngulo ACD en dos ngulos ACE y ECD, un hecho esencial para el
argumento posterior. Esta propiedad de la lnea CE slo se puede reconocer en el
diagrama, el cual se convierte de esta manera en una parte importante de la
demostracin.6

Podemos decir, siguiendo a Lisa Shabel (2003), que en los Elementos muchos pasos
cruciales en la demostracin se dan en virtud de observaciones hechas en el diagrama;
por eso, a este tipo de razonamientos se les suele llamar diagramticos.

Lejos de ver un defecto en lo anterior, Kant lo considera un rasgo esencial de la


demostracin matemtica, un recurso sin el cual no sera posible el conocimiento
matemtico en general. Para destacar su papel e importancia nos pide imaginar qu
pasara si, por ejemplo, preguntramos a un filsofo la misma cuestin (a qu son
iguales los ngulos internos de un tringulo?) y lo dejramos hallar la respuesta a su
manera. El punto es que nunca dara con algo parecido a la proposicin I.32: slo
contara con los conceptos de recta, ngulo, etc., y por mucho que reflexionara sobre
stos no alcanzara ninguna conclusin nueva. El filsofo no podra seguir el camino de
Euclides, pues slo conoce por conceptos, no por construccin de conceptos. Trazar un
tringulo sera considerar lo universal en lo particular, pero l "slo considera lo
particular en lo universal". l podra analizar y clarificar tales conceptos, pero nunca
llegara a propiedades no contenidas en ellos. En el otro extremo tenemos al gemetra,
quien lo primero que hace es representar los conceptos mediante una o ms
construcciones, para despus razonar sobre los diagramas resultantes; al hacerlo,
descubre propiedades de los objetos que no estn contenidas en los conceptos mismos
(es decir, que no se pueden extraer de los conceptos considerados de manera aislada y
al margen de toda intuicin).7 Podemos decir, entonces, que el diagrama no es una mera
ilustracin de la proposicin I.32, sino un elemento central de la prueba que orienta
nuestros razonamientos. En las propias palabras de Kant: "A travs de una cadena de
inferencias y guiado siempre por la intuicin, el gemetra consigue as una solucin
evidente y, a la vez, universal del problema" (B 745) (las cursivas son mas). Tal uso de
los conceptos in concreto es, para Kant, un rasgo distintivo del mtodo matemtico y en
l apoya la idea de que los juicios de la matemtica son sintticos a priori.

ste es el argumento de Kant: la geometra es sinttica porque sus resultados se


obtienen realizando construcciones.8 La geometra es a priori porque de los objetos
construidos slo considera aquello que se sigue de las condiciones universales de la
construccin; es por ello que el gemetra puede afirmar la validez del resultado para
todas las intuiciones correspondientes al concepto (al respecto, vase B 44). Como
veremos, estas afirmaciones tienen hoy en da un valor limitado.

2. La teora kantiana de esquemas

Una prueba como la de la proposicin I.32 es realizable cuando se tiene la posibilidad de


producir objetos de la intuicin que sean imagen de los conceptos implicados. Segn
Kant, esto se logra mediante la aplicacin de esquemas, es decir, por razn de ciertos
procedimientos o reglas que indican en general cmo construir tales objetos. 9

Refiramos esto al ejemplo anterior. Veamos, por ejemplo, la definicin de tringulo que
se halla en los Elementos: tringulo es cualquier figura rectilnea comprendida por tres
rectas. El cometido de esta definicin, como el de tantas otras, es delimitar el concepto
correspondiente, es decir, sealar las condiciones que una figura ha de cumplir para ser
un tringulo. Para poderla aplicar (i.e., para poder decir "esto es un tringulo!")
debemos tener un objeto, cuya produccin no resulta de la definicin misma. Al respecto,
la definicin es inerte, pues nada dice acerca de la produccin o el manejo de los
tringulos. Lo mismo puede decirse de otras definiciones, como la de crculo. Por lo
tanto, sin la posibilidad de construir tringulos, el concepto resulta inoperante. Y es
precisamente esta posibilidad lo que, segn Kant, separa al gemetra del filsofo: el
primero cuenta con un esquema que le permite producir tringulos. Acta, por decirlo
de alguna manera, sirvindose de un procedimiento que los trae a la representacin, ya
sea mediante imgenes mentales, ya sea mediante construcciones sensibles.

La prueba de la proposicin I.32 se apoya decididamente en la posibilidad anterior. En


ella, Euclides traza un tringulo ABC, prolonga el lado BC hasta D, etc., preparando de
este modo el escenario para la demostracin. Estas construcciones las realiza con base
en ciertos esquemas, que en este caso corresponden al uso, real o imaginario, de la
regla y el comps; v.gr., la figura ABC es un "tringulo" porque su elaboracin se puede
llevar a cabo con tales instrumentos. Tales usos de la regla y el comps estn sugeridos
en los tres primeros postulados, a los que dan vida:

Postulado I. Trazar una lnea desde un punto cualquiera a otro punto cualquiera;

Postulado II. Prolongar por continuidad en lnea recta una recta delimitada;

Postulado III. Para cada centro y radio describir su crculo.

El uso de la regla y el comps est claramente presupuesto en lo anterior. De hecho,


estos instrumentos han sido parte del bagaje del gemetra desde la antigua Grecia hasta
nuestros das, al punto de colmar la geometra elemental con estas figuras. Esto es
particularmente cierto de los Elementos, donde con base en ellos se construyen todos
los diagramas. Dice Kant:

lo que en matemticas se llama postulado es una proposicin prctica que no contiene


ms que la sntesis a travs de la cual nos damos un objeto y producimos su concepto.
Por ejemplo, describir un crculo con una lnea dada, partiendo de un punto dado, en un
plano. Semejante proposicin no puede demostrarse, ya que el procedimiento que exige
es precisamente el procedimiento a travs del cual producimos el concepto de esa figura.
(B 287)

Veamos la pertinencia de lo anterior con relacin al tercer postulado de Euclides; ste:


(i) sintetiza los conceptos de punto y lnea; (ii) para cada punto y lnea dados, determina
un objeto: el crculo con centro en el punto dado y radio la lnea dada; y (iii) alude a un
procedimiento (a un esquema fundamental) que se halla en la base del concepto de
crculo.

En resumen: segn Kant, es con base en ciertos esquemas como el gemetra realiza la
construccin de conceptos; y es examinando los objetos construidos como descubre sus
propiedades. Los esquemas conectan de manera confiable los conceptos con sus
representaciones, y como en la indagacin el gemetra no se sirve de nada emprico,
sino slo de lo que es comn a todas las figuras del gnero propuesto, la conclusin
alcanzada la puede afirmar para todas ellas. De ah el salto de lo singular a lo general.
Por ello, la ltima lnea de la proposicin I.32: "Por lo tanto: en todo tringulo, si se
prolonga uno de los lados, el ngulo externo es igual a los dos internos y opuestos, y los
tres ngulos internos del tringulo son iguales a dos rectos."

Finalizar esta seccin con un breve comentario acerca del problema que signific el uso
de diagramas en el siglo XIX. Esto tender un puente hacia las discusiones venideras.

Al tratar de probar el teorema de que toda magnitud que crece continuamente, pero no
ms all de toda medida, se aproxima a un valor lmite, Dedekind se vio obligado a
recurrir a evidencias geomtricas. Su respuesta fue buscar un riguroso fundamento,
puramente aritmtico, para los principios del anlisis infinitesimal. El resultado al que
lleg (1872) es bien conocido: se trata del concepto de nmero real definido a travs de
las llamadas cortaduras, las cuales son centrales en la construccin gentica de los
nmeros reales. Un problema con las cortaduras es que no son esquematizables. En la
seccin 9 volveremos a este punto.
Poco tiempo antes, en 1861, Weierstrass haba presentado un ejemplo de funcin
continua que no es diferenciable en ningn punto, es decir, una "curva" que, siendo
continua, no tiene tangente en ninguna parte. Esto contradijo la idea intuitiva de que
toda funcin continua es diferenciable excepto en puntos especiales, algo claramente
sugerido por los diagramas.10 Surgieron muchas preguntas: cmo tratar con esta clase
de "curvas", para las que no se tienen esquemas de produccin?, en qu sentido se
puede decir que estas entidades son objetos matemticos?11

Los anteriores no fueron casos aislados, sino parte del acontecer matemtico durante la
segunda mitad del siglo XIX, cuando hubo una fuerte oposicin al uso de diagramas en
las pruebas matemticas. Por ejemplo, en 1882, Pasch estableci como norma apoyar
los argumentos matemticos exclusivamente en los axiomas y en la lgica. Dice al
respecto:

Si la geometra ha de ser realmente deductiva, entonces la deduccin ha de liberarse


por completo de cualquier referencia al significado de los conceptos geomtricos, al igual
que de las figuras. As, slo reconocemos aquellas pruebas en las que cada paso se
apoya en las proposiciones precedentes y las definiciones. 12

Al examinar con espritu rigorista los argumentos de Euclides, el mismo Pasch descubri
algunas suposiciones que nadie haba notado con anterioridad; por ejemplo, las
relacionadas con el orden de los puntos en una lnea. Todos pueden trazar un diagrama
y notar que si en una lnea recta un punto B est entre un punto A y un punto C,
entonces ni C est entre A y B, ni A est entre B y C. No obstante, nadie antes de Pasch
haba sentado las bases para tratar lgicamente con esta clase de observaciones, quiz
porque se las consideraba demasiado obvias. La consecuencia de tal desatencin fue,
precisamente, la necesidad de recurrir a la intuicin, de manera que la forma lgica de
lo que se haca era poco clara. A diferencia de Kant, Pasch vio en el mtodo deductivo
el mtodo de las matemticas y no slo una parte de l, lo cual exigi acentuar el rigor.

3. Algunas cuestiones relacionadas con el apriorismo en la matemtica despus


de Kant

En el siglo XIX, los matemticos no slo cuestionaron la legitimidad del razonamiento


diagramtico en las demostraciones: tambin expresaron sus dudas respecto de la
validez del punto de vista de Kant acerca de la naturaleza a priori de las matemticas.
Por ejemplo, en 1817, en una carta dirigida a Olbers, Gauss expresa abiertamente su
recelo respecto del carcter necesario de la geometra con las siguientes palabras:

Cada vez me convenzo ms de que la necesidad de nuestra geometra no se puede


probar, al menos no mediante la comprensin humana ni para la comprensin humana
[Gauss se refiere a los intentos por probar el quinto postulado de Euclides]. Quiz en
otra vida alcanzaremos otros puntos de vista acerca de la naturaleza del espacio que por
ahora nos son inasequibles. Hasta entonces, no se deber poner a la geometra en el
mismo rango que la aritmtica, que se yergue a priori, sino en la misma situacin que,
digamos, la mecnica.13

As, donde Kant establece una similitud epistemolgica entre la geometra y la


aritmtica, Gauss vislumbra una asimetra. Tiempo despus, la llegada de las geometras
no euclidianas y las pruebas de su respectiva posibilidad alimentaron esta sospecha: la
aritmtica y la geometra parecan no compartir una misma naturaleza epistemolgica.
Dilucidar esta cuestin se convirti en un tema central de la filosofa de las matemticas
y orient en gran medida el estudio de sus fundamentos. Es ms, fue esta cuestin, y
no la preocupacin por asegurar un fundamento, la causa primordial de las
investigaciones de Frege, Dedekind, Poincar, Hilbert, Bernays, Brouwer y Weyl, entre
otros.

A grandes rasgos, hubo tres formas de resolver el problema, segn el modo de disponer
del a priori. Estas formas guardan un estrecho vnculo con las escuelas clsicas conocidas
hoy en da como logicismo, intuicionismo y formalismo. Por ejemplo, Brouwer y Weyl,
en conformidad con Gauss, optaron por retener la concepcin kantiana de la aritmtica
(esto es, basada en la intuicin a priori del tiempo), adoptando a la vez una concepcin
no kantiana de la geometra (es decir, viendo en ella algo cuya fuente no es una forma a
priori de la intuicin). La de Frege fue la contraria: retuvo la concepcin kantiana del
espacio (como algo basado en una intuicin a priori), y desech la concepcin kantiana
de la aritmtica. La de Hilbert fue un poco ms compleja: mantuvo cierto apriorismo en
ambos casos, aunque en forma limitada.

4. El formalismo de Hilbert en los Grundlagen der Geometrie

En los Grundlagen der Geometrie de 1899, Hilbert exhibe el formalismo de su primera


etapa. El tratamiento que da a la geometra en esta obra difiere radicalmente del que le
otorga Euclides en los Elementos. En particular, evita en todo momento hacer referencia
a la intuicin espacial, no slo en las pruebas, sino en los axiomas y las definiciones.
sta es una cuestin esencial. Una consecuencia de lo anterior es que la demostracin
se ve forzada a marchar dentro de los cnones de la lgica, sin recurrir al sealado
razonamiento diagramtico.

En cuanto a Kant, una diferencia es que Hilbert desdea la exigencia de que los axiomas
sean proposiciones prcticas que contengan la sntesis a travs de la cual nos damos un
objeto y producimos su concepto.14 En los Grundlagen los axiomas no presuponen ni se
sustentan en ninguna clase de hechos preestablecidos, aunque tales hechos se hayan
tenido en mente al elaborarlos. Esto lo expresa en una carta dirigida a Frege en 1899
con las siguientes palabras:

No quiero asumir nada como algo conocido por anticipado; considero mi explicacin de
la seccin 1 [de los Grundlagen] como una definicin de los conceptos punto, lnea, plano
si se aaden nuevamente todos los axiomas de los grupos I al V como marcas
caractersticas. Si se buscan otras definiciones de "punto", v.gr., mediante parfrasis en
trminos de inextensin, etc., entonces me debo oponer a tales intentos en forma
decisiva; se busca algo que nunca se encontrar porque no hay nada all. (Frege 1980,
p. 39)

Aqu se hace presente la teora de las definiciones implcitas de Hilbert. Ahora bien, lo
que de momento nos interesa es aclarar el espritu con el cual Hilbert elabora
los Grundlagen der Geometrie y recorrer parcialmente el camino que lo llev a adoptar
este punto de vista.

Para Hilbert, la axiomatizacin es un modo de ordenar los hechos que conforman una
esfera del conocimiento. En sus propias palabras, esto se logra
recurriendo a una trama de conceptos relacionados entre s, de tal manera que a cada
objeto y a cada hecho del campo del conocimiento de que se trata le corresponda,
respectivamente, un concepto de esa trama y una relacin lgica entre conceptos del
mismo. La trama de conceptos no es otra cosa que la teora de esa esfera del saber.
(Hilbert 1993, p. 23)

En el caso de la geometra, la esfera en cuestin es la de los hechos geomtricos; los


conceptos son los de punto, lnea, tringulo, etc.; los hechos relevantes son los
de incidencia, congruencia, paralelismo, etc., entre puntos, lneas y otras figuras. Para
referirnos a tales hechos utilizamos expresiones como "A est en a", "A est
entre B y C", "a y b son paralelas", "AB es congruente con CD", etc., las cuales
corresponden en el orden lgico a relaciones entre conceptos, como lo seala Hilbert. 15

En una conferencia pronunciada en 1930,16 Hilbert expone con cierto detenimiento su


punto de vista con relacin al conocimiento geomtrico. Sostiene que, adems de la
experiencia y la deduccin lgica, disponemos de cierto discernimiento a priori necesario
para la construccin de un marco terico para la realidad. Tal discernimiento subyace en
la gnesis de nuestro conocimiento. No obstante, traza la frontera de este a priori de
manera diferente de como lo hace Kant, tanto para la aritmtica como para la geometra.
En su opinin, Kant sobreestim el papel y el alcance del a priori en ambos casos. Dice
al respecto:

En los das de Kant se poda pensar que las representaciones [Vorstellungen] que uno
tena del espacio y del tiempo eran aplicables de un modo tan inmediato y general a la
realidad como, por ejemplo, nuestras representaciones de nmero, sucesin y cantidad,
las cuales se utilizan constantemente en la manera que nos es familiar en la teora
matemtica y fsica. Pero, entonces, la teora del espacio y el tiempo (y en particular la
geometra) precedera, como la aritmtica, nuestro conocimiento de la naturaleza. No
obstante, el punto de vista de Kant fue abandonado por Riemann y Helmholtz incluso
antes de que la teora fsica obligara a hacerlo, y con toda razn, pues la geometra no
es otra cosa que esa parte del marco de los conceptos fsicos que modela las posibles
relaciones de posicin entre los cuerpos rgidos en el mundo de las cosas reales.17

Es as como Hilbert despoja a la geometra elemental del poder de determinar las


propiedades del espacio sintticamente y a priori. Lejos de lo anterior, ve en ella una
ciencia cuyo cometido es describir la forma externa de las cosas que se nos manifiestan
al observar la naturaleza. Esta postura la subraya con las siguientes palabras: "hay
principios que Kant considera a priori y que nosotros asignamos a la experiencia; por
ejemplo, la totalidad de los hechos fundamentales de la geometra, as como las
propiedades elementales del espacio y la materia" (Hilbert 1993, p. 124). De lo anterior
se sigue la imposibilidad de establecer las propiedades del espacio por pura reflexin, ya
que es en la contemplacin intuitiva de los hechos geomtricos donde nace la geometra.
El punto de partida es doble: por un lado, la experiencia u observacin; por el otro,
nuestra percepcin de las relaciones espaciales (es decir, la manera como percibimos
tales relaciones).

En el caso de la geometra, la observacin de las configuraciones espaciales se da en el


marco de lo que Hilbert refiere en alemn con el vocablo Anschauung, que podemos
explicar como "intuicin o contemplacin intuitiva con una fuerte carga de evidencia".
sta es la fuente de muchos axiomas; es tambin la fuente de muchos teoremas como,
por ejemplo, el relativo a la igualdad entre los ngulos de la base de un tringulo
issceles. La aceptacin inmediata de tales hechos geomtricos resulta de la
consideracin intuitiva de las figuras y es lo ms cercano que tenemos al apriorismo en
geometra.

Al respecto, Hilbert parece admitir que la forma en que percibimos las relaciones
espaciales es la descrita por la geometra euclidiana. Esto no obliga a nada con relacin
a los fenmenos, pues nuestra percepcin es inexacta. Al axiomatizar, idealizamos tales
observaciones dndoles un carcter de absoluta exactitud y generalidad. As, aunque
partimos de observaciones que son vlidas dentro de ciertos lmites de exactitud, en los
axiomas sustituimos los resultados de ellas por aseveraciones de total precisin y
universalidad. Pero, entonces, la teora axiomtica es acerca de relaciones ideales entre
objetos ideales. En otras palabras, la validacin intuitiva de los axiomas deja de ser un
fundamento para la teora; es ms, tal validacin escapa a las matemticas. 18 Al mismo
tiempo, el matemtico queda en libertad de interpretar los trminos geomtricos y sus
relaciones como le plazca. As, frente a la idea de una teora que trata con un fuerte
ncleo de "realidad geomtrica" o "intuicin intersubjetiva", Hilbert coloca,
independientemente de su origen, una teora abstracta que trata con trminos
susceptibles de distintas interpretaciones. Ergo, el significado intuitivo que tales
trminos pudieran tener no debe intervenir en las demostraciones, donde ya no hay
lugar para los razonamientos diagramticos. sta es la postura que da sustento a
los Grundlagen der Geometrie de 1899.

Llegar a estas ideas no fue cosa de un da, sino el resultado de largas reflexiones en las
que Hilbert hubo de ponderar el carcter de la nueva matemtica. En particular, las
geometras no euclidianas y la geometra proyectiva aportaron suficientes elementos
como para poner en tela de juicio la visin tradicional. Un hecho particularmente notable
fue la aparicin del principio de dualidad en la geometra proyectiva, el cual hizo
ostensible cmo ciertos teoremas geomtricos siguen siendo vlidos cuando sus
trminos se reemplazan por otros con un significado distinto. Esto permiti ver que el
modo en que los conceptos se entrelazan en la teora puede muy bien corresponder a
otros rdenes de objetos; es decir, que nuestra descripcin terica puede convenir por
igual a otros sistemas. Esto apremi al mtodo axiomtico a que diera cuenta de su
condicin.

5. El principio de dualidad en la geometra proyectiva

En la matemtica actual, el trmino "dualidad" tiene varios significados, los cuales se


relacionan entre s por una sola idea: la de una conversin de conceptos, teoremas y
estructuras matemticas en otros conceptos, teoremas o estructuras mediante una
transformacin especfica. El caso ms conocido (y el primero en la historia) es el
llamado principio de dualidad de la geometra proyectiva:

PRINCIPIO DE DUALIDAD. Dado cualquier teorema de la geometra proyectiva plana, al


intercambiar en l los trminos "punto" y "lnea" (intercambiando, de ser necesario, las
frases "estar en" y "pasar por"), lo que resulta es otro teorema igualmente vlido.

Veamos, a travs de un ejemplo, cmo trabaja la dualidad, para despus ver de qu


manera su surgimiento afect la visin clsica de las teoras geomtricas. Consideremos
el teorema de Pappus, un importante resultado de la geometra proyectiva.
TEOREMA DEL HEXGONO DE PAPPUS Si los puntos A, B y C estn en una recta, y los
puntos A, B y C estn en otra recta, entonces los puntos de interseccin
P = AB AB,Q = BC BC y R = CA C A estn alineados. (En otras palabras: Si los
vrtices de un hexgono se hallan alternados en dos rectas, entonces los puntos de
interseccin de los lados opuestos estn alineados).

El dual de este teorema es el siguiente.

DUAL DEL TEOREMA DE PAPPUS. Si las rectas a, b y c concurren en un punto, y las


rectas a, b y cconcurren en otro punto, entonces las lneas p, q y r definidas por las
parejas de intersecciones (a b, a b), (b c, b c) y (c a, c a) son
19
concurrentes.

Aqu la dualidad se presenta con un par de teoremas, cada uno de los cuales se puede
obtener del otro mediante un esquema simple y uniforme de sustitucin de trminos:
punto lnea, puntos alineados lneas concurrentes, punto de interseccin de
lneas lnea por los puntos.

El valor de la dualidad es que con ella disponemos de un procedimiento que duplica


nuestra capacidad para demostrar teoremas, pues nos ofrece dos resultados por el costo
de uno, una ganancia del cien por ciento.20Esta cuestin, sumamente valorada por
Hilbert, sera motivo de un amplio comentario a no ser porque nuestro inters es otro
por el momento: dilucidar la lectura que hiciera Hilbert del principio de dualidad. Para
ello, conviene contrastar su punto de vista con el de Pasch.

Pasch fue un matemtico que trabaj laboriosamente en los fundamentos de la


geometra proyectiva durante el siglo XIX; en particular, fue uno de los primeros en
ofrecer una presentacin axiomtica de esta teora en la que el principio de dualidad se
halla presente. Al respecto, Pasch no slo vio en este principio una herramienta de gran
utilidad, sino algo contrario a nuestra comprensin intuitiva de las nociones de punto y
lnea, pues no consideraba creble que estos trminos se pudieran intercambiar.21 Esta
simple observacin muestra que, para l, como para otros gemetras del siglo XIX, la
geometra segua siendo una ciencia con una clara semntica para sus trminos.

En contraste, hay una segunda lectura del principio de dualidad que toca la esencia del
primer formalismo de Hilbert: no slo se trata de algo contrapuesto a nuestras ideas
acerca de lo que son los puntos y las lneas, sino de una seal. En efecto, la posibilidad
de intercambiar los trminos "punto" y "lnea" se debe a que, en el interior de la teora,
estas nociones son simtricas. Por lo tanto, podemos permutar su interpretacin sin caer
en incorrecciones; es decir, sin que los enunciados de la teora dejen de ser una
descripcin objetiva de ciertos hechos geomtricos.

Aclaremos lo dicho en el prrafo anterior. Si proporcionramos los axiomas de la


geometra proyectiva a dos individuos que ignoraran el significado intuitivo que les
damos a las palabras "punto" y "lnea", y les pidiramos que ilustraran el teorema de
Pappus con un diagrama, bien podra suceder que el primero de ellos diera como
respuesta la figura 1 y el segundo la figura 2 anteriores: uno llamara punto a lo que el
otro denomina recta, y viceversa. Simplemente, cada uno de ellos habra escogido una
interpretacin diferente para estos trminos, ambas vlidas. 22
Esta posibilidad ampli considerablemente el horizonte: los teoremas geomtricos se
podan interpretar de manera distinta de como en un principio se tena en mente. Por
tanto, no encajaba concebir la teora como representacin unvoca de un sistema de
objetos; ms bien, sta asomaba como un montaje de relaciones entre trminos cuyo
significado poda variar.23 En otras palabras (y dicho en tiempo presente): lo nico que
logra la teora es delimitar los objetos que le dan origen como parte de un sistema
(o estructura), reflejando sus propiedades y mutuas relaciones.

Hilbert tena en claro todo lo anterior al momento de escribir los Grundlagen der
Geometrie. Como testimonio, veamos cmo se expresa en una carta dirigida a Frege en
1899, que este ltimo resumiera en un cuaderno de notas:
es obvio que toda teora es tan slo un andamiaje o esquema de conceptos junto con
las relaciones necesarias entre ellos, y que los elementos bsicos se pueden pensar como
uno quiera. Si al hablar de mis puntos pienso en algn sistema de objetos, v.gr., el
sistema: amor, ley, deshollinador, [...] y tomo mis axiomas como relaciones entre estas
cosas, entonces mis proposiciones, v.gr., el teorema de Pitgoras, son vlidas tambin
para estas cosas. En otras palabras: cualquier teora se puede aplicar a una infinidad de
sistemas bsicos de elementos. Lo nico necesario es aplicar una transformacin
reversible [...] y establecer que los axiomas sern correspondientemente los mismos
para las cosas transformadas. Esta circunstancia se utiliza, por ejemplo, en el principio
de dualidad, etc., y yo me he servido de ella en mis pruebas de independencia. [...] Pero
la circunstancia que he mencionado no puede ser un defecto de las teoras (representa
ms bien una enorme ventaja), y es en todo caso inevitable. (Frege 1980, pp. 4041;
las cursivas son mas.)24

La mencin que Hilbert hace de la dualidad muestra que, al escribir los Grundlagen, ya
tena en mente la lectura recin expuesta de dicho principio. Es ms, hoy en da podemos
remitir el origen de estas ideas al periodo 18911893.

En el otoo de 1891, Hilbert asisti a la primera reunin anual de la Sociedad Matemtica


Alemana, celebrada en la ciudad de Berln. Ah escuch una conferencia de Hermann
Wiener acerca de los fundamentos y el desarrollo sistemtico de la geometra. En su
disertacin, Wiener abord complejas cuestiones relacionadas con la geometra
proyectiva, entre las que se encuentran: a) la idea de edificar dicha teora como una
ciencia abstracta; b) la tentativa de quitar el ropaje geomtrico a los trminos de la
teora a fin de poner al descubierto la manera en que se combinan y se opera con ellos;
c) la relacin entre la continuidad, los teoremas de Desargues para el plano y el espacio,
el teorema de Pappus, el orden entre los puntos de la recta y el modo de obtener haces
de puntos armnicos sobre la recta; d) la cuestin de la demostracin matemtica y las
hiptesis que serviran como base para el desarrollo de la teora; y e) la posibilidad de
reconstruir la geometra proyectiva a partir de un sistema simple de suposiciones.25

Al parecer, la conferencia de Wiener atrajo a Hilbert hacia tales problemas y aviv su


inters por la axiomtica. Esto no slo se puede advertir en los Grundlagen, donde
recoge muchas de las cuestiones planteadas por Wiener, sino en el hecho de que entre
1891 y 1898 imparti cuatro cursos en los que discurre en torno a los fundamentos de
la geometra.26

Con base en estos y otros elementos podemos ubicar los orgenes del formalismo de
Hilbert en esos aos. Hasta hace poco tiempo, lo nico que tenamos era una ancdota
relatada por Otto Blumenthal, quien reporta que Hilbert, al comentar con otros
matemticos la pltica de Wiener en la estacin de Berln, habra dicho: "Uno siempre
debe poder decir mesa, silla y tarro de cerveza en vez de punto, lnea y plano."27 Esta
frase se considera representativa del punto de vista que aos ms tarde Hilbert expondr
en forma sistemtica. En apoyo a lo dicho por Blumenthal, hoy en da contamos con una
nota escrita por Hilbert alrededor de 1893 en la que habla de "las matemticas sobre
sistemas de mesas, pizarrones, etc. (Tisch, Tafel, etc.)".28 Por lo tanto, podemos sealar
el ao de 1891 como el momento en que Hilbert transit hacia una nueva concepcin de
las matemticas.

Podemos decir, entonces, que el papel de la geometra proyectiva en la gnesis del


formalismo de Hilbert fue doble. Primero, le sugiri que, en un sistema axiomtico, los
trminos matemticos no actan semnticamente como constantes, sino como
variables; es decir, como expresiones cuyo significado puede cambiar. Segundo, le
sugiri que ninguna teora matemtica tiene una nica lectura como si estuviera referida
a un dominio particular de objetos; ms bien, las teoras son
slo formas o moldes diseados para alojar una gran variedad de materias que se van
a tratar. Las siguientes son algunas expresiones que se han utilizado para referirse a
esta situacin: "recipientes vacos" (Pasch), "teoras hipotticodeductivas desligadas
de toda interpretacin concreta posible" (Weyl), "sistemas de objetos no interpretados"
(Curry).

6. Un nuevo modo de "hacer" matemticas

Comparemos el punto de vista de Hilbert en su formalismo geomtrico con la teora


kantiana del conocimiento matemtico, poniendo especial atencin en la teora de
esquemas. En la Crtica de la razn pura, Kant sostiene que es imposible pensar los
conceptos geomtricos sin darles un objeto: "No podemos pensar en una lnea
sin trazarla en el pensamiento, ni un crculo sin describirlo, como tampoco representar
tres dimensiones del espacio sin construir tres lneas perpendiculares a partir del mismo
punto" (B 154). Esta simple observacin es un signo indicativo de que el peso de los
esquemas geomtricos en la epistemologa matemtica de Kant es superior a lo que aqu
he dicho. En efecto, en las secciones precedentes me he referido a los esquemas como
instancias que permiten construir en la representacin objetos en conformidad con los
conceptos. Pero lo dicho por Kant en el pasaje anterior les otorga una mayor
importancia: sin esquemas es imposible pensar los conceptos geomtricos en absoluto,
pues esta actividad precisa una representacin interna de ellos.

Lo anterior no constituye ningn problema para Kant, pues, para l, los conceptos
geomtricos nacen ligados a una forma de representacin. Pero, desde la perspectiva
que abre el principio de dualidad, este maridaje entre esquemas y conceptos se rompe:
las "rectas" pueden ser lo que siempre fueron o lo que originalmente eran los "puntos".
Ergo, los conceptos definidos por los axiomas son algo ms que los esquemas, poseen
una mayor generalidad, con lo que la teora se descubre como algo ms abstracto de lo
previsto, como algo que ya no est indisolublemente ligado a un sistema fijo de objetos.
De hecho, en la geometra de Hilbert, los conceptos se piensan sin esquemas, aunque
hay circunstancias en las que esto no es lo ms adecuado para el investigador. Esta
disociacin entre los conceptos y sus representaciones abri una feraz posibilidad:
pensar la teora per se, es decir, convertirla en un objeto de estudio.

Esto ltimo lo hace Hilbert en los Grundlagen der Geometrie. Lo que ah investiga no son
los objetos que dice Kant (ciertas entidades construibles en la intuicin pura), sino la
teora misma. Digamos que la escudria primariamente: a ella, no a sus
interpretaciones.

Esta manera de abordar la teora seala el surgimiento de la teora de modelos, donde


el juego consiste en interpretar los trminos y las relaciones fundamentales de distintas
maneras.29 En particular, muchos modelos de la teora geomtrica y sus variantes
resultan de enlazar sus conceptos con ciertos esquemas. Un notable ejemplo es el
modelo de Poincar para la geometra hiperblica, en el que al concepto formal
de lnea se le asocia un esquema euclidiano como sigue. Sea C una circunferencia fija
en el plano euclidiano. Si X es una circunferencia que corta ortogonalmente a C,
entonces el arco de X que se halla en el interior de C es una hlnea (la "h" con el
propsito de diferenciarla de las lneas euclidianas). Aqu, el caso es que contamos con
un esquema (euclidiano) para producir circunferencias ortogonales a C, y es a travs de
este esquema que especificamos las hlneas del modelo (para una geometra que no es
euclidiana).

Este modo de tratar la teora geomtrica signific un desplazamiento en las


investigaciones y tuvo importantes consecuencias. Para empezar, permiti una enorme
economa de pensamiento: cada proposicin demostrada era vlida en todos los modelos
de la teora, donde ya no se la tena que investigar. Y las ganancias no se redujeron a
eso. La posibilidad de interpretar la teora de distintas maneras permiti a Hilbert
explorar su conexin con otros dominios de la matemtica, con sorprendentes
resultados. Por ejemplo, este nuevo tratamiento lo llev a relacionar los teoremas de
Desargues y Pascal con las propiedades de los anillos en el lgebra; v.gr, "Si el teorema
de Desargues es vlido en un dominio, entonces el lgebra de segmentos es un anillo
quiz no conmutativo"; o bien, "El lgebra de segmentos basada en el teorema de Pascal
es un anillo conmutativo." Estas investigaciones forman parte de los Grundlagen der
Geometrie. Es ms, el sentido del trabajo se puede invertir: en vez de ver qu clase de
lgebra resulta a partir de un espacio, se pueden "construir" espacios a partir de las
lgebras (v.gr., espacios afines a partir de anillos ternarios).

Es evidente que nada de lo anterior habra sido posible si la matemtica se hubiera


mantenido dentro de los estrechos lmites impuestos por el concepto de objeto
matemtico ofrecido por Kant. Esto lo saba Hilbert, para quien la investigacin
axiomtica represent un factor de expansin y descubrimiento en esta disciplina.

Podemos decir, entonces, que para Hilbert la axiomtica es algo ms que un instrumento
para ordenar las teoras; ms bien, se trata de un medio para la investigacin
matemtica. Esto se advierte claramente en los Grundlagen der Geometrie, donde
"jugando" con los axiomas, Hilbert obtiene numerosos resultados: geometras no
arquimedianas, nuevos teoremas acerca de la continuidad, una nueva caracterizacin
topolgica del plano, una caracterizacin de la geometra euclidiana y de la geometra
de Bolyai y Lobachevsky mediante grupos de desplazamientos, un anlisis del papel de
los teoremas de Desargues y de Pascal en la coordenatizacin del espacio, un estudio
comparativo de las distintas geometras entre s, y una investigacin de los medios
requeridos para demostrar ciertos teoremas.

En este sentido, las investigaciones de Hilbert en torno a los fundamentos de la


geometra significaron un triunfo para el mtodo axiomtico, al punto de que, en su
opinin, ste estaba llamado a ocupar un lugar preeminente no slo en la matemtica,
sino en la ciencia en general.30
7. Nociones ideales y dualidad

El principio de dualidad de la geometra proyectiva guarda un estrecho vnculo con el


llamado "mtodo de los elementos ideales". En su sentido original, este mtodo consiste
en introducir en una teora elementos sin ninguna base intuitiva o constructiva. Su
inclusin se justifica aduciendo que sta es fructfera o tiene un efecto simplificador. En
el caso que nos ocupa se trata de la incorporacin de los puntos y la recta al infinito en
el plano euclidiano, con lo que el espacio geomtrico deviene en un espacio proyectivo.

A continuacin se expondrn estas ideas con base en algunos conceptos pertenecientes


a la teora de conjuntos.31 Sea II el conjunto de puntos del plano euclidiano y el
correspondiente conjunto de rectas. Asociado a cada haz de lneas paralelas de ,
incorporamos un punto adicional , un "punto al infinito". Ahora extendemos cada
lnea a una "lnea" como sigue:

Asimismo, introducimos una nueva "lnea" , la "lnea al infinito", de la siguiente


manera:

es un haz de lneas paralelas de A}

Por ltimo, extendemos el plano (afn) euclidiano a un plano proyectivo (', ') como
sigue:

' = U { | es un haz de lneas en }; ' =

Qu ventajas ofrece esta extensin del plano? Primero, que ya no hay excepciones:
cualesquiera dos lneas se intersectan en al menos un punto; cuando stas son
euclidianamente paralelas entre s, su interseccin es el correspondiente punto al
infinito . Segundo, que entre las nociones de punto y lnea aparece la simetra ya
sealada: el principio de dualidad es vlido para esta nueva geometra, pues el plano se
ha convertido con esta extensin en un espacio proyectivo.

Las entidades recin introducidas son un claro ejemplo de lo que en matemticas se


denomina "elementos ideales": por una parte, se trata de objetos que no corresponden
a nada en la intuicin espacial; por la otra, son objetos cuya incorporacin da unidad y
simplicidad a la teora, al evitar la existencia de casos especiales en los que ciertas
propiedades no se cumplen.

La adopcin del mtodo de los elementos ideales conllevaba, entre otras cosas,
sobrepasar los lmites del constructivismo kantiano, y eso fue lo que hizo Hilbert con
todas sus implicaciones: abandon la teora de esquemas. A fin de cuentas, no slo se
trataba de la geometra, sino del anlisis matemtico y, sobre todo, de la teora de los
nmeros transfinitos de Cantor.
8. Un ejemplo de la utilidad del mtodo

El uso de nociones ideales forma parte del desarrollo de las matemticas. Hilbert ve en
este mtodo un factor de progreso al que no debemos renunciar, pues de su aplicacin
resultan nuevas matemticas.32

Al respecto, podemos ilustrar la utilidad del mtodo con un ejemplo. Se trata de la


solucin de un problema aritmtico "simple" (es decir, relativo a nmeros enteros) en el
contexto de los nmeros complejos.

Consideremos la sucesin de nmeros enteros 1,1,0, 2, 4, 4,0, 8,16,16, 0, 32,...;


la cual se genera a partir de la base doble f(0) = 1, f(1) = 1 con la regla recursiva

f(n + 2) = 2f(n + 1)2f(n).33

Si bien esta regla indica un procedimiento para calcular cualquier elemento de la


sucesin, tiene el inconveniente de que, para computar f(n), es preciso calcular todos
los valores anteriores.34 Se trata, claro est, de un procedimiento ineficiente, por lo que
nos preguntamos si habr una frmula que nos permita calcular directamente el valor
de f(n) (esta cuestin forma parte de la teora de las funciones generatrices, la cual se
estudia en los cursos de combinatoria).35

La respuesta a la interrogante anterior (en su forma general, es decir, con relacin a


cualquier sucesin recursiva) es afirmativa. No obstante, a la fecha no se conoce otra
manera de hallar la frmula que adentrndose en el dominio del anlisis complejo. En
otras palabras: para resolver un problema relativo a nmeros enteros, no conocemos
otro camino que el de acudir a una extensin de la teora mediante la adicin de ciertas
nociones ideales, como lo son los nmeros irracionales y la unidad imaginaria i = .
Y si bien aqu no es el lugar para abordar los detalles tcnicos de la solucin general, al
menos podemos traer a colacin la frmula buscada. Se trata de la frmula

que explcitamente se sirve de los nmeros complejos. Esto resulta sorprendente si


consideramos que en un principio se trataba de una cuestin que slo concerna a los
nmeros enteros. Y si bien la presencia de i se puede obviar en la frmula anterior
escribiendo (mediante ciertas transformaciones trigonomtricas)

queda el hecho de que, para obtener esta ltima frmula, se ha tenido que realizar una
digresin por el dominio de los nmeros complejos. Tenemos, por lo tanto, fuertes
razones para justificar la extensin de los nmeros enteros mediante la introduccin de
estos elementos ideales: la teora gana en poder y generalidad.
Desde la perspectiva de los nmeros enteros, el carcter ideal de los nmeros complejos
es evidente: se generan mediante la introduccin de una unidad imaginaria i. Tendrn
algn tipo de existencia real tales objetos? Hilbert dira, con justa razn, que para hacer
matemticas no es necesario aclarar esta cuestin. Lo manifiesto es que tales nmeros
existen como un eficaz instrumento de la imaginacin, y eso es todo lo que necesitamos
saber. Su importancia radica en que, con ellos, la teora aritmtica se enriquece y se
pueden resolver problemas para lo que quiz de otra manera no podramos encontrar la
solucin. Y es por esto que los admitimos. Aqu cabe recordar lo que algn da le dijera
Hilbert a Brouwer tras una charla de este ltimo en el Instituto de Matemticas de
Gotinga: "Con sus mtodos [constructivos], la mayor parte de los resultados de la
matemtica moderna tendran que ser abandonados, y para m la cosa ms importante
no es obtener menos resultados, sino ms" (Reid 1970, p. 184).

Fue a partir de consideraciones de este tipo como Hilbert formul un criterio sui
generis de existencia matemtica: en una teora se puede admitir como existente todo
aquello que no sea contradictorio con los supuestos bsicos. Esto debilita la nocin de
existencia matemtica, pues la reduce a la mera relatividad de la no contradiccin, una
cuestin lgica alejada del constructivismo kantiano. Esta nocin se ajusta muy bien a
la tendencia abstracta predominante en su momento. Al respecto, Hilbert establece los
siguientes criterios como nica condicin de aceptacin de nuevos elementos y nociones
en una teora: (a) que su anexin sea coherente con los contenidos de la teora
subyacente, y (b) que aporten eficiencia y simplicidad en la produccin del conocimiento
matemtico. Con base en estos criterios se les debe juzgar, no por la particularidad de
satisfacer ciertas normas constructivas.36

9. Nuevos objetos, nuevas matemticas

En qu sentido es el conjunto de los nmeros naturales un objeto matemtico?


Ciertamente, no lo es en el sentido de Kant: lo que para este ltimo caracteriza a los
objetos matemticos es la posibilidad de su construccin en la intuicin pura, y ninguna
totalidad infinita se puede elaborar de esta manera.37 Antes bien, el conjunto de los
nmeros naturales es slo una idea, es decir, un concepto racional del que no puede
haber en la experiencia objeto adecuado alguno. Y la matemtica del siglo XIX cobij
una multitud de entidades de esta naturaleza. Por ejemplo, el sistema de los nmeros
reales, los nmeros transfinitos de Cantor, el conjunto (fractal) de Cantor, o curvas como
la de Peano (que cubre un rea rectangular) y la de Weierstrass, calificada por Hermite
como "un mal deplorable". Frente a la negativa de algunos matemticos a aceptar
entidades de esta naturaleza v.gr., Kronecker y Poincar, Hilbert opt por extender
conceptualmente esta ciencia y defender la libertad que tiene el matemtico de elegir
sus mtodos y objetos de estudio. Como ya lo hemos visto, esto lo llev a sobrepasar el
constructivismo kantiano, hasta admitir como objetos ciertas ideas. En otras palabras,
Hilbert decidi generalizar el concepto de objeto en las matemticas. Tal ampliacin vino
emparejada con lo que podemos denominar cuasi esquemas, es decir, procedimientos
infinitos que se admiten como procedimientos idealmente realizables.38

Nada de lo anterior careca de sustento; ms bien, era la expresin filosfica de una


creciente tendencia generada en el interior de la matemtica.

Consideremos, por ejemplo, las cortaduras de Dedekind, cuya aparicin en el siglo XIX
signific la primera exposicin formal del continuo numrico. Toda cortadura es un
conjunto infinito de nmeros racionales que representa a un nmero real. Estas
entidades las podemos sumar y multiplicar, formando de esta manera un campo
completo. Obviamente, estas operaciones slo tienen lugar en el pensamiento, sin la
posibilidad de contar en todos los casos con un esquema que permita producir un objeto.
Aun as, esta elaboracin terica es la base del anlisis matemtico moderno, una pieza
central en el conocimiento de la naturaleza a la que Hilbert no estaba dispuesto a
renunciar. Y frente al rechazo del sistema de los nmeros reales en virtud del carcter
no constructivo de sus elementos, Hilbert decidi extender el concepto de "objeto
matemtico" hasta admitir ciertas ideas (elementos ideales en sus palabras). En
conformidad, tambin decidi acoger y dar soporte a la generalizacin de la teora
kantiana de esquemas hasta incluir, como ya lo he sealado, procedimientos slo
realizables en un plano ideal, es decir, procedimientos que slo tienen cabida en el
pensamiento, nunca en la representacin.

Un claro ejemplo de lo anterior es la prueba que ofrece Cantor de que los puntos de un
cuadrado se pueden poner en correspondencia uno a uno con los puntos de uno de sus
lados. Quien siga la demostracin ver que el procedimiento de intercalacin de
fracciones continuadas infinitas es tan slo el apunte de una posibilidad, la generalizacin
de un procedimiento realizable cuando el nmero de dgitos es finito. Y frente a la
imposibilidad real de llevar a cabo el "encaje" propuesto, Cantor simplemente supone
consumado el proceso e imagina el resultado: otra fraccin continuada. 39 Surgen con
ello las dudas en torno de la existencia de estos objetos: en qu sentido podemos
afirmar su existencia? La respuesta de Hilbert sera la siguiente: en el sentido de que
son algo pensado sin incurrir por ello en contradicciones.

Obviamente, nada de lo que se "hace" en dominios como el de los nmeros reales o la


teora cantoriana de conjuntos sera posible sin la correspondiente extensin del
concepto de esquema a entidades no construibles.

Sin adentrarnos en esta cuestin, debemos notar que, hacia 1920, Hilbert concibi las
nociones ideales como ideas regulativas en el sentido de Kant, y que con base en esta
concepcin fue que ide su programa. Baste este comentario indicativo de que la
epistemologa de Hilbert se nutri en todo momento con elementos tomados de la
filosofa crtica. Y si bien, al referirse al origen de la geometra, adopta una perspectiva
empirista, su visin general de las matemticas se sustenta en muchas ideas tomadas
de Kant.40 Esto es evidente en su segundo formalismo, donde preconiza el carcter a
priori del conocimiento aritmtico y se sirve de principios tomados de la Dialctica
trascendental a fin de dar cabida a la moderna teora del infinito.41

10. Comentarios finales

En el prefacio del libro Anschauliche Geometrie,42 escrito en colaboracin con S. Cohn


Vossen en 1921, Hilbert advierte:

En las matemticas, como en cualquier otra disciplina cientfica, se hallan presentes dos
tendencias. Por una parte, la tendencia hacia la abstraccin, que busca cristalizar las
relaciones lgicas inherentes al caudal de resultados estudiados tratando de unificar el
material de manera sistemtica y ordenada. Por la otra parte, la tendencia a
la comprensin intuitiva, que nos alienta a significar de manera inmediata tales
relaciones lgicas, subrayando su significado concreto.
En la geometra, la tendencia abstracta ha conducido a las magnficas teoras de la
geometra algebraica, la geometra de Riemann y la topologa; estas teoras se sirven
ampliamente del razonamiento abstracto y del clculo simblico en el sentido del
lgebra. No obstante, hoy en da sigue siendo tan cierto como siempre que la
comprensin intuitiva desempea un papel principal en este dominio. Tal intuicin
concreta es de gran valor no slo para el investigador, sino para todo aquel que desee
estudiar y apreciar los resultados de la geometra. (Hilbert 1952, p. iii)

Las palabras anteriores muestran un aspecto muy poco conocido del pensamiento de
Hilbert. Para l, la formalizacin no es un objetivo final, sino una fase en el movimiento
propio del pensamiento matemtico. Desde su punto de vista, la matemtica se
desenvuelve en medio de una dialctica entre lo formal y lo intuitivo, entre la forma y el
contenido. El libro de cuyo prefacio he tomado el pasaje anterior es en s una viva
expresin de esta duplicidad, donde el lector podr descubrir diversos aspectos visuales
de la geometra proyectiva y diferencial, de la cinemtica y la topologa. Y si bien en este
ensayo nos hemos concentrado casi en exclusiva en las ideas que tiene Hilbert acerca
de las matemticas puras, sera un error desestimar la perspectiva anterior. Hilbert no
es el formalista radical que muchos autores presentan, ni un purista para quien las
matemticas se reducen a un juego formal con vacuos conceptos; ms bien, ve en la
formalizacin un instrumento para: i) elaborar un montaje conceptual con relacin a una
teora, ii) generalizar las teoras y iii) investigar las teoras mismas y establecer vnculos
entre distintas reas de las matemticas. En cuanto a la perspectiva general que nos
ofrece Hilbert de la matemtica pura, espero haber proyectado suficiente luz sobre su
pensamiento como para clarificar su imagen: la de un pensador que no slo nos leg
una obra matemtica vasta y profunda, sino una manera diferente de entender esta
disciplina.43

En cuanto a Kant, espero haber contribuido a esclarecer su teora del conocimiento


matemtico al mirarla bajo la luz de la teora de esquemas. De hecho, la consideracin
del esquematismo kantiano nos permiti: (i) entender con mayor claridad la
epistemologa hilbertiana, aunque en este trabajo slo hayamos hecho un esbozo parcial
de la misma; (ii) examinar el pensamiento de Kant desde un ngulo que aclara la nocin
que sustenta de los objetos matemticos; (iii) iluminar los cambios ocurridos en la
matemtica durante el siglo XIX; (iv) entender cmo se relacionan los conceptos y los
objetos en la geometra clsica, y (v) entender la nocin de objeto matemtico que
introduce Hilbert en la filosofa de las matemticas. Al respecto, aqu slo se consider
el esquematismo kantiano desde la perspectiva de la geometra clsica, sin tocar en
absoluto su relacin con la aritmtica. Esto es as en virtud de que las primeras
manifestaciones del formalismo de Hilbert se dieron en torno a los fundamentos de la
geometra, tema central de este ensayo. De igual forma, no se consider en plenitud la
explicacin que da Hilbert del conocimiento matemtico en general, pues esta tarea la
acomete justo en la segunda etapa de su formalismo, un tema que escapa a los
propsitos de este ensayo. No obstante, con los elementos ofrecidos espero haber
puesto en claro que el formalismo de Hilbert, antes que una negacin de la epistemologa
kantiana, constituye una generalizacin necesaria de ella en adecuacin a la matemtica
moderna.

Anda mungkin juga menyukai