ENSAYO II. EMILIA MORALES ZAVALETA.

Título: Estudio sobre el debate acerca de los fundamentos

de la geometría a fines del siglo XIX.

La geometría como toda disciplina científica tiene una historia particular y sus conceptos y
nociones se encuentran en una constante evolución. Podemos rastrear el inicio de la geometría
desde tiempos muy remotos1. Sin embargo, el libro más emblemático ha sido sin duda los Elementos
de Euclides (Siglo IV a.C.), cuya estructura y organización le valió la caracterización de un saber
riguroso fundado en una metodología sistemática con un alto estatuto epistémico, en dónde
destacan la homogeneidad y la infinitud como principales características del espacio –geométrico.

Por un lado, dentro de los estudios posteriores a los Elementos destacan los matemáticos avocados
a la investigación e interpretación del postulado V de esta obra tan emblemática, a partir del cual
se fueron desarrollando otras geometrías en general llamadas no eclideanas y con ellas las
respectivas representaciones de espacios o espacio

Por otro lado, la historia de la geometría pasó por distintas etapas antes de Descartes2 (1596-1650),
a partir de él y de la introducción del álgebra en sus construcciones, la geometría dejó de ser tema
fundamental para los matemáticos posteriores. Podemos localizar distintos eventos importantes en
dónde se retoma y se habla de geometría, pero un episodio muy representativo de la historia se
suscitó hasta el siglo XIX cuando Carl Gauss (1777-1855) le escribe una carta a Janos Bolyai (1802-
1860) en donde cuestiona las consecuencias de negar el axioma de las paralelas (postulado V)3. En
general la negación de éste implica que es posible que las paralelas se toquen en algún punto, dando
cabida a los espacios curvos o convexos-concavos.

En adelante la geometría dejó de tratarse de manera tradicional, tornándose central la idea de varias
geometrías y distintas formas de representación espacial, a su vez se modificó la noción que definen
sus objetos y se cuestionó su fundamentación y su relación con la aritmética. Por ello, la relación de
los objetos de la geometría está íntimamente relacionada con la aritmética y con las nociones de
número natural, de unidad y continuidad, así como definición e intuición, entre otros términos como
el famoso y acuñado término tiempo-espacio.

Es necesario desde la filosofía preguntarnos por los fundamentos que sostienen una ciencia tan
rigurosa como lo es la geometría, y máximo si en dicho cuestionamiento encontramos a destacados
matemáticos y filósofos como Bertrand Russell (1872-1970), David Hilbert (1862-1943), Henri
Ponicare (1854-1912) y Giuseppe Peano (1858-1932).

1
Serres, Michel, 1993, Los orígenes de la Geometría, Siglo XXI, México.
2
En Descartes la geometría y el álgebra se conjugan siendo ambas necesarias en la resolución de un
problema, ¿la matemática puede prescindir de la geometría?
3
4 Russell, Bertrand, 1897, pp. 19-20
 Para dirigir la investigación, presentamos dos hilos conductores, en los cuales convergen los
autores. Por un lado, la geometría entendida desde Euclides hasta las llamadas geometrías no-
euclidianas y la geometría proyectiva. Y por otro lado, la idea de Kant sobre la noción de espacio y
su representación en la esfera del conocimiento humano, representación cuyo lugar ocupa la
geometría de los Elementos de Euclides.

¿Qué es el espacio? En el sentido más general que Gilbert4 define como aquel concepto que
resulta del deseo humano por ordenar nuestras experiencias del mundo externo. Este
ordenamiento de experiencia, en palabras de Kant, está contenido en la geometría de Euclides. Para
él “la geometría es una ciencia que establece las propiedades del espacio sintéticamente y a priori…
siendo sus proposiciones de carácter apodíctico”5. Está pregunta ¿qué es el espacio? Podía ser
resuelta en palabras de Kant, ya que para él “el espacio es esencialmente uno, sólo nos es posible
representarnos un espacio”, su representación es pensada, el espacio es una intuición pura de
donde se derivan los principios geométricos.

