Fisica

REVUE
PHILOSOPHIE
INTERNATIONALE DE
Direction : Michel Meyer
c/o Universit Libre de Bruxelles, C.P. 188

50, avenue Franklin-Roosevelt / B-1050 Bruxelles (Belgique)
Tl. 32 2 650 25 61 / Fax 32 2 650 45 61
e-mail : tsalis@ulb.ac.be
LE THTRE, DE LA RENAISSANCE AUJOURDHUI. UNE APPROCHE PHILOSOPHIQUE

Michel MEYER
Prsentation
Benjamin BENNETT
The Thinking Machine
Florence NAUGRETTE
Le mlange des genres dans le thtre romantique franais:
une dramaturgie du dsordre historique
Michel MEYER
Du romantisme au ralisme dans le thtre
Grard NOIRIEL
Linstitutionnalisation du thtre franais et ses effets
sur la dfinition lgitime de la cration
Andr HELBO, Catherine BOUKO, Elodie VERLINDEN
Thtre et spectacle vivant. Mutations contemporaines
Prochains fascicules / Forthcoming
Stanley Cavell
Comte-Sponville
Autour de Questionnement et Historicit
William James
Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)
INTUICIN Y MTODO AXIOMTICO EN LA

CONCEPCIN TEMPRANA DE LA GEOMETRA
DE DAVID HILBERT*
Eduardo N. Giovannini
Consejo Nacional de Investigaciones Cientficas y Tcnicas
Universidad Nacional del Litoral
RESUMEN: El artculo indaga la concepcin axiomtica temprana de la geometra de Hilbert. Especialmente, sus notas para cursos sobre geometra entre
1891 y 1905 son analizadas. Se sostendr que, aunque Hilbert privilegi desde
el inicio una presentacin axiomtica abstracta de la geometra, tambin mantuvo en este perodo temprano tesis ms tradicionales, como por ejemplo, la
afirmacin de que la geometra es la ms perfecta de las ciencias naturales, que
se ocupa de las propiedades o formas de los cuerpos en el espacio. Entre estas
tesis, a primera vista contradictorias, Hilbert remarc adems a lo largo de sus
cursos la importancia de la intuicin espacial o geomtrica en la axiomatizacin de la geometra. La nocin y el papel de la intuicin espacial en el abordaje axiomtico de Hilbert son discutidos. Por ltimo, este nfasis en la nocin
de intuicin ser utilizado para criticar la interpretacin formalista estndar,
que ser considerada como errnea, o al menos como inadecuada, a la luz de
las fuentes antes mencionadas.
PALABRAS CLAVE: Hilbert, mtodo axiomtico, geometra, concepcin temprana, intuicin
* Agradezco a la Niederschsische Staats- und Universittsbibliothek Gttingen por el permiso para citar los manuscritos de Hilbert; especialmente
al Dr. Helmut Rohlfing, de la Handschriftenabteilung. Gran parte de la
investigacin que dio origen a este trabajo fue desarrollada en el Institut
fr Philosophie, Universitt Paderborn, Alemania, gracias al generoso apoyo
del DAAD. Agradezco adems a Volker Peckhaus, Alejandro Cassini y
Javier Legris por sus comentarios a versiones previas de este escrito. Quisiera expresar tambin mi reconocimiento al referee annimo de la RLF por
sus valiosas sugerencias y sus instructivos comentarios.
Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011) 35-65
36
E. N. GIOVANNINI
ABSTRACT: The paper discusses Hilberts early axiomatic approach to

geometry, particularly his notes for lecture courses between 1891 and 1905 are
analyzed. It is argued that, although Hilbert privileged from early on an
abstract axiomatic presentation of geometry, he also maintained in this early
period more traditional theses, like the claim that geometry is the most perfect
of all natural sciences, which deals with the properties or shapes of things in
space. Among these, at a first glance, contradictory theses, Hilbert also
stresses throughout the lecture courses the importance of spatial or
geometrical intuition for the axiomatization of geometry. The role and
notion of spatial intuition in Hilberts early axiomatic approach are discussed.
Finally, this emphasis on the notion of intuition will be used to criticize the
standard, formalist view of Hilberts axiomatic approach to geometry, which
will be considered as misleading, or at least inadequate, when his notes for
lectures courses are taken into account.
KEYWORDS: Hilbert, axiomatic method, geometry, early view, intuition
1. Introduccin
Es una afirmacin relativamente compartida por los historiadores de la lgica y la matemtica que la clebre obra de David Hilbert (1862-1943), Los fundamentos de la geometra (1899), constituy
un hito fundamental para la concepcin moderna del mtodo axiomtico. En este trabajo Hilbert logra presentar una lista completa
de axiomas a partir de los cuales es posible construir, por medios
puramente lgicos, la geometra eucldea elemental y deducir todos sus teoremas fundamentales. Junto a este notable logro matemtico, el enorme impacto de la obra se debi mayormente a las
novedades metodolgicas all introducidas. En la nueva presentacin axiomtica de la geometra desarrollada por Hilbert, los axiomas dejan de ser vistos como verdades inmediatas acerca de un
dominio intuitivo fijo. Asimismo, Hilbert renuncia a dar una definicin descriptiva de los elementos bsicos, como por ejemplo
punto, recta y plano, afirmando que stos se encuentran totalmente caracterizados por aquello que es establecido en los axiomas. El sistema de axiomas de Hilbert no slo permiti remediar
las distintas lagunas en las deducciones que caracterizaban a las
demostraciones de Euclides, sino que su renovado tratamiento
axiomtico de la geometra llev a concebirla como una disciplina
ms de la matemtica pura.
35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)
INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN
37
Ahora bien, esta presentacin de la geometra como un sistema

axiomtico formal, sumada al programa desarrollado posteriormente por Hilbert para la fundamentacin de la matemtica el llamado programa de Hilbert, han contribuido a formar una imagen excesivamente formalista de su concepcin de la geometra. Es
decir, por lo general suele afirmarse que y un claro ejemplo es el
difundido artculo de Jean Dieudonn (1906-1992) la idea detrs
del mtodo axiomtico tal como lo entiende Hilbert es que los signos o smbolos grficos con los que la matemtica opera se vuelven
a su vez su objeto de estudio. En ese sentido, la matemtica se
vuelve un juego, cuyas piezas son los signos grficos que se distinguen unos de otros por sus formas (Dieudonn 1971, p. 261). Ms
an, junto a la idea de la matemtica como un mero inventario de
frmulas, esta interpretacin que denominaremos estndar, sostiene adems que el objetivo central del mtodo axiomtico de Hilbert aplicado a la geometra, y en continuidad con lo que ms tarde
sern sus ideas respecto de los fundamentos de la aritmtica, es
defender una imagen de toda la matemtica como una coleccin de
sistemas deductivos abstractos, construidos a partir de un conjunto
de principios o axiomas arbitrariamente escogidos y sin un significado intrnseco.
Sin embargo, al menos en el caso de la geometra, esta interpretacin se muestra visiblemente inadecuada cuando se indagan
las fuentes utilizadas por Hilbert para la elaboracin de su notable monografa de 1899. Contrariamente a la impresin de Hermann Weyl, para quien Los fundamentos de la geometra signific
una novedad absoluta respecto de los intereses exhibidos en sus
trabajos anteriores,1 esta obra es el producto de una preocupacin
de Hilbert por los fundamentos de la geometra por casi diez
aos. Prueba de ello son los cursos que imparti desde 1891 sobre
la temtica, los cuales han sido publicados en el primer volumen
de la Hilbert Edition (Majer y Hallett 2004). Estos cursos constituyen una fuente imprescindible para comprender la concepcin
hilbertiana de la geometra, principalmente en su etapa inicial.
Ello se debe a que a diferencia de la monografa de 1899, Hilbert
no se limita all a presentar meramente los resultados de sus in1. Vase Weyl 1945, p. 635.
38
E. N. GIOVANNINI
vestigaciones matemticas, sino que por el contrario nos hace partcipes del proceso que condujo a tales descubrimientos, acompaado en muchas ocasiones de reflexiones de un carcter ms bien
filosfico.
Mi objetivo en las pginas que siguen es examinar la concepcin temprana de la geometra de Hilbert, principalmente en base
a las fuentes anteriormente mencionadas. Intentar mostrar cmo
la imagen de la geometra y del mtodo axiomtico presentada all
por Hilbert es ms compleja que la pergeada por la interpretacin
estndar, y en ocasiones contradictoria a ella. Asimismo, se prestar particular atencin al rol atribuido a la difcil nocin de intuicin. Esta nocin, que ms tarde se convertir en un concepto
central en la justificacin epistemolgica del conocimiento metamatemtico en el programa de Hilbert, est presente constantemente a lo largo de estas notas. Sostendr entonces que una adecuada explicacin de la relacin entre la intuicin y el mtodo
axiomtico es fundamental para obtener una mirada ms comprensiva de la concepcin hilbertiana de la geometra, particularmente en su perodo inicial. Finalmente, argumentar que, a pesar
de ciertos cambios propios de la evolucin de su pensamiento, Hilbert mantiene las tesis principales que caracterizan a su concepcin
axiomtica de la geometra hasta prcticamente el final de su produccin cientfica.
2. Un abordaje sinttico: Geometra Proyectiva (1891)
La presentacin axiomtica de la geometra exhibida por Hilbert en 1899 se construy sobre la base de la tradicin de la geometra sinttica, que tom un gran impulso a mediados del siglo
XIX con los trabajos de Gaspard Monge (1746-1818), Karl G. C.
von Staudt (1798-1867) y Jakob Steiner (1796-1863). Esencial para
esta tradicin era evitar donde fuera posible la introduccin de
elementos numricos. Este hecho es particularmente evidente en
el primer curso que Hilbert dedic a la geometra en el semestre
de verano de 1891, en Knigsberg, titulado Geometra proyectiva. En la introduccin, tras unas breves consideraciones histricas, Hilbert elogia a von Staudt por haber llevado a la geometra
proyectiva al rango de una ciencia autnoma, por medio de
39
una construccin puramente geomtrica que no requiere de la

