Documentos de Académico
Documentos de Profesional
Documentos de Cultura
(Completitud y Continuidad en Fundamentos de La Geometria de Hilbert, Acerca Del Vollstandigkeitsaxiom - Giovannini Eduardo) PDF
(Completitud y Continuidad en Fundamentos de La Geometria de Hilbert, Acerca Del Vollstandigkeitsaxiom - Giovannini Eduardo) PDF
Eduardo N. GIOVANNINI
Recibido: 4.1.2012
Versin Final: 8.3.2012
ABSTRACT: The paper reports and analyzes the vicissitudes around Hilberts inclusion of his famous
axiom of completeness, into his axiomatic system for Euclidean geometry. This task is
undertaken on the basis of his unpublished notes for lecture courses, corresponding to
the period 18941905. It is argued that this historical and conceptual analysis not only
sheds new light on how Hilbert conceived originally the nature of his geometrical axiom
of completeness, but also it allows to clarify some misunderstandings regarding this axiom
and the metalogical property of completeness of an axiomatic system, as it was understood
by Hilbert in this initial stage.
Keywords: Hilbert, Euclidean geometry, axiom of completeness, continuity axioms, axiomatic met-
hod, philosophy of geometry
En primer lugar, quisiera agradecer expresamente a los dos rbitros annimos de Theo-
ria, cuyas observaciones y sugerencias me permitieron introducir importantes mejoras
y aclaraciones en la versin original del artculo. Versiones preliminares de este trabajo
fueron presentadas en el 16th Brazilian Logic Conference (Petrpolis) y en el Colloqium
on Mathematical Logic (ILLCAmsterdam). Agradezco a los participantes de estas sec-
ciones por las crticas realizadas. Deseara adems expresar mi agradecimiento a Alejan-
dro Cassini, Ricardo Toledano y Jorge Roetti, por sus comentarios a versiones previas
de este escrito. Finalmente agradezco a la Niederschsische Staats und Universittsbi-
bliothek Gttingen por el permiso para citar los manuscritos de Hilbert; especialmente
al Dr. Helmut Rohlng, de la Handschriftenabteilung.
1. Introduccin
1
En adelante llamaremos Festschrift a la primera edicin de Fundamentos de la geometra
Hilbert (1899).
2
Sobre el carcter de estas notas manuscritas vanse Hallett y Majer (2004) y Corry
(2004).
2. Completitud y continuidad
A A1 , A1 A2 , A3 A4 , . . .
3
Por cierto, como se ver a continuacin, si a los axiomas IIII (incidencia, orden y
congruencia) se le agrega el principio de Dedekind o algn axioma equivalente
entonces el axioma de Arqumedes puede ser demostrado como un teorema.
4
Un cuerpo K se llama pitagrico si es ordenado y si, para cada elemento a K, la raz
cuadrada 1 + a2 existe en K.
presenta un nmero que surge de estas cinco operaciones.5 (Hilbert 1899, p. 454)
En lugar de apelar al sistema de los nmeros reales, Hilbert decidi en-
tonces trabajar en 1899 con una realizacin aritmtica ms pequea como el
cuerpo , para mostrar la independencia y la consistencia de sus axiomas. Sin
embargo, como veremos a continuacin, tanto en trabajos publicados como en
notas para clases anteriores al Festschrift, Hilbert menciona e incluso hace uso
de los principios de continuidad de Dedekind y Cantor. En mi opinin, ello
sugiere que, independientemente de la explicacin antes aludida, existen otras
razones detrs de la resolucin de Hilbert de esperar hasta que un axioma de
las caractersticas del axioma de completitud est disponible, para incorporarlo
como segundo axioma de continuidad. Ms an, considero que intentar exhi-
bir estas razones puede contribuir a ganar claridad respecto de cmo Hilbert
apreci la naturaleza del axioma de completitud, a menudo ledo en una clave
demasiado modeloterica, y por ello, anacronista.6
5
En breve, lo que se exige es queel cuerpo sea cerrado bajo las operaciones de +, ,
, y la quinta operacin de 1 + 2 .
6
La perspectiva modelo-terica abierta por los trabajos de Hilbert en geometra, como as
tambin algunas limitaciones de esta interpretacin, han sido analizadas en Demopoulos
(1994).
7
Hablar del axioma de completitud como un axioma de segundo orden es sin dudas anacro-
nista, puesto que en esta poca no exista una distincin conceptual clara entre lgica
de primer y segundo orden.
8
En la sptima edicin de 1930, Hilbert presenta una nueva versin del axioma de com-
pletitud:
Axioma de completitud lineal: una extensin del sistema de puntos sobre una
lnea con sus relaciones de orden y congruencia, que preservara las relaciones exis-
tentes entre los elementos originales as como tambin las propiedades fundamentales
del orden y congruencia lineal que se siguen de los axiomas IIII, y del axioma V.1,
es imposible. (Hilbert 1930, p. 30)
La nueva versin del axioma de completitud slo exige que no sea posible aadir nuevos
puntos sobre la lnea y mantener la validez de los axiomas que describen el orden
y congruencia lineal. Que tampoco puedan ser aadidos, sin generar contradicciones,
nuevas lneas y planos, es una consecuencia de la completitud lineal. La versin original
del axioma de completitud se demuestra entonces como un teorema de completitud.
9
Vase adems Hilbert (1903, p. 17).
10
Bsicamente, Hahn mostr cmo era posible generalizar la condicin de completitud im-
puesta por el axioma de Hilbert, de manera que no se necesite presuponer la validez del
axioma de Arqumedes (Cf. Hahn 1907, 3). Para un estudio introductorio del traba-
jo de Hahn y de sus consecuencias para las investigaciones de Hilbert, vanse Ehrlich
(1995, 1997). En (Ehrlich 1997) puede encontrarse un anlisis del axioma (aritmtico)
de completitud y sus relaciones lgicas con otros principios de continuidad, a la luz de
desarrollos matemticos ms generales.
11
Hilbert repite esta observacin en la segunda edicin alemana Hilbert (Cf. 1903, p. 17),
agregando adems que el axioma de completitud permite tambin demostrar que para
cada cortadura de Dedekind existe un elemento correspondiente en el sistema.
12
Axioma del supremo: Todo conjunto no vaco y acotado superiormente de nmeros reales
posee un supremo.
13
Para una discusin histrica sobre el teorema de BolzanoWeierstrass vanse Ferreirs
(2007) y Moore (2000).
14
Esta controversia fue iniciada, principalmente, por una serie de artculos de Klein (1871,
1873, 1874), en donde el autor adverta que a los mtodos desarrollados por von Staudt
para introducir coordenadas en el plano y en el espacio proyectivo, se les deba aadir
un axioma de continuidad (puntualmente, el axioma de CantorDedekind). Luego, la
posicin de Klein atrajo un gran nmero de simpatizantes, aunque por supuesto hu-
bo excepciones importantes. Un claro ejemplo fue Pasch (1882), quien adems ejerci
una inuencia destacada en las investigaciones axiomticas de Hilbert. Asimismo, Toe-
pell (1986) ha mostrado que estas discusiones respecto del papel de las condiciones
de continuidad en la coordenatizacin de la geometra eucldea y proyectiva aliment
objetivos que luego sern centrales para sus trabajos posteriores: por un lado,
investigar qu axiomas son responsables de la estructura de un cuerpo ordena-
do sobre la lnea; en segundo lugar, y relacionado con lo anterior, determinar
qu axiomas son necesarios para conseguir una completa coordenatizacin de
los puntos de una lnea con los nmeros reales (Hilbert 1894). En cuanto a
este ltimo objetivo, el camino elegido por Hilbert fue utilizar un axioma de
continuidad que postule la existencia de un punto lmite, o ms precisamente
del supremo, para un conjunto innito y acotado de puntos de la lnea (Hil-
bert 1894, p. 92); en otras palabras, un axioma prcticamente equivalente al
teorema de BolzanoWeierstrass sobre la existencia de puntos lmites. Hilbert
recurre nuevamente a este axioma de continuidad en una carta a F. Klein (Toe-
pell 1986, p. 105), fechada el 14 de agosto de 1894 y publicada ms tarde en
los Mathematische Annalen (Hilbert 1895). El axioma es el siguiente:
Axioma de continuidad: Si A1, A2, A3, es una sucesin innita de puntos de
una recta a y B es otro punto de a, de tal clase que en general Ai se encuentra
entre Ah y B, siempre que el ndice h sea menor que i, entonces existe un punto C
con la siguiente propiedad: todos los puntos de la sucesin innita A2, A3, A4,...se
encuentran entre A1 y C, y si C es otro punto, para el que ello tambin vale,
entonces C se encuentra entre A1 y C.
Este axioma arma de modo directo la existencia de un punto lmite para
una sucesin innita y acotada de puntos sobre una lnea. Ms precisamente,
por medio de la ltima condicin (Si C es otro punto, para el que ello tambin
vale, entonces C se encuentra entre A1 y C ), se identica al punto lmite C
con el supremo. Es por ello que quizs podamos referirnos a l aqu como axio-
ma de continuidad de BolzanoDedekind. Asimismo, es importante resaltar
que por medio de este axioma, Hilbert impone una condicin muy fuerte de
continuidad, a saber: el axioma de continuidad de BolzanoDedekind no slo
garantiza por s mismo la continuidad de la recta, sino que adems de l se
puede obtener el axioma de Arqumedes como una consecuencia.
Ahora bien, Hilbert no se limit a adoptar esta alternativa en sus primeros
abordajes axiomticos, sino que incluso recurri a este axioma de continuidad
en su curso del semestre de invierno de 1898/99, Elemente der euklidischen
Geometrie (Hilbert 1898/1899a), texto en el que se apoya ampliamente la
primera edicin de Fundamentos de la geometra (Hilbert 1898/1899a, p. 377).
Hilbert reconoce adems all las coincidencias de su axioma con el principio de
continuidad de Dedekind:
En el modo de hablar de la teora de conjuntos, la proposicin arma la existencia
de un punto lmite en un conjunto innito de puntos. Es completamente innecesa-
rio sealar aqu la analoga de esta proposicin con la teora de las cortaduras de
Dedekind. (Hilbert 1898/1899a, p. 378)
En realidad, el axioma de Hilbert no slo arma la existencia de un pun-
to lmite sino adems la existencia del supremo; por lo tanto, es equivalente
15
Vase Hilbert (1899, 12). Sobre la importancia de Hilbert y sus discpulos en el desa-
rrollo de sistemas geomtricos y aritmticos noarquimedianos vanse Cerroni (2007) y
Ehrlich (2006).
16
Vase Hilbert (1899, 14 y cap. V).
17
Vase (Hilbert 1898/1899a, pp. 340343) y (Hilbert 1902b, pp. 566568).
18
Vase Hilbert (1902b, pp. 551556). Estos ltimos dos puntos son examinados en Hallett
(2008).
por Hilbert.
En suma, de lo anterior se colige que el objetivo del axioma (geomtrico)
de completitud era asegurar la completa coordenatizacin del sistema de axio-
mas para la geometra elemental con el cuerpo de los reales, sin apelar a un
postulado de continuidad tan fuerte como el axioma de continuidad de Bolzano
Dedekind. En otras palabras, el axioma de completitud, en tanto complemento
del axioma de Arqumedes, permita conseguir los mismos efectos que aquel
axioma de continuidad ms fuerte, sin interferir en cambio en las investiga-
ciones que Hilbert consider ms fundamentales en su libro. Pero antes de
adelantar una conclusin, hagamos una breve referencia a la otra alternativa
disponible para el axioma de completitud.
19
Cf. Cantor (1874, p. 128). En realidad, este axioma era conocido en Alemania como
axioma de CantorDedekind. Por ejemplo, es posible encontrar ya esta designacin en
un artculo de F. Klein (1874, p. 347), quien como sabemos tuvo una estrecha relacin
con Hilbert. Agradezco a un evaluador de Theoria por esta observacin.
20
Cantor utiliz el principio de intervalos encajados, aunque implcitamente, en su conocido
artculo de 1874, donde prueba por primera vez que el conjunto de los nmeros reales
es nonumerable, sobre la base de un argumento diferente a la diagonalizacin Cantor
(Cf. 1874). Sin embargo, Cantor reconoce tambin que este axioma no slo fue utilizado
previamente por Bolzano y Weierstrass, sino que adems su esencia puede ser rastreada
hasta los trabajos sobre teora de nmeros de Lagrange, Legendre, Cauchy y Dirichlet
Cantor (Cf. 1879/84, p. 212). Es por ello que el axioma de intervalos encajados tambin
es llamado principio de BolzanoWeierstrass (Cf. Ferreirs 2007, p. 139141).
21
Un interesante anlisis del axioma de Cantor, en el contexto de la geometra elemental, se
encuentra en (Baldus 1928b, 1930) y (Schmidt 1931). Ms precisamente, estos autores
analizan distintas formulaciones del axioma. Brevemente, a la versin que hemos citado
de Enriques (1907), que impone la condicin de que la longitud de los segmentos AA ,
BB , CC , . . . tienda a cero, la denominan axioma de Cantor mtrico. Por el contrario, si
se suprime este requerimiento, entonces se llega a una versin ms general del axioma,
que arma que existe un punto en el interior de todos los encajes de segmentos, no
slo en aquellos cuya longitud tiende a cero. A esta versin la llaman axioma de Cantor
topolgico. Sin embargo, ambos autores prueban que en toda geometra arquimediana es
posible evitar la condicin presente en el axioma mtrico, puesto que ambas versiones del
axioma de Cantor son equivalentes si se asume previamente el axioma de Arqumedes.
Hertz (1934) demuestra, adems, que del axioma de Cantor topolgico tampoco se sigue
el axioma de Arqumedes como una consecuencia.
Finalmente, cabe argumentar que los supuestos sealados por Hilbert no parecen ser su-
Una ltima cuestin que quisiera abordar es la relacin entre el axioma de com-
pletitud en su versin geomtrica y la nocin categoricidad. Como habr
podido notarse, existe una fuerte conexin entre el axioma de completitud y la
categoricidad del sistema axiomtico. En efecto, en el sistema de axiomas para
los nmeros reales, la funcin del axioma de completitud es garantizar que cual-
quier posible realizacin o modelo de los axiomas sea isomorfa con el sistema
de los nmeros reales. Ms precisamente, mientras que los primeros diecisiete
axiomas de (Hilbert 1900b) denen un cuerpo arquimediano ordenado (Q, ,
R), cuando se introduce el axioma de completitud el sistema axiomtico carac-
teriza en cambio un cuerpo arquimediano ordenado maximal o completo, i.e.,
el sistema de los nmeros reales. As, Hilbert maniesta explcitamente que la
consecuencia de la introduccin del axioma de completitud en el sistema de
axiomas para los nmeros reales es la categoricidad: En primer lugar, qui-
siera ahora hacer plausible que el sistema de cosas denido a travs de los 18
axiomas es idntico con el sistema de todos los nmeros reales (Hilbert 1905a,
p. 18).
Del mismo modo, la categoricidad es tambin un resultado de la introduc-
cin del axioma de completitud en el sistema de axiomas para la geometra
eucldea. Hilbert reconoce esta consecuencia visiblemente, como resulta elo-
cuente en el siguiente pasaje:
Como puede verse, existe un nmero innito de geometras que satisfacen los axiomas
IIV, V,1. Sin embargo, slo hay una, a saber la geometra cartesiana, en la que el
axioma de completitud tambin es vlido al mismo tiempo. (Hilbert 1903, p. 20)22
cin conceptual entre sintaxis y semntica se encuentra recin en Hilbert (1917); sobre
esta cuestin vase Zach (1999). Por otro lado, es dable mencionar que previamente
la categoricidad del sistema axiomtico para los nmeros naturales fue un tema cen-
tral en Dedekind (1888). En efecto, Dedekind prueba all en detalle que dos modelos
cualesquiera de sus axiomas son isomorfos (Cf. Dedekind 1888, Teoremas 132, 133).
Sobre Dedekind vase Ferreirs (2007, 2009). Un anlisis histrico de las nociones de
completitud y categoricidad puede verse en Awodey y Reck (2002).
23
Esta sustitucin es necesaria dado que, en su versin original, el axioma de completitud
supone la validez del axioma de las paralelas. Si por el contrario se utiliza el axioma de
completitud lineal, entonces dicho requerimiento puede ser obviado. ste fue precisa-
mente uno de los principales aportes del trabajo de Baldus: mostrar que el axioma de
completitud no mantiene esencialmente ninguna relacin con el axioma de las paralelas
(Cf. Baldus 1928a).
6. Consideraciones nales
24
Este modo de entender la funcin del axioma de completitud permite lograr una simpli-
cacin muy importante en su formulacin. Vase, por ejemplo, Bernays (1955). Por
otro lado, en esta misma lnea y enfatizando la inuencia de Dedekind sobre Hilbert en
este perodo temprano, Ferreirs presenta una interesante formalizacin del axioma de
completitud en la que se recurre a un lenguaje lgico que incluye la teora de conjun-
tos, y que en ese sentido es ms prximo al contexto histrico de Dedekind y Hilbert
(Cf. Ferreirs 2009, p. 48).
25
Quizs deba agregarse que, ms all de esta funcin determinante que desempea el axio-
ma de las paralelas para conseguir la categoricidad del sistema axiomtico de Hilbert
para la geometra eucldea, el axioma de completitud cumple tambin un papel impor-
tante. En efecto, el axioma de completitud es el nico axioma del sistema que requiere
de un lenguaje de segundo orden para ser formalizado. Luego, independientemente de
cul sea el lugar que ocupe dentro del sistema axiomtico, el axioma de completitud
hace posible la categoricidad, puesto que si el sistema de Hilbert fuera enteramente
formalizable en un lenguaje de primer orden, entonces por el teorema de Lwenheim
Skolem (1915/1919) se sigue que no podra ser categrico. Obviamente, Hilbert no poda
conocer estos resultados en una etapa inicial, aunque sera interesante indagar cul fue,
si es que existi, su reaccin en un perodo posterior.
26
Dadas dos circunferencias , , si contiene al menos un punto dentro de , y
contiene al menos un punto fuera de , entonces y se encontrn (exactamente en
dos puntos).
27
Una crtica similar es que, si no se presupone la propiedad de interseccin de dos circun-
ferencias, y consecuentemente, de interseccin de lneas y circunferencias, entonces no
es posible probar que el crculo es una gura cerrada. Hilbert reconoce este problema
en Hilbert (1898/1899a, p. 337).
28
Hilbert ofrece esta caracterizacin de la propiedad de completitud de un sistema axiom-
tico en: Hilbert (1894, pp. 71-72), Hilbert (1899, p. 1), Hilbert (1900b, p. 181) y Hilbert
(1905a, p. 12). Esta nocin (informal) de completitud relativa ha sido ya advertida en
la literatura, entre otros, por Awodey y Reck (2002) y Corry (2004).
29
Vase Sommer (1900, p. 291). Puesto que para garantizar la propiedad de interseccin de
dos crculos basta con que el cuerpo coordinado sea eucldeo, la continuidad completa del
espacio no es indispensable, sino que es suciente con aadir al sistema axiomtico un
axioma que postule precisamente dicha propiedad. Esta va es presentada, por ejemplo,
por Hartshorne (2000). Hallett (2008, p. 247) seala sin embargo que aadir la propiedad
de interseccin de dos circunferencias como un axioma para asegurar la propiedad
eucldea parecera ser ms bien una solucin ad hoc.
30
El primero en observar esta dicultad fue Hahn (1907, 3).
Baldus (1928a).31
Ante estas crticas, Hilbert opt por no realizar comentario alguno y conser-
var el axioma de completitud dentro de su sistema de axiomas para la geometra
eucldea elemental. Quizs ello sea un claro indicio de que, al igual que como
fuera posteriormente recibido, Hilbert vislumbr en el axioma de completitud
una de sus contribuciones ms originales a la axiomtica moderna.
REFERENCIAS
Awodey, Steve y Reck, Erich. 2002. Completeness and Categoricity. Part I: Nineteenth
Century Axiomatics to Twentieth-Century Metalogic. History and Philosophy of Logic 23:
130.
Baldus, Richard. 1928a. Zur Axiomatik der Geometrie I. ber das archimedische und das
cantorsche Axiom. Mathematische Annalen 100: 321333.
Baldus, Richard. 1928b. Zur Axiomatik der Geometrie II. Vereinfachungen des archime-
dischen und cantorschen Axioms. Atti del Congresso Internazionale die Mathematici,
Bologna 310 Septembre 1928 4: 271275.
Baldus, Richard. 1930. Zur Axiomatik der Geometrie III. ber das archimedische und
das cantorsche Axiom. Sitzungsberichte der Heidelberger Akademie der Wissenschaften,
Mathematisch-naturwissenschaftliche Klasse 5: 312.
Bernays, Paul. 1935. Hilberts Untersuchungen ber die Grundlagen der Arithmetik. En David
Hilbert gesammelte Abhandlungen, volumen 3, 196216. Berlin: Springer.
Bernays, Paul. 1955. Betrachtungen ber das Vollstndigkeitsaxiom und verwandte Axiome.
Mathematische Zeitschrift 63: 219229.
Boniface, Jacqueline. 2002. Les constructions des nombres rels dans le mouvement
darithmtisation de lanalyse. Paris: Ellipses.
Cantor, Georg. 1872. ber die Ausdehnung eines Satzes aus der Theorie der trigonometris-
chen Reihe. Mathematische Annalen 5: 123-132.
Cantor, Georg. 1872. ber eine Eingeschaft des Inbegries aller reellen algebraischen Zahlen.
Jahresbericht der Deutschen MathematikerVereinigung 77: 258262.
Cantor, Georg. 1879/84. ber unedliche, lineare Punktmannigfaltigkeiten. En Gesammelte
Abhandlungen, ed. E. Zermelo, 1932. 139244. Berlin: Springer.
Cerroni, Cinzia. 2007. The Contribution of Hilbert and Dehn to Non-Archimedean Geo-
metries and their Impact on the Italian School. Revue dhistoire des mathmatiques 13:
259299.
Corry, Leo. 2004. David Hilbert and the axiomatization of physics (18981918): From Grund-
lagen der Geometrie to Grundlagen der Physik. Dordrecht: Kluwer.
Dedekind, Richard. 1872. Stetigkeit und irrationale Zahlen. En Gesammelte mathematische
31
Poco ms tarde, Paul Bernays activo colaborador de Hilbert a partir de la sexta edicin
(1923) de Fundamentos lleg a sostener que, dada esta complejidad lgica del axioma
de completitud, el axioma de Cantor de intervalos encajados era preferible por sobre
aqul Bernays (Cf. 1935, p. 198). Presentaciones axiomticas ms contemporneas de
la geometra elemental, que pretenden seguir en espritu al sistema de Hilbert, utilizan
el axioma de Cantor en lugar del axioma de completitud. Vanse Efmov (1984) y
Guerrerro (2006).
Werke, volumen 3, 1932. Braunschweig: Friedrich Vieweg und Sonn. Traduccin al espaol
de Jos Ferreirs, Madrid, Alianza, 1998.
Dedekind, Richard. 1888. Was sind und was sollen die Zahlen?. En Gesammelte mathema-
tische Werke, volumen 3, 1932. Braunschweig: Friedrich Vieweg und Sonn. Traduccin al
espaol de Jos Ferreirs, Madrid, Alianza, 1998.
Demopoulos, William. 1994. Frege, Hilbert, and the Conceptual Structure of Model Theory.
History and Philosophy of Logic 15: 211225.
Efmov, Nikoli. 1984. Geometra superior. Mosc: Editorial Mir.
Ehrlich, Philip. 1995. Hahns ber die Nichtarchimedischen Grssensysteme and the Deve-
lopment of the Modern Theory of Magnitudes and Numbers to Measure Them. En From
Dedekind to Gdel: Essays on the Development of the Foundations of Mathematics, ed. J.
Hintikka, 165214. Dordrecht: Kluwer.
Ehrlich, Philip. 1997. From Completeness to Archimedean Completeness. Synthese 110: 57
76.
Ehrlich, Philip. 2006. The Rise of nonArchimedean Mathematics and the Roots of a Mis-
conception I: The Emergence of nonArchimedean Systems of Magnitudes. Archive for
History of Exact Sciences 60: 1121.
Enriques, Federigo. 1907. Prinzipien der Geometrie. En Enzyklopadie der mathematischen
Wissenschaften, eds. W. Meyer y H. Mohrmann, volumen 3.1.1, 6-126. Leipzig: Teubner.
Ferreirs, Jos. 2007. Labyrinth of Thought. A History of Set Theory and Its Role in Modern
Mathematics. Segunda edicin Berlin: Birhuser.
Ferreirs, Jos. 2009. Hilbert, logicism, and mathematical existence. Synthese 170: 3370.
Guerrerro, Ana Berenice. 2006. Geometra. Desarrollo axiomtico. Bogot: ECOE Ediciones.
Hahn, Hans. 1907. ber die nichtarchimedischen Grssensysteme. Sitzungsberichte der
Kaiserlichen Akademie der Wissenschaften, Mathematischnaturwissenschaftliche Klas-
se 116: 601-655.
Hallett, Michael. 2008. Reections on the Purity of Method in Hilberts Grundlagen der
Geometrie. En The Philosophy of Mathematical Practice, ed. P. Mancosu, 198255. New
York: Oxford University Press.
Hallett, Michael y Majer, Ulrich, eds. 2004. David Hilberts Lectures on the Foundations of
Geometry, 1891-1902. Berlin: Springer.
Hartshorne, Robin. 2000. Geometry: Euclid and Beyond. New York: Springer.
Hertz, Paul. 1934. Sur les axiomes dArchimde et de Cantor. Archives des sciences physiques
et naturelles 16: 179-181.
Hilbert, David. 1894. Die Grundlagen der Geometrie (Ms.Vorlesung, WS 1893/94). En Ha-
llett y Majer 2004.
Hilbert, David. 1895. ber die gerade Linie als krzeste Verbindung zweier Punkte. Aus
einem an Herrn F. Klein gerichteten Briefe. Mathematische Annalen 46: 9196.
Hilbert, David. 1897. Zahlbegri und Quadratur des Kreises. Ms. Vorlesung WS 1897/8.
Staats und Universittsbibliothek Gttingen. Cod. Ms. D. Hilbert 549.
Hilbert, David. 1898/1899a. Elemente der euklidischen Geometrie. En Hallett y Majer 2004.
Hilbert, David. 1898/1899b. Grundlagen der Euklidischen Geometrie (Ms. Vorlesung, WS
1898/1899). En Hallett y Majer 2004.
Hilbert, David. 1899. Grundlagen der Geometrie. Festschrift zur Feier der Enthllung des
GaussWeber Denkmals in Gttingen. En Hallett y Majer 2004.
Hilbert, David. 1900a. Les principes fondamentaux de la gometrie. Trad. L. Laugel. Paris:
GauthierVillars.
Hilbert, David. 1900b. ber den Zahlbegri. Jahresbericht der Deutschen Mathematiker-
Vereinigung 8: 180184.
Hilbert, David. 1902a. The Foundations of Geometry. Trad. E.J. Townsend. Illinois: The
Open Court Publishing Company.
Hilbert, David. 1902b. Grundlagen der Geometrie (Ms. Vorlesung, SS 1902). En Hallett y
Majer 2004.
Hilbert, David. 1903. Grundlagen der Geometrie. Segunda edicin. Leipzig: Teubner. Trad.
Hilbert, David. 1905a. Logische Principien des mathematischen Denkens. Ms. Vorlesung SS
1905. Ausgearbeitet von E. Hellinger, Bibliothek des mathematischen Seminars, Univer-
sitt Gttingen.
Hilbert, David. 1905b. Logische Principien des mathematischen Denkens. Ms. Vorlesung SS
1905. Ausgearbeitet von M. Born, Staats- und Universittsbiblioteck Gttingen. Cod. Ms.
D. Hilbert 558a.
Hilbert, David. 1917. Prinzipien der Mathematik. Ms. Vorlesung WS 1917/18. Ausgearbeitet
von P. Bernays, Bibliothek des mathematischen Seminars, Universitt Gttingen.
Hilbert, David. 1918a. Axiomatisches Denken. Mathematische Annalen 78: 405415.
Hilbert, David. 1930. Grundlagen der Geometrie. Sptima edicin. Leipzig: Teubner.
Klein, Felix. 1871. ber die sogenannte NichtEuklidische Geometrie. Mathematische Anna-
len 4: 573625. Reimpreso en Klein 1921, 254305.
Klein, Felix. 1873. ber die sogenannte NichtEuklidische Geometrie (zweiter Aufsatz). Mat-
hematische Annalen 6: 112145. Reimpreso en Klein 1921, 311343.
Klein, Felix. 1874. Nachtrag zu dem zweiten Aufsatz ber Nicht-Euklidische Geometrie.
Mathematische Annalen 7: 531537. Reimpreso en Klein 1921, 344350.
Klein, Felix. 1921. Gesammelte Mathematische Abhandlungen, volumen 1. Berlin: Springer.
Moore, Gregory. 2000. Historians and Philosophers of Logic: Are They Compatible? The
BolzanoWeierstrass Theorem as a Case of Study. History and Philosophy of Logic 20:
169180
Pasch, Moritz. 1882. Vorlesung ber neuere Geometrie. Leipzig: Teubner.
Rowe, David. 2000. The Calm before the Storm: Hilberts Early Views on the Foundations.
En Proof Theory. History and Philosophical Signicance, ed. V. Hendricks et al., 5593.
Dordrecht: Kluwer.
Schmidt, Arnold. 1931. Die Stetigkeit in der absoluten Geometrie. Sitzungsberichte der Hei-
delberger Akademie der Wissenschaften, Mathematischnaturwissenschaftliche 5: 38.
Sommer, Julius. 1900. [Review]: Hilberts foundations of geometry. Bulletin of the American
Mathematical Society 6: 287299.
Toepell, Michael. 1986. ber die Entstehung von David Hilberts Grundlagen der Geometrie.
Gttingen: Vandenhoeck and Ruprecht.
Veblen, Oswald. 1904. A System of Axioms for Geometry. Transactions of the American
Mathematical Society 5: 343384.
Zach, Richard. 1999. Completeness before Post: Bernays, Hilbert, and the Development of
Propositional Logic. Bulletin of Symbolic Logic 5: 331366.
Eduardo N. GIOVANNINI es licenciado en losofa por la Universidad Nacional del Litoral (UNL). Ha realizado estudios
doctorales en la Universitt Paderborn (Alemania), bajo la direccin del Prof. Dr. Volker Peckhaus, por medio de un
estipendio del DAAD. Entre sus publicaciones recientes se encuentran La concepcin axiomtica de la geometra
de Hilbert a la luz de la Bildtheorie de Heinrich Hertz (Crtica 2012) e Intuicin y mtodo axiomtico en la
concepcin temprana de la geometra de David Hilbert (Revista Latinoamericana de Filosofa 2011)
DIRECCIN: Universidad Nacional del Litoral Departamento de Filosofa, Facultad de Humanidades y Ciencias -
Ciudad Universitaria - Paraje El Pozo - (S3000ZAA) - Argentina. Email: engiovannini@conicet.gov.ar