Ante estas aseveraciones surgen distintas manifestaciones ya sea a favor o en contra del
carácter intuitivo de los axiomas que configuran la noción de geometría ¿Cuál es la naturaleza de
los axiomas que fundamentan la geometría? Es más, ¿cuál es la naturaleza de los axiomas que
fundamentan la geometría euclidiana?

Es necesario distinguir entre dos debates, el primero no por ello prioritario, es sobre la naturaleza
formal de la geometría y su formulación axiomática, que refiere directamente a la relación entre sus
objetos, sus funciones y definiciones. En este punto destacamos la geometría proyectiva, que tiene
como característica particular, la dualidad de los axiomas.

El segundo debate es sobre la particularidad de espacios no euclidianos o representaciones de

espacios no euclidianos, en donde se discute el postulado quinto de Euclides, conocido como el
postulado de las paralelas.

En su libro Ensayo sobre los fundamentos de la geometría (1897)6, Russell se pregunta

¿cómo es posible la geometría? La geometría entendida de manera muy general como el estudio de
aquellas relaciones que guardan entre si varios elementos con cuyos términos podemos describir
nuestro concepto de espacio7. Si los principios geométricos derivan de la intuición, no podemos
hablar de un concepto de espacio. Para Russell, la naturaleza formal de los axiomas de la geometría
requieren demostración y ésta depende de la lógica.
Russell apela a la historia de una metageometria que empieza justamente con el rechazo
del axioma de las paralelas de Euclides. Russell expresó sentir cierta fascinación por el libro de
Euclides, cuestionándose ¿por qué habría de aceptar los postulados de manera tácita? Entonces
cabe preguntarse ¿Qué pensaba Russell del carácter apodíctico que se otorgó a la geometría?

4
Gilbert, 1963. 7
5
Kant, CRP A24-A25, B38-B40
6
7
 9 Russell, Bertrand, An essay on the foundations of
Geometry, Routledge, London, 1897. 10 Russell (1897)

Tanto D. Hilbert como H. Poincare11 responden a la obra de Russell y se muestran renuentes