medida.2
Ahora bien, junto a esta especial atencin en torno a la introduccin del nmero en la geometra, Hilbert defiende una tesis filosfica fundamental respecto de la diferencia epistemolgica entre
aquellas ramas de la matemtica cuyos resultados pueden ser alcanzados apoyndose exclusivamente en el pensamiento puro
(aritmtica, anlisis, lgebra) y aquellas ramas que, como la geometra, necesitan de algo ms que el pensamiento puro para su construccin:
La geometra es la ciencia de las propiedades del espacio, y se diferencia

substancialmente de las ramas matemticas puras, como la teora de nmeros, el lgebra, la teora de funciones. Los resultados de estas disciplinas pueden ser alcanzados a travs del pensamiento puro, en tanto que los
hechos afirmados son reducidos por medio de claras inferencias lgicas
a hechos ms simples, hasta que finalmente slo se vuelve necesario el
concepto de nmero entero. () Al concepto de nmero entero podemos
arribar a travs del pensamiento puro. () Mtodos y fundamentos de la
matemtica pertenecen al pensamiento puro. No necesito nada ms que
el pensamiento lgico puro, cuando me ocupo de la teora de nmeros o
del lgebra. (Hilbert 1891a, p. 22).
Sin embargo, en la geometra sucede algo completamente distinto:
No puedo nunca fundar las propiedades del espacio en la mera reflexin,

tanto como no puedo reconocer de ese modo las leyes bsicas de la mecnica, las leyes de la gravitacin o cualquier otra ley fsica. El espacio no es
un producto de mi pensamiento, sino que me es dado slo a travs de
los sentidos [Sinne]. Para representarme sus propiedades necesito por ello
de mis sentidos. Necesito de la intuicin y el experimento, tanto como se
los requiere para fundar las leyes fsicas, donde tambin la materia debe
sernos dada a travs de los sentidos. (Hilbert 1891a, p. 22-3).
Con esta diferencia trazada entre aritmtica y geometra Hilbert

est haciendo alusin a la clsica distincin establecida por Gauss,
distingo que hasta cierto punto era un lugar comn en la poca,
2. Cf. Hilbert 1891a, p. 25.
40
E. N. GIOVANNINI
sobre todo entre gemetras alemanes. Hilbert sostiene as, en esta

etapa bien inicial, que la geometra es el estudio de las propiedades
del espacio fsico, y que la base para su indagacin es proporcionada por la experiencia y por un cierto tipo de intuicin. Empero, y
quizs contradictoriamente, que la geometra sea la ciencia del
espacio fsico no implica para Hilbert que sus axiomas sean verdades evidentes del espacio fsico. Es decir, en cursos posteriores, y
en la medida en que vaya desarrollando y perfeccionando su abordaje axiomtico, Hilbert abandonar la idea de que los axiomas son
verdaderos en el sentido de que su verdad est garantizada por el
modo en que el mundo exterior espacial es. Sin embargo, ms adelante en estas notas que estamos analizando, Hilbert afirma lo
siguiente respecto del carcter del controvertido axioma de las
paralelas: Este axioma de las paralelas es proporcionado por la
intuicin. Si esta ltima es innata o adquirida, si aquel axioma
expresa una verdad, si debe ser corroborado por la experiencia, o si
ello es innecesario, es algo que aqu no nos ocupa. Slo nos interesamos por la intuicin y ella requiere de aquel axioma (Hilbert
1891, p. 27). Como veremos, el punto es que la intuicin nos proporciona un conjunto de hechos [Tatsachen], que debemos considerar como dados y que deben ser tomados seriamente, pero de los
que la geometra, en tanto ciencia desarrollada, es independiente.
Hilbert no ser nunca suficientemente claro al respecto, sin embargo la tesis que se conserva explcitamente hasta en sus ltimos trabajos sobre la temtica, es la de que la geometra, en lo que respecta
a su origen, es una ciencia natural, o ms precisamente, la ms perfecta de las ciencias naturales. Asimismo, la posibilidad de interpretar esta intuicin geomtrica ya sea como una intuicin a priori
o como una intuicin emprica, es algo que Hilbert repetir sucesivamente a lo largo de estas notas.
Otro elemento interesante aqu es el contexto en el que la nocin
de intuicin es introducida. Hilbert comienza sealando que puede
concebirse que la geometra, en tanto disciplina nica, consiste en
tres ramas separadas, o ms precisamente, en tres abordajes diferentes. En primer lugar tenemos a la geometra de la intuicin.
Esta geometra se caracteriza por conducir todas sus afirmaciones a
los hechos bsicos de la intuicin, sin investigar su origen y legalidad. La geometra intuitiva est conformada por la geometra
escolar, la geometra proyectiva (sinttica) y el anlisis situs, y
41
su valor es ms bien pedaggico y esttico. La geometra de la

intuicin se identifica, por ejemplo, con la geometra proyectiva
cuando es desarrollada de un modo sinttico puro, como en los trabajos de Reye (1886) y von Staudt (1847), citados por Hilbert. La
geometra axiomtica, en cambio, investiga cules de los axiomas
ganados en la geometra intuitiva son necesarios para su construccin, y a ello le contrapone sistemticamente geometras en las que
algunos de aquellos axiomas son omitidos. Su significado es fundamentalmente epistemolgico. Un ejemplo de la geometra proyectiva axiomtica sera Las lecciones de geometra moderna (1882) de
Moritz Pasch. Por ltimo, Hilbert seala que la geometra analtica
coordina de antemano los puntos de una lnea con los nmeros y
reduce de ese modo la geometra al anlisis. Esta geometra es
esencial para el empleo de la matemtica en las ciencias naturales.
Un desarrollo analtico de la geometra proyectiva puede verse en
los trabajos de Plcker, Clebsh y Klein.3
El abordaje elegido por Hilbert en este curso es exclusivamente
sinttico, hasta el punto de que los principios de la geometra proyectiva son presentados como leyes fundamentales de la intuicin
y no como axiomas (Hilbert 1891a, p. 28). Sin embargo, es interesante notar que a lo hora de referirse al valor o al rol de la intuicin
en geometra, Hilbert siempre lo hace contraponindola a la geometra analtica:
En lugar de operar con la intuicin geomtrica pura, [la geometra analtica]
emplea el clculo y la frmula como herramienta de un significado esencial. La
geometra analtica se conduce de tal manera que introduce desde el principio el concepto de magnitud variable y de ese modo para cada intuicin geomtrica exhibe de inmediato la expresin analtica, proporcionando por medio de esta ltima la demostracin. De este modo se consigue
obtener rpidamente mayor generalidad en los teoremas, respecto de lo
que era posible con la intuicin geomtrica pura. (Hilbert 1891a, p. 55).
A pesar de la neutralidad proclamada en lo que respecta al estatus de la intuicin, el uso de la expresin intuicin pura, junto con
la definicin de la geometra como la ciencia que estudia las pro3. Cf. Hilbert 1891a, p. 21-22.
42
E. N. GIOVANNINI
piedades del espacio, puede dar la impresin de que Hilbert favorece una suerte de kantismo. Sin embargo, es posible sealar otra
fuente para el uso de este trmino, que resulta quizs ms plausible. Como hemos sealado, Hilbert adopta en este primer curso un
abordaje sinttico o intuitivo a la geometra proyectiva. En ese sentido, el modo en que el curso est estructurado y las referencias
explcitas all mencionadas, muestran que la Geometra de la posicin
(1867) de Theodor Reye (Cf. Reye 1886), que a su vez se basa en el
texto homnimo de von Staudt (von Staudt 1847), sirvi de gua
para la elaboracin de su curso. Luego, en la introduccin de su
texto, von Staudt seala que cada leccin de geometra debe partir
de consideraciones generales que se hacen conocidas a los estudiantes por medio de distintos tipos de figuras geomtricas y que
ejercitan su facultad de la intuicin (von Staudt 1847, p. III). La
expresin facultad de la intuicin [Anschauungsvermgen] es utilizada constantemente por Hilbert a lo largo de estas notas. La intuicin geomtrica pura es as cierta capacidad, que de hecho puede
ser instruida y desarrollada, de percibir las relaciones geomtricas
fundamentales exhibidas generalmente en las construcciones geomtricas e independientes de consideraciones numricas. Precisamente, el carcter puro de esta intuicin no hace as referencia a un
carcter a priori aunque no es incompatible con l sino que se
relaciona con el carcter puramente sinttico de este modo de presentar a la geometra, en oposicin a una presentacin analtica
basada en la introduccin de elementos numricos, es decir, en la
expresin algebraica de las relaciones geomtricas. Es precisamente en este sentido en el que Hilbert habla de la intuicin geomtrica
en un breve artculo tambin de 1891, en donde presenta una construccin puramente geomtrica de una curva anteriormente definida por Peano, que a su vez es un ejemplo de una funcin continua
pero no diferenciable (Cf. Hilbert 1891b).
En septiembre del mismo ao Hilbert asisti en Halle a la conferencia de H. Wiener (1857-1939) Sobre fundamentos y construccin de la geometra (Wiener 1891). Segn sus bigrafos esta presentacin signific una motivacin importante para su arribo a un
abordaje axiomtico abstracto de la geometra.4 Wiener seala all
4. Vase Blumenthal 1922, p. 68.
43
que para hacer de la geometra una ciencia abstracta, pero que sin
embargo se desarrolle paso a paso en paralelo con los teoremas de
la geometra, es necesario asumir nicamente ciertas premisas que
consisten en la existencia de ciertos objetos y ciertas relaciones,
por medio de las cuales estos objetos estn conectados (Wiener
1891, p. 460). La conferencia de Wiener parece haberle transmitido
a Hilbert una de las ideas que ms tarde se volvern centrales en su
mtodo axiomtico, a saber: que es posible utilizar a los axiomas de
la geometra de tal modo que slo expresen relaciones entre objetos
no definidos cuyas nicas propiedades son aquellas expresadas
por los mismos axiomas.5 Por otra parte, la lectura del libro de
Pasch sobre geometra proyectiva (Pasch 1882) y de Los principios de
la mecnica (1894) de Hertz, fueron tambin factores relevantes para
que en el curso siguiente Hilbert adopte un acercamiento decididamente axiomtico.6
5. Ms detalles sobre la conferencia de Wiener pueden verse en Toepell

1986.
6. No slo el sistema de axiomas de 1899, sino adems la concepcin
axiomtica de la geometra de Hilbert, le debe mucho al trabajo pionero de
Pasch. En efecto, Pasch fue quizs el primero en intentar presentar a la
geometra como un sistema axiomtico formal. En ese sentido, sostuvo
explcitamente que, si la geometra haba de ser construida realmente como una ciencia deductiva, entonces era necesario que sus demostraciones
sean ejecutadas tanto con independencia del significado o interpretacin
de los trminos geomtricos, como de los diagramas o construcciones geomtricas. Prueba de ello es el siguiente pasaje, a menudo citado:
En efecto, si la geometra ha de ser realmente deductiva, el proceso de inferencia debe ser siempre independiente del significado de los conceptos geomtricos,
al igual que debe ser independiente de los diagramas [Figuren]; slo las relaciones fijadas entre los conceptos geomtricos segn aparecen en las proposiciones
utilizadas, por ejemplo en las definiciones, pueden ser tomadas en consideracin. Durante la deduccin es til y legtimo, pero de ningn modo necesario,
pensar en el significado de los conceptos geomtricos; de hecho, cuando se vuelve verdaderamente necesario hacerlo, ello demuestra que hay una laguna [Lckenhaftigkeit] en la deduccin, y que (si esta laguna no puede ser eliminada
modificando el razonamiento), las premisas son demasiado dbiles para apoyarlo. (Pasch 1882, p. 98)
44
E. N. GIOVANNINI
3. El primer acercamiento axiomtico
El curso de 1894 titulado Fundamentos de la geometra es de

hecho el primer tratamiento axiomtico de cualquier rama de la
matemtica realizado por Hilbert. El mtodo axiomtico, en el sentido que ms tarde adquirir en sus trabajos, no est aqu obviamente desarrollado como en los cursos de 1898/99 y en la monografa de 1899. Es decir, por un lado, Hilbert no lleva a cabo una
investigacin axiomtica tal como es definida en la introduccin de
su curso de 1891, a saber: una investigacin sistemtica de aquellas geometras que surgen cuando uno o ms axiomas [de la intuicin] son dejados de lado (Hilbert 1891a, p. 22) o reemplazados
por su negacin. Tampoco el mtodo de proporcionar distintas
interpretaciones o modelos est presente en el grado en el que es
desarrollado posteriormente. Sin embargo, las notas elaboradas por
Hilbert para este curso constituyen un inicio del anlisis axiomtico,
y en este sentido es posible afirmar que este texto prepara el camino para los posteriores tratamientos meta-geomtricos (i.e. estudio
de la independencia y consistencia de un sistema axiomtico geomtrico).7
A pesar de la novedad acarreada por el estilo axiomtico de
estas nuevas investigaciones, en la introduccin Hilbert repite, y
profundiza, la concepcin general de la geometra y del conocimiento geomtrico expresada anteriormente:
Entre los fenmenos o hechos de la experiencia que se nos ofrecen en la
observacin de la naturaleza, existe un grupo particularmente destacado,
es decir, el grupo de aquellos hechos que determinan la forma externa
de las cosas [die ussere Gestalt der Dinge]. De estos hechos se ocupa
la geometra. (Hilbert 1894, p. 72).
Hilbert repite as la definicin tradicional de la geometra como

la ciencia dedicada a estudiar las propiedades o formas de las cosas
en el espacio. Sin embargo, a continuacin agrega:
7. Sobre este punto puede verse la introduccin del captulo 2 de Majer

y Hallett 2004.
45
Como cada ciencia busca ordenar el grupo bsico de hechos de su propio mbito, o describir los fenmenos, como dice Kirchhoff, as hace
exactamente la geometra con aquellos hechos geomtricos. Esta organizacin o descripcin acontece por medio de ciertos conceptos, que estn
conectados entre s a travs de las leyes de la lgica. Una ciencia se
encuentra ms avanzada, esto es, el andamiaje de conceptos [Fachwerk
der Begriffe] es ms completo, cuanto ms fcilmente cada fenmeno o
hecho es acomodado. (Hilbert 1894, p. 72).
La identificacin de la geometra con una ciencia natural hace

que la definicin que aqu da Hilbert resulte hasta cierto punto
contradictoria, o incompatible, con lo que de acuerdo a una concepcin axiomtica formal debe ser tenido por el objeto de estudio
de la geometra. Siguiendo la comparacin entre la geometra y las
ciencias fsicas, en especial con la mecnica, Hilbert emplea el trmino descripcin para caracterizar al tipo de conocimiento al que
apunta la geometra.8 Hilbert no aclara nunca completamente que
es lo que entiende por hecho geomtrico, aunque su empleo sucesivo
lleva a pensar que con ello se refiere no slo a hechos empricos,
sino ms bien a un conjunto de conocimientos o verdades geomtricas que han llegado a ser generalmente aceptadas o reconocidas
a travs del tiempo por medio de la acumulacin de pruebas
(demostraciones) e incluso, podra decirse, de observaciones.9 Es
precisamente este punto, es decir, la precisin o certeza que poseemos de los hechos bsicos, lo que distingue a la geometra de otras
ciencias fsicas, o siguiendo el ejemplo de Hilbert, de la mecnica:
La geometra es una ciencia que bsicamente est tan desarrollada, que
todos sus hechos pueden ser ya deducidos por medio de inferencias lgicas a partir de hechos previos; algo completamente distinto ocurre en,
por ejemplo, la teora de la electricidad o la ptica, donde todava hoy
nuevos hechos son descubiertos. Empero, respecto de su origen, la geometra es una ciencia natural (). (Hilbert 1894, p. 72).
8. Acerca de la influencia de las discusiones entre fsicos alemanes

sobre los principios de la mecnica en la concepcin temprana del mtodo
axiomtico de Hilbert, vase Corry 2004.
9. Cf. Hallett 2008, p. 204.
46
E. N. GIOVANNINI
Con esta imagen de la base epistemolgica de la geometra de

fondo, Hilbert introduce el objeto de su estudio axiomtico del
siguiente modo:
El problema de nuestro curso versa as: cules son las condiciones necesarias, suficientes e independientes entre s, que deben establecerse en
un sistema de cosas, para que a cada propiedad de estas cosas le
corresponda un hecho geomtrico, e inversamente, para que por medio
del mencionado sistema de cosas sea posible una descripcin completa u
organizacin de todos los hechos geomtricos; o para que nuestro sistema se convierta en una imagen [Bild] de la realidad geomtrica. (Hilbert 1894, p. 73).
Una serie de aclaraciones es aqu necesaria. En primer lugar, es