a aceptar una sola representación de espacio al estilo de Kant (17241804). Ellos sostienen que todo
lo que podemos decir sobre el significado de “punto”, “línea recta”, "distancia", etc., es lo que
hemos dicho en los axiomas o principios del sistema, algunos a modo de definición, y que la
geometría no es un conjunto de verdades acerca de algunos de los objetos previamente
conocidos”12.
Por su parte y ante la existencia de las geometrías no euclidianas Poincaré opina que las
proposiciones geométricas no pueden determinarse por intuiciones a priori. Es necesario estudiar
“las relaciones estructurales entre geometría euclideana y noeuclideana”. En contra de Kant, las
proposiciones geométricas no pueden determinarse por intuiciones a priori13. Para Poincare al
hablar de espacio sólo podemos hablar de las relaciones que guardan entre sí los objetos físicos. A
su vez, los objetos de la aritmética son irreductibles a la lógica, éstos se constituyen como creadores,
característica que es difícil apreciar en la lógica. Poincaré también destaca y otorga un papel
importante a la geometría dentro de lo que es la intuición matemática14.
En oposición, Giuseppe Peano (1858-1932) considera la posibilidad de encontrar términos
determinados. Una de las preguntas que aparece al inicio de su libro Principios de geometría15 de
1889, es justamente ¿cuáles entre las entidades geométricas se pueden definir y cuáles se asumen
sin definición? Y entre las propiedades, experimentalmente verdaderas de estas entidades, ¿cuáles
deben asumirse sin demostraciones y cuales se pueden deducir en consecuencia?
11 Por ejemplo, Poincaré argumenta en contra de Russell
la idea de definición afirma que el significado de los términos se puede fijar dependiendo de la
geometría en la que se trabaje. 12 Standford Encyclopedia of Philosophy 13 Posteriormente habrá
que matizar esta información, ya que profundizando en las obras de Poincaré, se puede señalar
cierta postura en favor de Kant, en la noción de continuidad, grupo y definición. 14 Esta relación
entre geometría y aritmética será fundamental dentro de la investigación, ya que las nociones que
se desprenden de su relación apuntan directamente a la percepción y lo que se ha entendido como
continuo, la necesidad de definirlo y el encuentro de sus contradicciones con respecto a la lógica.
Poincaré (1893), El continuo matemático. 15 Peano, Giuseppe (1889) Principii di Geometría, Fratelli
bocca editori, Torino.
Si las proposiciones que fundamentan la geometría necesitan ser demostradas, no son
entidades intuidas ¿cuál es el estatuto de estas entidades? Y si estás proposiciones no son entidades
intuidas ¿podemos hablar de varias geometrías y distintos espacios?
En el Congreso Internacional de Filosofía de 1900 Russell conoce a Peano. Russell relata en
su autobiografía16 “me pareció evidente que su notación ofrece un instrumento de análisis lógico
que había estado buscando por años”, y añade que su influencia fue primordial para establecer sus
escritos de lógica matemática término acuñado por el mismo Peano.
Por su parte David Hilbert también elabora una obra que refiere a la geometría, los
Fundamentos de Geometría17 (1899), en dónde se cuestiona por su axiomatización, términos, la
intuición o no de ellos, y en general por su fundamentación. Esta obra es una recopilación de varias
conferencias que dio en Gotinga durante el periodo 1898-1899. Es un estudio detallado sobre los
fundamentos de la geometría euclidiana.
 Presenta un sistema18 axiomático de geometría y aunque pasa por distintas etapas, se
inclina en contra de reducir toda la matemática a cuestiones puramente lógicas. De manera paralela
mantiene cierta postura frente al pensamiento de Kant, para Hilbert el tiempo y el espacio son
objeto de la experiencia sensible. El contenido del conocimiento a priori es ajeno al tiempo y al
espacio.
Además en las lecciones de 1892 de Geometría que da Hilbert podemos avizorar términos
y condiciones acerca de los fundamentos de la geometría proyectiva. Hilbert elaboró sus trabajos
sobre ideas previas de geometría proyectiva, dos grandes influencias para él fueron Tomas Reye19
y Moritz Pasch. Además presentó un sistema de axiomas basados también en los teoremas de Pascal
y Desargues.
16 Russell, Bertrand (1978), The autobiography Bertrand
Russell, Unwin Paperbacks, London. 17 Hilbert, David (1899), Grundlagen der Geometrie, Verlag Von
BG, Leipzig. 18 Parte de puntos, rectas y planos, de ahí la construcción de un modelo formal. 19
Reye, Theodor (1898), Lectures on the geometry of positions, the macmillan company, London.
Existe una famosa controversia entre Hilbert y Frege20 acerca de la designación del
significado de los términos principales también conocidos como conceptos primitivos. Esta polémica
se centra en la necesidad de definir estos términos, además toma en cuenta si la demostración de
los teoremas está intrínsecamente relacionada con los términos que fundamentan el sistema.
La demostración de los teoremas y su relación con los términos primeros, está asociada con
la distinción que existe en geometría entre teoremas y problemas, ¿teoremas y problemas son una
y la misma cosa?, los axiomas permiten construir deductivamente los teoremas que establecen las
propiedades del espacio a considerar, será necesario revisar esta distinción en la presente
investigación ya que su evolución está íntimamente relacionada con las consecuencias de sus
fundamentos. Además dentro de las distintas geometrías que emergen posteriores a la de Euclides,
qué tanto podemos hablar de análisis y de qué tipo es éste.
Ya que la idea es exponer los distintos problemas que surgen de entre la conjunción de todas
estas obras y exhibir las repercusiones filosóficas que se presentan al preguntar por los fundamentos
de la geometría, es necesario mencionar que no nos restringiremos a lo anterior.
Desarrollo, plan de trabajo y cronograma: A lo largo de los primeros cuatro semestres la
investigación estará centrada en el reconocimiento y exposición de las ideas principales acerca de
la geometría desde su fundamentos.
A continuación presentamos el plan de trabajo el cual se ha designado así, en función a cinco
particularidades del proyecto.
1) Debido a que la investigación está representada por cuatro filósofos en particular. Cabe
mencionar que dichos autores no son exclusivos, pues a lo largo de la
20 Frege sostuvo que la matemática es una parte de la
lógica, un gran periodo (comprendido aproximadamente entre 1879 y 1903 cuando aparece su obra
Fundamentos de Aritmética) de su vida lo dedicó a este propósito.
investigación se hará evidente la relación de sus obras con autores como Desargues, Gauss,
Whitehead, Klein, entre otros como ya se ha hecho mención.
2) Porque se ha tomado a Kant como un hilo conductor respecto al cual en algún momento
dado, toman postura los distintos autores principalmente a la caracterización que le dio a los
axiomas de la geometría como juicios sintéticos a priori.
3) Por la naturaleza filosófica del proyecto.
 4) Porque estudio de la Geometría es muy amplio, se restringe la investigación por ahora, a