evidente que el uso del trmino cosas [Dinge] es muy vago. Posiblemente Hilbert adopt esta terminologa a partir del importante
trabajo de Dedekind: Qu son y para qu sirven los nmeros? (1888).
Esta obra ejerci una reconocible influencia en Hilbert, principalmente en este perodo temprano.10 En efecto, Dedekind define en
la introduccin al trmino cosa como todo objeto de nuestro
pensamiento (Dedekind 1888, p. 105). En la medida en que su
concepcin axiomtica vaya evolucionando, Hilbert comenzar a
emplear el trmino cosas del pensamiento [Gedankendinge], para
aclarar que aquellos elementos que tomamos como bsicos en una
presentacin axiomtica pertenecen exclusivamente a un nivel
conceptual.11 Algo similar parece adems sugerir Hilbert al sealar, refirindose a los Principios de la mecnica de Hertz publicado
pstumamente en 1894, que los axiomas son imgenes [Bilder] o
smbolos en nuestra mente [Geist] (Hilbert 1894, p. 74). En segundo lugar, lo que esta caracterizacin de los objetivos de sus investi10. Acerca de la influencia de Dedekind en la concepcin axiomtica
temprana de Hilbert vase Ferreirs 2009.
11. Hilbert emplea por primera vez el trmino Gedankendinge, aunque en relacin a los objetos de la aritmtica, en 1905 (Cf. Hilbert 1905c).
Asimismo, una referencia muy clara, aunque probablemente un poco posterior, se encuentra en sus Wissenschafliche Tagebcher: Los puntos, lneas
y planos de mi geometra no son sino cosas del pensamiento [Gedankendinge], y en cuanto tales nada tienen que ver con los puntos, lneas y planos reales (Citado en Hallett 1994, p. 167).
47
gaciones parece indicar es que, ya en este primer acercamiento,

Hilbert se aleja de una posicin formalista. Es decir, el objetivo de
un anlisis axiomtico de la geometra es inicialmente obtener un
conocimiento lgicamente ms perspicuo y exacto de un acervo de
hechos fundamentales, fundados en la intuicin, que son identificados con el conocimiento geomtrico obtenido en una etapa ms
bien intuitiva o acrtica de la disciplina. En ese sentido, la tarea
aqu definida para el mtodo axiomtico nada tiene que ver con la
idea de que ste consiste exclusivamente en el estudio de las consecuencias que pueden derivarse lgicamente de un conjunto completamente arbitrario de principios o axiomas.
Ahora bien, Hilbert reconoce tambin inicialmente que la manera de llevar a cabo esta tarea implica un nuevo modo de emprender
los estudios axiomticos, que significa una suerte de superacin
respecto del mtodo axiomtico tal como aparece en los Elementos
de Euclides. En efecto, Hilbert afirma explcitamente que el sistema de cosas que se supone debe presentar una imagen de la realidad geomtrica, consiste en un esquema de conceptos en donde los
conceptos bsicos no tienen su referencia intuitiva habitual, sino
que por el contrario pueden recibir diversas interpretaciones:
En general debe afirmarse: nuestra teora proporciona slo un esquema
[Schema] de conceptos, conectados entre s por las invariables leyes de
la lgica. Queda librado al entendimiento humano [menschlicher Verstand] cmo aplicar este esquema a los fenmenos, cmo llenarlo de
material [Stoff]. Ello puede ocurrir de diversas maneras: pero siempre
que los axiomas sean satisfechos, entonces los teoremas son vlidos.
Cuanto ms fcil y ms variadas son las aplicaciones, tanto mejor* es la
teora.
* Cada sistema de unidades12 y axiomas que describe completamente a
los fenmenos est tan justificado como cualquier otro. Mostrar sin
embargo que el sistema axiomtico aqu especificado es, respecto de
cierto punto de vista, el ms simple posible. (Hilbert 1894, p. 104).
En la medida en que su posicin axiomtica vaya evolucionando, Hilbert ir ganando claridad en este punto. Sin embargo, pasa-
12. Hilbert equipara el significado del trmino unidad [Einheit] al de

cosa [Ding].
48
E. N. GIOVANNINI
jes como ste sugieren que ya en 1894 una de las ideas centrales de
su mtodo axiomtico, en su aplicacin a la geometra, estaba suficientemente definida. Hilbert reconoce que la axiomatizacin arroja
un esquema de conceptos que se halla separado, por decirlo de
algn modo, de la realidad [Wirklichkeit]. Ninguna interpretacin
puede ser por tanto privilegiada por sobre las otras. En otras palabras, la realidad no determina a la teora geomtrica, en el sentido
en que la limita a lo que est justificado intuitiva y empricamente.
La geometra puede aprender as mucho de la intuicin, pero no
debe ser su esclava, incluso cuando haya desempeado un rol fundamental en el establecimiento del conjunto de hechos, y por lo
tanto, en la axiomatizacin. Como resultado de ello, las teoras no
pueden ser directamente verdaderas o falsas por representar, o por
fallar en representar, correctamente cierto objeto o dominio determinado.13
4. Hacia la concepcin axiomtica de los Fundamentos de la geometra
(1899).
Luego del curso de 1894, Hilbert interrumpi sus investigaciones sobre los fundamentos de la geometra para enfocarse exclusivamente en la elaboracin de su reporte sobre cuerpos algebraicos
numricos, que concluira con la publicacin del trabajo que lo consolid como uno de los matemticos ms importantes de la poca:
La teora de los cuerpos numricos algebraicos (1897). M. Toepell ha
sealado que fue una carta de F. Schur a F. Klein, en donde el primero declara haber demostrado el teorema de Pascal en el plano
utilizando slo los teoremas de congruencia en el espacio y no el
axioma de Arqumedes, lo que trajo a Hilbert de vuelta en las discusiones sobre los fundamentos de la geometra.14 El resultado de
esta nueva incursin es el curso dictado en el semestre de invierno
de 1898/99, Fundamentos de la geometra eucldea.
Este curso, que sirvi de base para la clebre monografa de
1899, posee dos versiones. Una consiste en las notas elaboradas por
13. Vase Hallett 2008, p. 214.
14. Cf. Toepell 1986.
49
el propio Hilbert (Hilbert 1898a), y en ese sentido, similares a los

dos cursos que hemos visto anteriormente. La otra es una redaccin o elaboracin [Ausarbeitung] de un estudiante de doctorado de
Hilbert, Hans von Schaper, bajo el ttulo Elementos de la geometra eucldea (Hilbert 1898b). Este ltimo texto, del cual se sabe
fueron elaboradas setenta copias,15 fue conocido por Frege y Hausdorff, entre otros.16 Luego, este curso de Hilbert, en sus dos versiones, posee un notable inters para comprender cules fueron sus
intenciones en la elaboracin de su presentacin axiomtica de la
geometra. Por un lado, la concepcin axiomtica tal como es presentada en (Hilbert 1899) se halla aqu plenamente desarrollada;
incluso en ocasiones las investigaciones meta-geomtricas son
desarrolladas ms extensamente que en aquel trabajo. Por otro
lado, y a diferencia del escrito celebratorio (Hilbert 1899), Hilbert
presenta muchas veces en este curso las diversas pruebas y demostraciones acompaadas de importantes, aunque breves, reflexiones
filosficas. Paradigmtico es el caso de la nocin de existencia
matemtica y el rol de las pruebas relativas de consistencia.
Hilbert inicia sus notas repitiendo la tesis segn la cual la geometra debe ser considerada como una ciencia natural:
Vamos a reconocer que la geometra es una ciencia natural, pero una
ciencia tal, cuya teora debe ser llamada completa, y que al mismo tiempo constituye un modelo para el tratamiento terico de otras ciencias
naturales. (Hilbert 1898a, p. 221).
Claramente se puede reconocer aqu lo que ser ms tarde el

sexto problema enunciado por Hilbert en su clebre conferencia de
Pars en 1900.17 Por otra parte, el calificativo de completa, que ya
fue mencionado anteriormente, merece una aclaracin. Al calificar
a la geometra de una ciencia completa, y principalmente, al sostener que su sistema axiomtico debe ser capaz de ofrecer una des-
15. Hilbert 1898b, p. 302.

16. Acerca de las dos versiones del curso de Hilbert y de su relacin
con el Festschrift vase la introduccin del captulo cuatro de Majer y
Hallett 2004.
17. Cf. Hilbert 1900a, p. 306.
50
E. N. GIOVANNINI
cripcin completa de los hechos geomtricos, Hilbert tiene en mente

algo distinto de lo que ms tarde habr de entenderse como la
nocin modelo-terica de completitud. Por el contrario, Hilbert
est utilizando aqu una nocin ms bien pragmtica de completitud, similar al criterio de correccin de Hertz, a quien Hilbert se
refiere breve pero constantemente a lo largo de estas notas. Este criterio indica que el sistema axiomtico propuesto debe permitir la
derivacin de todos los teoremas conocidos de la disciplina en cuestin. De ese modo, los axiomas presentados en (Hilbert 1899) permiten obtener, afirma Hilbert, todos los resultados conocidos de la
geometra eucldea, o incluso de la geometra absoluta (i.e. la geometra que se obtiene a partir de todos los axiomas de la geometra
eucldea menos el axioma de las paralelas).18
Ahora bien, este curso tambin se halla claramente bajo el espritu de los Fundamentos de geometra (1899), y por consiguiente, Hilbert defiende una presentacin axiomtica formal o abstracta, que
puede resumirse en las famosas palabras iniciales de aquel texto:
Pensamos tres sistemas distintos de cosas: las cosas del primer sistema las llamamos puntos y las designamos con A, B, C; las cosas
del segundo sistemas las llamamos lneas y las designamos con
a,b,c; y las cosas del tercer sistema las llamamos planos y las
designamos con , , (Hilbert 1899, p. 2). Sin embargo, es interesante notar cmo Hilbert conjuga estos dos elementos de su abordaje a la geometra posicin axiomtica abstracta y concepcin de
la geometra como una ciencia natural:
La geometra elemental (eucldea) tiene como objeto los hechos y leyes
que el comportamiento [Verhalten] espacial de las cosas nos presenta.
Segn su estructura, es un sistema de proposiciones [Stzen] que en
mayor o menor medida pueden ser deducidas de un modo puramente lgico a partir de ciertas proposiciones indemostrables, los axiomas.
Esta conducta, que en menor completitud encontramos, por ejemplo,
en la fsica matemtica, puede expresarse brevemente en la sentencia:
la geometra es la ciencia natural ms completa. (Hilbert 1898b, p. 302).
La posicin de Hilbert parece ser que un estudio axiomtico

abstracto nos proporciona un conocimiento ms claro de la estruc18. Cf. Corry 2004, pp. 94-96.
51
tura i.e. las propiedades lgicas de los axiomas y su relacin con

los teoremas fundamentales de, en este caso, la geometra elemental eucldea. En este sentido, el sistema axiomtico obtenido
por medio de la axiomatizacin proporciona un entramado de conceptos que no posee una relacin inmediata con un dominio fctico
intuitivo. Sin embargo, en lo que respecta al lugar de la geometra
dentro de las disciplinas matemticas fundamentales, sta sigue
siendo una ciencia que en su base est esencialmente ligada a la
experiencia y a nuestra intuicin espacial.
Hilbert explicita aun ms este punto en un curso sobre mecnica, tambin dictado en el semestre de invierno de 1898/99. En la
introduccin de estas notas, Hilbert define a la mecnica como la
ciencia que estudia el movimiento de la materia, y cuya finalidad
es describir este movimiento del modo ms completo y simple
posible. Mas para conocer el lugar que sta ocupa entre la matemtica y las ciencias naturales, es necesario observar el caso de la geometra:
Tambin la geometra surge [como la mecnica] de la observacin de la
naturaleza, de la experiencia, y en ese sentido es una ciencia experimental. En mi curso sobre geometra eucldea me introducir en este tema
ms de cerca. Pero sus fundamentos experimentales son tan irrefutables y tan generalmente reconocidos, han sido confirmados en un
grado tal, que no se requiere de ninguna prueba ulterior. Todo lo que
se necesita es derivar estos fundamentos de un conjunto mnimo de
axiomas independientes y as construir todo el edificio de la geometra
por medios puramente lgicos. De este modo [i.e. por medio del tratamiento axiomtico], la geometra se vuelve una ciencia matemtica pura.
(Hilbert 1898c, 1-2).
Es precisamente el grado de avance alcanzado por la geometra

lo que vuelve imprescindible su anlisis axiomtico, en el modo en
que ahora es reformulado por Hilbert. En un pasaje con un tono
muy similar a la conferencia que casi veinte aos ms tarde pronunciara en Zurich, titulada El pensamiento axiomtico (Hilbert
1918), Hilbert da cuenta de esta necesidad:
Cuanto ms se acerca una ciencia natural a su objetivo: la deduccin

lgica de todos los hechos que pertenecen a su campo a partir de ciertas proposiciones fundamentales, tanto ms necesario se vuelve invesRevista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011) 35-65
52
E. N. GIOVANNINI
tigar estos mismos axiomas con precisin, indagar sus relaciones

mutuas, reducir su nmero tanto como sea posible, etc. (Hilbert 1898b,
p. 302).
Siguiendo las afirmaciones de Hilbert, una investigacin exacta

de los axiomas consiste en determinar en qu caso cada uno de
ellos constituye una condicin necesaria, suficiente e independiente para la construccin, por ejemplo, de la geometra eucldea elemental, o incluso de un dominio ms acotado de sta, como lo sera
la geometra absoluta. Ahora bien, para la consecucin de esta
tarea es esencial que los axiomas no sean considerados como afirmaciones evidentes o verdades acerca de un dominio fijo determinado, y que por lo tanto sus conceptos bsicos puedan recibir libremente distintas interpretaciones. Ello es evidente en uno de los
tpicos ms desarrollados en el Fundamentos de la geometra y en las
notas para sus cursos, a saber: las preguntas por la indemostrabilidad de cierta proposicin a partir de un conjunto de principios, o
sea, las cuestiones de independencia. La tcnica bsica desarrollada
por Hilbert a los efectos de desarrollar investigaciones de independencia consisti en modelar, que en este contexto especfico equivale a traducir la teora que se pretende investigar dentro de otra
teora matemtica. Mas para ello es necesario que los conceptos primitivos no estn atados a su significado (intuitivo) fijo habitual,
sino que por el contrario, deben poder ser reinterpretados.19 El anlisis axiomtico se realiza sobre sistemas axiomticos formales que,
como dijimos, Hilbert reconoce desde 1894 como esquemas conceptuales cuyas proposiciones no afirman nada acerca de un dominio
intuitivo concreto. Sin embargo, Hilbert aclara aqu anticipndose
a la afirmacin tan problemtica de la introduccin de Hilbert
1899 que todava este anlisis puede ensearnos algo acerca de
nuestra intuicin del espacio, y por ello, en cierto sentido su anlisis axiomtico puede ser considerado como un anlisis lgico de
nuestra facultad de la intuicin (Hilbert 1898b, p. 303). Afortunadamente, Hilbert proporciona en estas notas ms indicios de cmo
interpretar esta afirmacin.
19. Acerca de las ideas modelo-tericas presentes en Hilbert 1899,
vanse Hallett 1994 y Demopoulos 1994.
5. Un anlisis lgico de la intuicin
53
En la introduccin de las notas que estamos analizando, Hilbert

vuelve a repetir la definicin de la tarea del mtodo axiomtico, inspirada al igual que en cursos anteriores en la Bildtheorie de Hertz: el
sistema axiomtico propuesto debe servir como una imagen simple
y completa de la realidad geomtrica. Sin embargo, inmediatamente despus seala lo siguiente: Finalmente podemos referirnos a
nuestra tarea como a un anlisis lgico de nuestra facultad de la intuicin [Anschauungsvermgen]; la cuestin, de si nuestra intuicin
espacial es a priori o tiene un origen emprico, permanecer aqu
sin discutir (Hilbert 1898b, p. 303). El papel atribuido por Hilbert a
la intuicin en la prctica del mtodo axiomtico, hace que la pregunta filosfica acerca del estatus de esta intuicin quede fuera de
cuestionamiento. Sin embargo, a continuacin aade:
A partir de lo dicho queda en claro la relacin de este curso con aquellos

sobre geometra analtica y geometra proyectiva (sinttica). En ambas disciplinas las preguntas fundamentales no son tratadas. En la geometra
analtica se comienza con la introduccin del nmero; por el contrario
nosotros habremos de investigar con precisin la justificacin para ello,
de modo que en nuestro caso la introduccin del nmero se producir
al final. En la geometra proyectiva se apela desde el principio a la
intuicin, mientras que nosotros queremos analizar a la intuicin, para
reconstruirla, por decir de algn modo, en sus componentes particulares [einzelne Bestandteile]. (Hilbert 1898b, p. 303).
En el prrafo siguiente Hilbert asocia a esta intuicin propia de

la geometra proyectiva, y de la geometra sinttica en general, al
empleo de figuras geomtricas. Y aclara que aunque en lo que
sigue la utilizacin de figuras ser algo relativamente usual, nunca
se deber confiar en ellas (Hilbert 1898b, p. 303). El anlisis de la
intuicin significa luego que, aunque sta nos proporciona los
hechos bsicos a partir de los cuales debemos construir la geometra, no asumiremos de antemano su validez y buscaremos precisar
con claridad los distintos componentes de nuestra intuicin geomtrica por medio de un anlisis axiomtico formal que nos permita
conocer las propiedades lgicas, como por ejemplo la independencia, de los diversos axiomas. Hilbert aclara esta idea en un interesante ejemplo.
54
E. N. GIOVANNINI
En la seccin II de (Hilbert 1898a) y (Hilbert 1898b), Hilbert

introduce el grupo de axiomas de orden, formado por cuatro axiomas lineales y por el llamado axioma de Pasch, que determina las
relaciones de orden en el plano.20 Estos cinco axiomas coinciden
con el grupo de axiomas de orden de (Hilbert 1899). Luego de
demostrar una serie de teoremas bsicos, Hilbert indaga las propiedades meta-geomtricas de los axiomas, a saber: consistencia e
independencia. Este punto es una diferencia importante respecto
de (Hilbert 1899), en tanto que all Hilbert se limita a demostrar
una serie de teoremas, consecuencias de este grupo de axiomas, y
contina inmediatamente con el grupo de axiomas de congruencia,
obviando las investigaciones meta-geomtricas. El grupo de los
axiomas de orden sirve para caracterizar con exactitud el concepto
entre. Hilbert afirma entonces que el grupo formado por los cuatro primeros axiomas los axiomas lineales es consistente, es
decir, que los axiomas no se contradicen entre s. Una demostracin de dicha afirmacin es posible si interpretamos a los puntos
de una lnea como nmeros reales positivos y negativos, y afirmamos que el punto se encuentra entre y en el caso de que:
< < > > .
20. Los axiomas lineales de orden presentados en (Hilbert 1898a, p.

227-241) y (Hilbert 1898b, p. 307-319) son:
1. Si A, B, C son puntos de una lnea, y C se encuentra entre A y B,
entonces C se encuentra tambin entre B y A.
2. Si A, B son puntos de una lnea, entonces existe siempre al
menos un punto C, que est entre A y B, y al menos un punto D,
de modo que B est entre A y D.
A
3. Dados tres puntos cualesquiera de una lnea, siempre hay uno y