la pregunta por la naturaleza de los axiomas en geometría y a partir de ello exponer las divergencias
y convergencias entre los autores.
5) Y porque hay un vínculo inexorable entre geometría, aritmética y lógica.
Semestre Lecturas principales Actividades 1 Bertrand Russell, Ensayo sobre los fundamentos
de la Geometría (1897). Asistencia a asesorías y elaboración de un primer capítulo entorno a Russell
y sus aportaciones en geometría. 2 Henri Poincaré, Fundamentos de Geometría (1898). Asistencia
a seminarios y asesorías. Elaboración de un tercer capítulo entorno a Poincaré. 3 Giuseppe Peano,
Fundamentos de Geometría lógicamente expuestos (1923). Asistencia a seminarios y asesoría.
Elaboración de un cuarto capítulo entorno a Peano y sus aportaciones en geometría
4 David Hilbert, Fundamentos de la Geometría (1899).
Asistencia a seminarios y asesorías. Elaboración de un segundo capítulo entorno a Hilbert.
5 Entorno a Kant Asistencia a congresos, seminarios y asesorías. Elaboración de un cuarto capítulo.
6 y 7 Investigación acerca de los debates, críticas, comentarios entre los principales autores.
Asistencia a congresos, seminarios y asesorías. Elaboración de un primer borrador con conclusiones.
8 Bibliografía Estructuración de la tesis final
*A partir del segundo semestre asistencia a cursos de alemán e italiano.
Bibliografía
Euclides, Los Elementos Frege, Fundamentos de la matemática. Gilbert, Robinson, (1963)
The Foundations of Geometry, Board, G.B. Hilbert, David (1899), Grundlagen der Geometrie, Verlag
Von BG, Leipzig. Kant, Immanuel, (1774), Crítica de la Razón Pura, Taurus Santillana ediciones 2006,
México Peano, Giuseppe (1889) Principii di Geometría, Fratelli bocca editori, Torino. Poincaré
(1893), El continuo matemático.
Reye, Theodor (1898), Lectures on the geometry of positions, the macmillan company,
London. Russell, Bertrand (1978), The autobiography Bertrand Russell, Unwin Paperbacks, London.
Russell, Bertrand, (1897) An essay on the foundations of Geometry, Routledge, London. Serres,
Michel, 1993, Los orígenes de la Geometría, Siglo XXI, México. Standford Encyclopedia of Philosophy
Bibliografía principal HILBERT, DAVID Anschauliche geometrie, Dover, New York, 1944.
David Hilbert’s lectures of foundations of mathematics and physics 18911933, Springer Verlag,
Berlin, 2004. Elementos de lógica teórica, Tecnos, Madrid, 1962. Foundations of geometry,
Bibliobazar Charleston South Carolina EUA, 2009. Fundamentos de las matemáticas, Facultad de
Ciencias UNAM, México, 2011. Geometry and the imagination, American Mathematic Society,
Chelsea, Rhode Island, 1990. Grundlagen der mathematik, Springer Verlag, Berlin, 1944. Grundzuge
der theorestischen logik, Springer Verlag, Berlin, 1949. Principles of mathematical logic, Chelsea,
New York, 1950. Reid, Constance, Hilbert, Copernicus, New York, 1996.
PEANO, GIUSSEPE Formulaire de mathematiques, G Carre C naud, Paris, 1901. Selected
works of Giussepe Peano, University of Toronto Press, Toronto, 1973. Kenedy, Humbert, Peano : life
and works of Giussepe Peano, Dordrecht, Holland, 1980.
Terracini, Alessandro, In memoria di Giussepe Peano, Liceo Scientifico statale, Cuneo Italia,
1955.
POINCARE, HENRI Filosofía de la Ciencia, Conacyt, México, 1984. La science et l’hypothese,
Flammarion, Paris, 1956. Science et Methode, Flammarion, Paris, 1956. Apell, Paul, Henri Poincare,
Plon et nourrit, Paris, 1925. Lebon, Ernest, Henri Poincare Biographie, Gauthier Villars, Paris, 1909.
 RUSSELL, BERTRAND Foundation of Logic, Routledge, London, 1994 Introduction to