slo uno de ellos que se encuentra entre los otros dos.
4. Cuatro puntos A, B, C, D cualesquiera de una lnea pueden ser
siempre ordenados de tal modo, que B se encuentra entre A, C y
entre A, D; y adems C est entre A, D y entre B, D.
A
55
De este modo los axiomas 1-4 son satisfechos.21 En cuanto a la

independencia, los axiomas 1-4 son independientes del grupo de
axiomas I (los axiomas de incidencia), porque este ltimo grupo no
afirma nada acerca de la relacin de los puntos de una lnea entre
s. Asimismo, Hilbert seala que es posible demostrar que el axioma 4 no es una consecuencia de los axiomas 1-3, o sea, que el axioma 4 es independiente respecto de los axiomas 1-3. La demostracin que propone es la siguiente: Representemos los puntos A, B,
C, a travs de los nmeros reales , , respectivamente. Adems
afirmamos que: C se encuentra entre A y B, s y slo s > y >
(en otras palabras, el punto C se encuentra detrs o a la derecha
de A y B). Luego, es evidente que dada est definicin, los axiomas
1-3 son vlidos pero el axioma 4 no. Pues si tomamos una ordenacin de cuatro puntos en el sentido del axioma 4, entonces debe
cumplirse que:
y al mismo tiempo que:
> , > , >

> , > , >
lo que sin embargo es contradictorio.22

Hilbert ilustra aqu con un simple ejemplo el procedimiento
tpico utilizado para realizar las pruebas de independencia. Mas la
conclusin que de all extrae es sumamente interesante:
Entre es antes que nada una relacin de un punto con otros dos, y
recibe un contenido a travs de los axiomas. Si se quiere recin entonces se puede utilizar la palabra entre. Pero no por ello debe pensarse
que nuestras investigaciones son superfluas. Ms bien ellas son un anlisis lgico de nuestra facultad de la intuicin. (Hilbert 1898a, p. 230. El
nfasis es mo).
En un sentido estricto, estas investigaciones son ms bien un

anlisis lgico de los axiomas, no de la intuicin. Sin embargo, lo
21. Hilbert 1898a, p. 229.
22. Hilbert 1898a, p. 229 y Hilbert 1898b, p. 310.
56
E. N. GIOVANNINI
que sugieren estos ejemplos, en mi opinin, es una clara posicin

anti-formalista de Hilbert en su anlisis axiomtico de la geometra,
que debe ser entendida del siguiente modo: el inters de realizar
un anlisis axiomtico de la geometra, y en particular de la geometra sinttica elemental, es ofrecer una descripcin lgicamente ms
precisa y completa de la estructura de esta disciplina matemtica.
Ello significa que, en tanto que para Hilbert la geometra elemental
se funda en gran parte en nuestra intuicin espacial, el examen
axiomtico formal proporciona un conocimiento de las propiedades lgicas de los hechos intuitivos fundamentales que estn en la
base de esta geometra, y en ese sentido, de la intuicin. El anlisis
axiomtico puede ser as visto como una reconstruccin racional o
conceptual, que por medio de la axiomatizacin proporciona un
sistema axiomtico formal cuyas propiedades lgicas son conocidas principalmente por medio del procedimiento de modelar o
reinterpretar, que per se supone el abandono de toda interpretacin
intuitiva fija. En breve, para analizar a la intuicin geomtrica debemos ir ms all de ella o abandonarla. El mtodo axiomtico
como un anlisis lgico de la intuicin no es entonces incompatible
con la idea, sino que ms bien la implica, de que diversos axiomas
cuya certeza intuitiva no es evidente pueden ser postulados. Sin
embargo, el modo en que Hilbert entiende explcitamente aqu el
objetivo del mtodo axiomtico hace que la interpretacin formalista estndar resulte inadecuada. Particularmente, la interpretacin
segn la cual la finalidad de un anlisis axiomtico es el estudio de
las consecuencias que pueden obtenerse deductivamente de un
conjunto de principios arbitrariamente elegidos, y sin ningn sentido
intrnseco, oculta casi por completo el inters y el provecho que
Hilbert vislumbra en este perodo en un abordaje axiomtico a la
geometra.
Por otra parte, que el examen axiomtico nos proporcione un
anlisis lgico de la intuicin, por ejemplo, que pueda mostrarnos
que el grupo de axiomas de orden, que expresan hechos bsicos
de nuestra intuicin (Hilbert 1899, p.437) est conformado por un
conjunto de axiomas independientes entre s, no significa de ningn modo que el sistema axiomtico propuesto sea una descripcin directa o inmediata de un determinado dominio intuitivo
dado:
57
En cierto modo hemos dado en este curso una teora de la geometra;

deseamos ahora hacer una observacin acerca de la aplicacin de esta
teora a la realidad. Las proposiciones geomtricas nunca son vlidas en la
naturaleza con completa exactitud, porque los axiomas nunca son satisfechos
[erfllt] por los objetos. Esta carencia en la correspondencia reside en la
esencia de toda teora, pues una teora, que se corresponda hasta en
detalle con la realidad, sera slo una descripcin exacta del objeto.
(Hilbert 1898b, p. 391)23
Las distintas interpretaciones que puedan darse del sistema

axiomtico formal slo pueden tener, segn Hilbert, un carcter
aproximativo. La geometra ya no puede ser concebida como una
descripcin del espacio fsico, lo que sin embargo significa para
Hilbert que la relacin entre geometra e intuicin debe ser repensada, no simplemente eliminada.
6. Consideraciones finales: la concepcin madura
El objetivo de este trabajo ha sido mostrar una serie de tesis que

componen la concepcin axiomtica temprana de la geometra de
Hilbert, principalmente presentadas en sus notas para un conjunto
de cursos sobre geometra a lo largo de la dcada de 1890, con el
objetivo de separarla o diferenciarla de una concepcin radicalmente formalista o modernista de las matemticas. Hemos visto
que la posicin de Hilbert experimenta una suerte de evolucin,
desde el primer curso de 1891, hasta el curso de 1898/99, antecedente inmediato de los Fundamentos de la geometra (Hilbert 1899).
En efecto, Hilbert comienza afirmando que la geometra es la ciencia que estudia las propiedades o formas de las cosas en el espacio,
y que por lo tanto est fundada en la intuicin y en la experiencia.
Los cursos posteriores exhiben, sin embargo, una concepcin axiomtica abstracta relativamente consolidada, en donde se afirma
que el anlisis axiomtico se ocupa nicamente de un esquema o
entramado de conceptos, cuya aplicacin o relacin con la realidad
se da por medio de interpretaciones, que sin embargo slo pueden
tener un carcter aproximativo. Esta concepcin axiomtica abs23. Vase tambin Hilbert 1898b, p. 401 y 1898a, p. 283.
58
E. N. GIOVANNINI
tracta, sin embargo, no quita para Hilbert que todava la geometra

siga manteniendo una vinculacin importante con la intuicin. No
slo sta es esencial para el establecimiento de los axiomas, sino
que incluso se afirma que, por medio del estudio axiomtico, todava podemos obtener un conocimiento de la estructura, o de las
propiedades lgicas, de esta suerte de intuicin que se halla detrs
nuestro conocimiento geomtrico, cuando la geometra es desarrollada de un modo ms bien impreciso e informal. Ahora bien, es
interesante notar que estas ltimas ideas, que podran resultar ms
bien inadecuadas para una concepcin axiomtica abstracta, son
repetidas por Hilbert prcticamente hasta el final de su produccin
cientfica.
En el semestre de verano de 1927, Hilbert dict su ltimo curso
sobre fundamentos de la geometra. La redaccin [Ausarbeitung]
del curso fue encargada a Arnold Schmidt, y luego fue completada
con anotaciones de Hilbert. Estas notas revisten un gran inters, en
tanto que en ellas se bas claramente la sptima edicin de los Fundamentos de la geometra, que no slo fue la ltima edicin en vida
de Hilbert, sino que adems fue la que introdujo los cambios ms
significativos respecto de la edicin original.24 En la introduccin
de estas notas, Hilbert se refiere al objetivo de un estudio axiomtico de la geometra en trminos muy similares a los que hemos
visto:
Aplicaremos el mtodo axiomtico a la ciencia natural ms completa, a
la geometra, en donde ste tambin se construy en primer lugar de
modo clsico. El problema es: cules son las condiciones necesarias e
independientes entre s, a las que debemos someter a un sistema de
cosas, para que a cada propiedad de estas cosas le corresponda un
hecho geomtrico e inversamente. De qu modo debemos disponerlas, para que estas cosas sean una imagen completa de la realidad geomtrica? (Hilbert 1927, p. 1).
24. En un interesante trabajo von Plato (1997) ha analizado cmo en las

sucesivas ediciones de los Fundamentos de la geometra Hilbert modifica la
formulacin de los axiomas, pasando de postulados de carcter ms bien
constructivo a axiomas existenciales. ste es un aspecto importante que
comnmente suele ser pasado por alto, ya que por lo general los axiomas
tal como fueron presentados originalmente en 1899 no suelen ser citados.
59
El problema central que se plantea el abordaje axiomtico a la

geometra es aqu exactamente igual que en 1894 y 1898. Asimismo,
en el reverso de la pgina Hilbert aade en lpiz la siguiente observacin:
Ahora bien, lo que no puede ser obtenido a travs del pensamiento
sino que slo proviene de la experiencia (experimento), son los axiomas de la geometra, i.e. los hechos que la intuicin constituye, al igual
tambin que en la fsica.
Esta investigacin y este conocimiento no slo tienen un valor primordial, sino que tambin sirven para asegurar la verdad.
No es fcil determinar qu es lo que Hilbert quiere significar

con asegurar la verdad. Sin embargo, lo que s es posible afirmar
con seguridad es que su idea de que un anlisis axiomtico de la
geometra constituye aunque quizs deba decirse, indirectamente un examen del contenido de un conjunto de axiomas fundados
en la intuicin, todava sigue operando:
La geometra es una ciencia muy expandida y ramificada y tambin

sus fundamentos pueden ser tratados de diversos modos. No quiero
dedicarme aqu ni a la geometra analtica ni a la sinttica, sino que
nuestro objetivo es ms bien un anlisis lgico de nuestra facultad de la
intuicin. () A partir del mencionado problema la relacin de este
curso con la geometra analtica y la sinttica queda determinada. La
geometra analtica parte de la introduccin del concepto de nmero en
la geometra, cuya justificacin habremos de demostrar primero aqu.
En la geometra sinttica se apela a la intuicin, es decir, se aceptan lo
ms posible las figuras de los fenmenos [Erscheinungsbilder], tal como
se ofrecen y se busca a partir de all deducir nuevos fenmenos. Por el
contrario nosotros evitaremos a la intuicin, porque aqu se trata de un
anlisis de la intuicin. (Hilbert 1927, p. 2).
Esta cita muestra claramente la continuidad de las tesis que,

como hemos visto, caracterizan a la concepcin temprana de la
geometra, con lo que podra denominarse su posicin madura.
Ahora bien, en mi opinin, lo que de estas afirmaciones puede
aprenderse es cul fue la posicin de Hilbert respecto de qu estilo
axiomtico en geometra resulta beneficioso, a la vez que cules
eran el inters y la utilidad que l vea en la prctica de tal mtodo. A pesar de la insistencia constante en el vnculo entre la intuiRevista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011) 35-65
60
E. N. GIOVANNINI
cin y la geometra, es evidente a partir de una rpida lectura de

sus trabajos, que la intuicin no juega un papel directo o inmediato en sus investigaciones geomtricas. Por el contrario, su anlisis
axiomtico es ms bien un anlisis lgico de los axiomas, que por
otra parte no pueden ser tomados como verdades inmediatas acerca de un dominio fijo determinado. Esta idea fue, segn Bernays,
la razn del enorme xito de la monografa de Hilbert: la estricta
separacin entre la esfera espacial-intuitiva y la esfera matemticalgica, y con ella la separacin respecto de los fundamentos gnoseolgicos de la geometra.25 Sin embargo, esta separacin estricta
entre la esfera intuitiva y la esfera matemtica, y consecuentemente, la nueva forma de considerar a los axiomas que sta trae aparejada, puede llevar a pensar que una suerte de arbitrariedad es
introducida en la geometra. En tanto que Hilbert abandona la
concepcin eucldea clsica, en su teora cualquier principio arbitrariamente escogido puede ser postulado como un axioma, con la
condicin de que pueda probarse que el sistema axiomtico resultante es consistente. Ms an, si los trminos bsicos como punto, lnea, plano no poseen ms su referencia fija intuitiva,
entonces deben ser ahora considerados como meros signos o smbolos vacos, sin significado. En definitiva, es esta aparente arbitrariedad lo que llevara a pensar que la idea central detrs de la
teora axiomtica formal de Hilbert es que la matemtica podra
ser entendida como un juego, cuyas piezas son los signos grficos
sin significado, y cuyas relaciones estn fijadas por los axiomas o
reglas para el uso de los signos.26
En efecto, sta no solo ha sido una lectura relativamente habitual de la imagen de la geometra presentada por Hilbert en 1899,
sino que adems fue la interpretacin ms inmediata que se hizo
de su posicin. Basta slo con ver algunas de las reseas que aparecieron tempranamente, por ejemplo, la de Poincar (Cf. Poincar
1903). Pero quizs ms paradigmticamente aun, sta fue la lectura
impulsada por Frege, no slo en su clebre controversia epistolar
con Hilbert, sino principalmente en la serie de artculos que sta
25. Vase Bernays 1922, p. 192.
26. Entre otros, esta interpretacin clsica puede encontrarse en Dieudonn 1971, vocero del grupo de matemticos franceses Bourbaki.
61
origin (Frege 1903 y 1906). Frege equipara all a la posicin de Hilbert con la de un formalista radical, al estilo de la aritmtica de
Thomae y Heine, segn los cuales toda teora formal matemtica
en principio no es ms que un juego vaco de signos, carente de
significado (Frege 1906, p. 317). Ms an, en su crtica a la nueva
nocin de axioma, Frege advierte que un axioma hilbertiano o
moderno constituye una proposicin sin sentido, al igual que
una construccin arbitraria de palabras como: Todo anej bacea,
por lo menos dos helas (Frege 1906, p. 284). Sin embargo, y ms
all de las declaraciones que hemos visto, es interesante mostrar
que el mismo Hilbert se opuso explcitamente y de inmediato a este
tipo de interpretacin de su concepcin axiomtica. En las notas
para un curso titulado Los principios lgicos del pensamiento matemtico (1905), Hilbert anticipa y critica esta lectura de Frege. El pasaje
es ms bien largo, pero merece ser citado in extenso:
Cuando uno se pregunta por el lugar, dentro de todo el sistema, de un

teorema conocido desde antao como el de la igualdad de los ngulos
de la base de un tringulo, entonces naturalmente se debe apartar de
las creencias tradicionales y de la intuicin, y aplicar solamente las consecuencias lgicas de los axiomas presupuestos. Para asegurarse de
ello, a menudo se ha hecho la sugerencia de evitar los nombres usuales
de las cosas, ya que stos pueden desviarnos, a travs de las numerosas
asociaciones con los hechos de la intuicin, de la rigurosidad lgica. Se
ha sugerido as introducir en el sistema axiomtico nuevos nombres
para puntos, lneas, planos, etc.; nombres que recuerden solamente
lo que ha sido establecido en los axiomas. Se ha propuesto incluso que
palabras como igual, mayor, menor, sean reemplazadas por formaciones arbitrarias de palabras, como a-rig, b-rig, a-rung, be-rung.
Ello es de hecho un buen medio pedaggico para mostrar que un sistema axiomtico slo se ocupa de las propiedades establecidas en los
axiomas y de nada ms. Sin embargo, en la prctica este procedimiento
no es ventajoso, e incluso no est realmente justificado. En efecto, uno
siempre debe guiarse por la intuicin al formular un sistema axiomtico y uno siempre tiene a la intuicin como un objetivo [Zielpunkt]. Por
lo tanto, no es defecto alguno si los nombres nos recuerdan siempre, e
incluso hacen ms fcil recordar, el contenido de los axiomas, puesto
que se puede evitar fcilmente la intromisin de la intuicin en las
investigaciones lgicas, al menos con un poco de cuidado y prctica.
(Hilbert 1905a, pp. 87-8).
62
E. N. GIOVANNINI
Quizs esta importancia atribuida a la intuicin permita mostrar que la posicin de Hilbert no es tan modernista o formalista
como la de otros partidarios de una concepcin axiomtica abstracta de la matemtica, como por ejemplo sus contemporneos Peano
y Hausdorff. Ms an, en base a estas afirmaciones es posible ver
cmo, en el caso de la interpretacin de su concepcin de la geometra, a menudo se ha incurrido en un error similar al de la interpretacin de su concepcin de la matemtica en general. Es decir, tal
como es ahora ampliamente reconocido, resulta claramente errneo identificar al programa formalista desarrollado por Hilbert
durante la dcada de 1920, y principalmente en respuesta a las
amenazas planteadas por el intuicionismo de Brouwer, con su filosofa o su concepcin general de la matemtica. Del mismo modo,
parece igualmente injustificado reducir a la concepcin filosfica
temprana de la geometra de Hilbert con su presentacin axiomtica formal de 1899, o ms precisamente, con la aparente motivacin
formalista que de all parece seguirse. Hasta cierto punto, dicha
interpretacin resulta comprensible, en tanto la totalidad de las
ideas que hemos analizado fueron presentadas por Hilbert en escritos no publicados. Sin embargo, a la luz de estas fuentes, se vuelve
evidente que su concepcin axiomtica de la geometra es ms
compleja que lo que la persistente imagen estndar de su posicin
nos ha enseado.
BIBLIOGRAFA
BERNAYS, P. (1922), Hilberts Significance for the Philosophy of

Mathematics, en: Mancosu, P. (ed.), From Brouwer to Hilbert.
The Debate on the Foundations of Mathematics in the 1920s, New
York, Oxford University Press, pp. 189-197, 1998.
BLUMENTHAL, O. (1922), David Hilbert, Die Naturwissenschaften,
4:67-72
CORRY, L. (2004), David Hilbert and the Axiomatization of Physics
(1898-1918): From Grundlagen der Geometrie to Grundlagen der
Physik, Dordrecht, Kluwer Academic Publishers.
DEDEKIND, R. (1888), Qu son y para qu sirven los nmeros?,
Madrid, Alianza Editorial, 1998. Trad. Jos Ferreirs.
DEMOPOULOS, W. (1994), Frege, Hilbert, and the Conceptual Struc35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)
63
ture of Model Theory, History and Philosophy of Logic, 15:211225.