mathematical philosophy, Dover, New York, 1993. Logical and philosophical papers, Routledge,
London, 1994. La concepción analítica de la filosofía, Alianza, Madrid, 1981. The autobiography
Bertrand Russell, Unwin Paperbacks, London, 1978. Donati, Stefano, I fondamenti della matematica
nel logicismo di Bertrand Russell, Atheneum, Firenze, 2003. Gandon, Sebastien, Russell’s unknown
logicism, a study in the history and philosophy of mathematics, Palgrave Mcmillan, New York, 2012.
Hurtado, Guillermo, Proposiciones russellianas, IIF UNAM, México, 1998.
Bibliografía complementaria
Bonola, Roberto, Non Euclidean geometry; a critical and historical study of its
developments, Dover, New York, 1955. Derrida, Jaques, Introducción a El origen de la Geometría de
Husserll, Manantial, Buenos Aires, 2000. Ewald, William, From Kant to Hilbert: a source book in the
foundations of mathematics, Oxford Uni Press, 1996. Frege, Gottlob, On the foundations of
geometry and formal theories of arithmetic, Yale University, New Haven, EUA, 1971.
Gilbert, Robinson, The Foundations of Geometry, Board, G.B., 1963. Godel, Kurt, Obras
completas, Alianza, Madrid, 2006. Nicod, Jean, Foundations of geometry and induction, Routledge,
London, 2001. Odifredi, Pergiorgio, Divertimento geometrico: da Euclide ad Hilbert, Bollati
Borighieri, 2003. Pasch, Moritz, Vorlensurgen über neuere geometrie, Teubner, Leipzing Berlin,
1912. Seidenberg, Abraham, Lectures in projective geometry, Dover, New York, 2005. Serres,
Michel, Los orígenes de la geometría, Siglo XXI, México, 1996. Tomasini, Bassols, Significado y
denotación; la polémica Russell-Frege, Interlinea, México, 1996. Van Heijnoort, Jean comp., Frege
and Godel: two fundamental texts in mathematical logic, Harvard University Press, Cambridge,
1939. Whitehead, Alfred North, Principia Mathematica Wylie, Clarence Raymond, Introduction to
projective geometry, Dover, New York, 2008