DIEUDONN, J. (1971), Modern Axiomatic Method and the Foundations of Mathematics, en: Le Lionnais, F. (ed.), Great Currents of
Mathematical Thought, New York, Dover Publications, 2 edicin, pp. 251-266.
FERREIRS, J. (2009), Hilbert, Logicism, and Mathematical Existence, Synthese, 170:33-70.
FREGE, G. (1903), ber die Grundlagen der Geometrie, Jahresbericht der Deutschen Mathematiker-Vereinigung, 12:319-324; 368375.
FREGE, G. (1906), ber die Grundlagen der Geometrie, Jahresbericht der Deutschen Mathematiker-Vereinigung, 15:293-309; 377404; 423-430.
FREUDENTHAL, H. (1957), Zur Geschichte der Grundlagen der
Geometrie. Zugleich einer Besprechung der 8. Auflage von
Hilberts Grundlagen der Geometrie, Nieuw Archief voor
Wiskunde, 4:105-142.
HALLETT, M. (1994), Hilberts Axiomatic Method and the Laws of
Thought, en: George, A. (ed.), Mathematics and Mind, Oxford,
Oxford University Press, pp. 158-200.
HALLETT, M. (2008), Reflections on the Purity of Method in
Hilberts Grundlagen der Geometrie, en: Mancosu, P. (ed.), The
Philosophy of Mathematical Practice, New York, Oxford University Press, pp. 198-255.
HERZT, H. (1894), Die Prinzipien der Mechanik, Leipzig, Arthur Meiner.
HILBERT, D. (1891a), Projektive Geometrie; (MS. Vorlesung, SS
1891), en: Mayer y Hallett (2004).
HILBERT, D. (1891b), ber die stetige Abbildung einer Linie auf ein
Flchenstck, Mathematische Annalen, 38:459-460.
HILBERT, D. (1894), Die Grundlagen der Geometrie; (MS. Vorlesung, WS 1893-4), en: Mayer y Hallett (2004).
HILBERT, D. (1897), Die Theorie der algebraischen Zahlkrper,
Jahresbericht der Deutschen Mathematiker-Vereinigung, 4: 175-546.
(Reimpreso en Hilbert 1932, vol. 1, pp. 63-363)
HILBERT, D. (1898a), Grundlagen der Euklidischen Geometrie,
(MS. Vorlesung, WS 1898-9), en: Mayer y Hallett (2004).
HILBERT, D. (1898b), Elemente der Euklidischen Geometrie, en:
Mayer y Hallett (2004).
64
E. N. GIOVANNINI
HILBERT, D. (1898c), Mechanik, (MS. Vorlesung, WS 1898/9),

Niederschsische Staats- und Universittsbibliothek Gttingen,
Handschriftenabteilung, Cod. Ms. D. Hilbert 553.
HILBERT, D. (1899), Grundlagen der Geometrie. Festschrift zur Feier der
Enthllung des Gauss-Weber Denkmals in Gttingen, en: Majer y
Hallett (2004).
HILBERT, D. (1900a), Mathematische Probleme, en: Hilbert (1935),
pp. 290-329.
HILBERT, D. (1900b), ber den Zahlbegriff, Jahresbericht der
Deutschen Mathematischen Vereinigung, 8: 180-184.
HILBERT, D. (1905a), Logische Principien des mathematischen Denkens;
(MS. Vorlesung, SS 1905). Ausgearbeitet von E. Hellinger.
Georg-August-Universitt Gttingen, Mathematisches Institut,
Lesesaal.
HILBERT, D. (1905b), Logische Principien des mathematischen Denkens;
(MS. Vorlesung, SS 1905). Ausgearbeitet von M. Born.
Niederschsische Staats und Universittsbibliothek Gttingen,
Handschriftenabteilung, Cod. Ms. D. Hilbert 558a.
HILBERT, D. (1905c), On the Foundations of Logic and Arithmetic,
The Monist, 15:338-352.
HILBERT, D. (1918), Axiomatisches Denken, Mathematische
Annalen, 78:405-415.
HILBERT, D. (1927), Grundlagen der Geometrie; (MS. Vorlesung, SS
1927). Ausgearbeitet von A. Schmidt. Georg-August-Universitt
Gttingen, Mathematisches Institut, Lesesaal.
HILBERT, D. (1935), Gesammelte Abhandlungen, vol. 3, Berlin,
Springer Verlag.
MAJER, U. Y HALLETT, M. (EDS.) (2004), David Hilberts Lectures on the
Foundations of Geometry, 1891-1902, Berlin, Springer Verlag.
PASCH, M. (1882), Vorlesungen ber neuere Geometrie, Leipzig,
Teubner.
POINCAR, H. (1903), Review of Hilberts Foundation of Geometry, Bulletin of the American Mathematical Society, 2:1-23.
REYE, T. (1886), Die Geometrie der Lage, Leipzig, Baumgrtner, 3 edicin.
ROWE, D. (2000), The Calm before the Storm: Hilberts Early View
of the Foundations, en: Hendriks, V. et al. (eds.), Proof Theory.
History and Philosophical Significance, Dordrecht, Kluwer Academic Publishers, pp. 55-93.
65
von PLATO, J. (1997), Formalization of Hilberts Geometry of Incidence and Parallelism, Synthese, 110:127-141.
von STAUDT, F. (1847), Geometrie der Lage, Nrnberg, Verlag von
Bauer und Raspe.
TOEPELL, M. (1986), ber die Entstehung von David Hilberts Grundlagen der Geometrie, Gttingen, Vandenhoeck & Ruprecht.
WEYL, H. (1944), David Hilbert and his Mathematical Work, Bulletin of Symbolic Logic, 50:612-654.
WIENER, H. (1891), ber Grundlagen und Aufbau der Geometrie,
Jahresbericht der Deutschen Mathematikern-Vereinigung, 1:45-48.
Recibido: 12-2010; aceptado: 03-2011

Fisica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Fisica

Uploaded by

Copyright:

Available Formats

REVUE

Direction : Michel Meyer

c/o Universit Libre de Bruxelles, C.P. 188

LE THTRE, DE LA RENAISSANCE AUJOURDHUI. UNE APPROCHE PHILOSOPHIQUE

Prochains fascicules / Forthcoming

Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA

ABSTRACT: The paper discusses Hilberts early axiomatic approach to

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

Ahora bien, esta presentacin de la geometra como un sistema

Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011) 35-65

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

una construccin puramente geomtrica que no requiere de la

La geometra es la ciencia de las propiedades del espacio, y se diferencia

Sin embargo, en la geometra sucede algo completamente distinto:

No puedo nunca fundar las propiedades del espacio en la mera reflexin,

Con esta diferencia trazada entre aritmtica y geometra Hilbert

Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011) 35-65

sobre todo entre gemetras alemanes. Hilbert sostiene as, en esta

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

su valor es ms bien pedaggico y esttico. La geometra de la

Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011) 35-65

35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

5. Ms detalles sobre la conferencia de Wiener pueden verse en Toepell

3. El primer acercamiento axiomtico

El curso de 1894 titulado Fundamentos de la geometra es de

Hilbert repite as la definicin tradicional de la geometra como

7. Sobre este punto puede verse la introduccin del captulo 2 de Majer

35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

La identificacin de la geometra con una ciencia natural hace

8. Acerca de la influencia de las discusiones entre fsicos alemanes

Con esta imagen de la base epistemolgica de la geometra de

Una serie de aclaraciones es aqu necesaria. En primer lugar, es

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

gaciones parece indicar es que, ya en este primer acercamiento,

12. Hilbert equipara el significado del trmino unidad [Einheit] al de

35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

el propio Hilbert (Hilbert 1898a), y en ese sentido, similares a los

Claramente se puede reconocer aqu lo que ser ms tarde el

15. Hilbert 1898b, p. 302.

cripcin completa de los hechos geomtricos, Hilbert tiene en mente

La posicin de Hilbert parece ser que un estudio axiomtico

35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

tura i.e. las propiedades lgicas de los axiomas y su relacin con

Es precisamente el grado de avance alcanzado por la geometra

Cuanto ms se acerca una ciencia natural a su objetivo: la deduccin

tigar estos mismos axiomas con precisin, indagar sus relaciones

Siguiendo las afirmaciones de Hilbert, una investigacin exacta

35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN

5. Un anlisis lgico de la intuicin

En la introduccin de las notas que estamos analizando, Hilbert

A partir de lo dicho queda en claro la relacin de este curso con aquellos

En el prrafo siguiente Hilbert asocia a esta intuicin propia de

En la seccin II de (Hilbert 1898a) y (Hilbert 1898b), Hilbert

20. Los axiomas lineales de orden presentados en (Hilbert 1898a, p.

3. Dados tres puntos cualesquiera de una lnea, siempre hay uno y

35-65 Revista Latinoamericana de Filosofa, Vol. XXXVII N 1 (Otoo 2011)

INTUICIN Y MTODO AXIOMTICO EN LA CONCEPCIN