LECCIONES EPISTEMOLGICAS DE LA HISTORIA DE LA GEOMETRA

Carlos Arturo Londoo Ramos Universidad Pedaggica y Tecnolgica de Colombia Blanca Ins Prada Mrquez Universidad Industrial de Santander
no podemos por menos de reconocer la verdad de aquel principio de Platn segn el cual todo aquel que desee con xito dedicarse a la metafsica debe prepararse para ello con el estudio de la geometra. Johann Heinrich Pestalozzi. Cartas sobre la Educacin infantil.

Resumen El recorrido histrico sobre la creacin de las geometras no euclidianas, es decisivo para juzgar los criterios que la epistemologa ha planteado en el problema de la validez de los enunciados de las ciencias formales, as como con respecto al interrogante por los razonamientos implicados en estas ciencias. La creatividad manifiesta en las geometras alternativas, no-euclidianas, tiene repercusiones en la filosofa pues con ellas se muestra que para la elaboracin de teoremas se requiere una multiplicidad de formas de los enunciados, que no se puede reducir simplemente a los enunciados analticos, sino que son verdaderas construcciones, en consecuencia, tambin cambian los puntos de vista pedaggicos. Palabras clave: epistemologa de la geometra, geometras no euclidianas, filosofa de las ciencias formales.

* Correos-e: londonocarlosarturo@hotmail.com. pradamblancaines@gmail.com

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

183

Abstract The historical background of the creation of non-Euclidean geometries, is crucial for judging the criteria that epistemology has raised with regard to the question of validity of statements of the formal sciences as well, as with the question of the reasoning involved in these sciences. The creativity manifested in non-Euclidean alternative geometries, has implications for philosophy because with these it shows that the development of theorems requires a multiplicity of statement forms, which cannot be simply reduced to analytical statements, but which are true constructions, therefore changing pedagogical viewpoints. Key words: epistemology of geometry, non-Euclidean geometries, philosophy of the formal sciences.

Introduccin Desde la antigua Grecia, la matemtica ha suscitado problemas filosficos, e incluso en la escuela platnica la geometra se convirti en uno de los modelos ejemplares para las otras ciencias. La filosofa de las ciencias lgicomatemticas se pregunta en qu radica la validez de sus enunciados. Por qu aceptamos sus enunciados como universales? En razn de qu aprobamos sus enunciados como verdaderos a priori, es decir, sin tener en cuenta la experiencia? Cul es la caracterstica especial de los conceptos matemticos? Por ejemplo, el punto, que segn Euclides se define como lo que no tiene partes no es un espacio real, sino conceptual. En la filosofa tambin se ha contado con problemas que no son estrictamente lgico-matemticos, pero que inciden en su comprensin y en la explicacin de su gnesis, tales como las relaciones entre la validez de estas ciencias formales con su origen, es decir, la conexin con el desarrollo histrico y con el aprendizaje individual, tal como lo investiga Jean Piaget. Este problema, a su vez, est enlazado con otro, si las ciencias lgico-matemticas slo tratan con conceptos, principios lgicos y deducciones, por qu son aplicables, en las ciencias naturales y en la tecnologa? A este problema se acercan algunas corrientes de interpretacin denominadas intuicionistas y la sicologa cognitiva.

184

Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

La filosofa de la matemtica se complic an ms cuando aparecieron las geometras no euclidianas, pues a partir de ellas comienzan a existir diferentes sistemas formales igualmente vlidos, lo cual reactiva la pregunta tanto por el ser de la geometra como por la especificidad de su verdad. Epistemlogos de la ciencia como Imre Lakatos, Gaston Bachelard y Piaget insisten en la importancia de integrar la enseanza de las ciencias con la filosofa y la historia de su desarrollo, integracin indispensable para entender el dinamismo y la evolucin del conocimiento, puesto que el pensamiento cientfico se ha ido desarrollando y perfeccionando poco a poco, gracias al trabajo investigativo, crtico y constructivo. Los autores sealados insisten tambin en la importancia de la reflexin epistemolgica para la comprensin de la estructura interna de las teoras cientficas, sealando adems que la historia de la ciencia ayuda a comprender no slo el dinamismo de las ciencias, sino tambin sus fundamentos cuando dicha historia no se reduce a una simple relacin de hechos, sino que se convierte en historia juzgada, en una reconstruccin racional del proceso mismo del saber cientfico, de ah que diga Lakatos, parafraseando a Kant:la filosofa de la ciencia sin la historia de la ciencia es vaca; la historia de la ciencia sin la filosofa de la ciencia es ciega 1. Por su parte, para Bachelard: Asir el pensamiento cientfico contemporneo en su dialctica y mostrar su novedad esencial es el propsito filosfico2. 1. Antecedentes de la geometra de Euclides El pensamiento matemtico aplicado en la solucin de los problemas prcticos de la vida va a encontrar en los griegos una dimensin muchos ms universal y abstracta. En relacin con las matemticas, su desarrollo empieza a manifestarse con Tales (624-545/6 a J.C.) y con Pitgoras (580-500 a J.C.) quienes vivieron en las costas jnicas. Por su situacin geogrfica viajaban fcilmente a Mesopotamia y Egipto, y all recibieron de primera mano los aportes matemticos y astronmicos de estas dos civilizaciones, dndoles un desarrollo original y terico.

LAKATOS, Inre. Historia de la ciencia y sus reconstrucciones racionales. Madrid: Tecnos. 1887, p 11. BACHELARD, G. El nuevo espritu cientfico. Mxico: Nueva Imagen, 1985, p. 20.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

185

Poco se sabe de la vida de Tales de Mileto, la tradicin le atribuye la prediccin del eclipse del ao 585 a. C., lo califica adems de primer filsofo, colocndolo entre la lista de los siete sabios del mundo antiguo y es considerado adems como un hombre particularmente inteligente, el primer matemtico autntico, es decir, como el padre de la organizacin deductiva de la geometra, atribuyndole en primer lugar la proposicin que hoy se conoce como el teorema de Tales: Un ngulo inscrito en una semicircunferencia es un ngulo recto, del cual dicha tradicin, ofreci algunas demostraciones. Tambin se le atribuyen otros seis teoremas sobre los cuales habra ofrecido alguna demostracin.3 De otra parte, se le atribuye el primer esfuerzo de clculo para medir la altura de las pirmides de Egipto, como tambin el planteamiento de un problema para hallar, en un momento determinado, la distancia que separa un barco de la costa. Pitgoras fue el fundador de la escuela que lleva su nombre; su vida est plagada de misterio, envuelta por la leyenda y por una especie de culto, casi religioso. Viajara a Egipto y Babilonia, y posiblemente, tambin a la India, viajes en los cuales, no slo asimil conocimientos matemticos y astronmicos sino tambin religiosos, siendo casi contemporneo de Buda, Confucio y Lao-Tse. Despus de sus viajes se estableci en Crotona, en la costa sudeste donde hoy queda Italia, pero en aquella poca se conoca como la Magna Grecia, all fund su escuela o su secta. La asociacin pitagrica, cofrada o hermandad, estaba basada en la comunidad de bienes y de descubrimientos. Su principal objetivo era la purificacin del alma o catarsis, cultivando el arte de la msica y la ciencia de las matemticas, siguiendo el camino de la filosofa, palabra que desde entonces ha significado amor a la sabidura; tenan tambin un gran sentido de fraternidad y cultivo de la amistad.4 La escuela pitagrica se caracteriz, entre otras cosas, por la bsqueda en el mundo inteligible del principio generador del universo, introduciendo la novedad de que en el fondo del mundo material el nmero es lo nico accesible al intelecto.5 El lema de la escuela pitagrica habra sido todo es nmero y su contribucin ms importante a la geometra sera su famoso teorema.

3 4 5

CID, Felip. Historia de la ciencia. Barcelona: Planeta, tomo I, 1977, p. 67. VERA, Francisco (Comp.). Cientficos griegos. Madrid: Aguilar, Tomo I. , 1970, p. 54. BOYER, Carl. Historia de las matemticas. Madrid: Alianza. 1999, p. 78.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

186

El teorema de Pitgoras dice que en todo triangulo rectngulo el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos. Aunque el teorema pueda proceder de los babilonios, fueron los pitagricos los primeros en darle una demostracin. El famoso teorema dio origen al descubrimiento del nmero irracional cuando aplicaron el teorema al tringulo rectngulo issceles de catetos iguales a la unidad, resultando lo que algunos estudiosos del pitagorismo, entre otros Paul Tannery, han llamado el escndalo de la matemtica pitagrica. Los pitagricos consideraron la matemtica como la ciencia suprema, la cienciatipo del conocimiento: todo su sistema tiende al matematismo. El matematismo cuasi pitagrico ha impregnado todo el desarrollo de la ciencia moderna desde Galileo, tendencia que se sinti mucho ms fuerte en el siglo XX como bien lo seala Bertrand Russell al decir que lo ms extrao de la ciencia contempornea sea quiz, su vuelta al pitagorismo 6. 2. La geometra de Euclides, monumento intelectual difcil de derrumbar Euclides de Alejandra ense matemticas durante el reinado de Ptolomeo I (siglo III a. de J.C.). Hasta nuestros das han sobrevivido cinco obras: Elementos, Los datos, La divisin de figuras, Los fenmenos y La ptica. La ltima de estas obras tiene el inters de ser una obra sobre perspectiva o la geometra de la visin directa. Segn Boyer los antiguos haban dividido el estudio de los fenmenos pticos en tres partes: ptica o la geometra de la visin directa; Catptrica o la geometra de los rayos reflejados; y Diotrpica o la geometra de los rayos refractados. La geometra clsica bajo la forma que le dio Euclides dentro de Elementos, pas durante casi veinte siglos por un modelo insuperable e inigualable de teora deductiva. Los trminos propios de la teora no son jams introducidos sin ser definidos. Las proposiciones no son jams avanzadas sin ser demostradas con excepcin de un pequeo nmero de ellas que son enunciadas a ttulo de principio: la demostracin no puede remontarse al infinito y, debe, por lo tanto, reposar sobre algunas proposiciones primeras que han sido escogidas con tal cuidado para que ninguna duda subsista sobre ellas.

VERA, Francisco (Comp.). Cientficos griegos. Op. Cit,, p. 58.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

187

Los griegos han razonado con toda la precisin posible dentro de las matemticas, y dejaron al gnero humano modelos del arte de demostrar. La geometra dej con ellos de ser una recoleccin de recetas prcticas, de enunciados empricos o concretos, para convertirse en una ciencia racional y formal. De aqu el papel pedaggico privilegiado que siempre se les ha reconocido. Si se hace estudiar esta geometra a los nios no es tanto para darles verdades, sino ms bien, para disciplinar el espritu, ya que su prctica desarrolla habilidades y hbitos para el razonamiento riguroso, como bien lo seala Blanch7 cuando dice: Euclides ha sido, para numerosas generaciones que se han nutrido con su sistema, ms que un profesor de geometra, un profesor de lgica. De ah tambin que la expresin more geomtrico se suela entender como more lgico. Los elementos estn divididos en trece libros o captulos de los cuales, la primera media docena son sobre geometra plana elemental, los tres siguientes sobre teora de nmero y el libro X sobre los inconmensurables y los tres ltimos sobre geometra de slidos. Sin prembulo ni prlogo, el libro empieza con una lista de 23 definiciones, las cuales describen los entes geomtricos: puntos, lneas, superficies; como ejemplos tenemos las definiciones: Una figura es lo que se halla contenido por cualquier lmite o lmites, Una lnea recta es una lnea que se extiende plana con los puntos sobre s misma. Algunas de las definiciones han recibido muchos cuestionamientos posteriores, pero otras permanecen. A continuacin de las definiciones vienen cinco postulados, que son enunciados necesariamente supuestos para la deduccin geomtrica pero que no son demostrables, ms bien estn destinados a legitimar ciertas construcciones, tal es el caso del segundo postulado: Toda lnea recta finita puede extenderse continuamente en lnea recta. El quinto postulado el famoso taln de Aquiles de la geometra griega es llamado por antonomasia postulado de Euclides, que ha hecho gastar en comentarios e intentos de demostracin montaas de papel y mares de tinta. A continuacin de los postulados, siguen cinco axiomas que son principios iniciales (o nociones comunes) o los enunciados ms universales, que tambin pueden ser principios de la lgica o de la aritmtica. Aristteles haba hecho una distincin entre axiomas y postulados; los primeros, segn l, deben ser

BLANCH, Robert. Laxiomatique. Pars: PUF, 1959, p. 2.

Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

188

convincentes por s mismos, por ser verdades comunes a todas las ciencias, es decir son supuestos necesarios que no requieren demostracin, mientras que los segundos son menos evidentes aunque son supuestos necesarios. Esta primera tentativa de axiomatizacin fund la geometra sobre bases consideradas indiscutibles durante muchos siglos. Segn seala el filsofo y matemtico austriaco Richard Misses en su artculo Los postulados de la matemtica y el entendimiento humano8 en nuestro aprendizaje preuniversitario se suelen ensear axiomas de la geometra y de la aritmtica como verdades irrefutables, por ejemplo: toda cantidad es igual a s misma; el todo es mayor que cualquiera de sus partes; todos los ngulos rectos son iguales entre s, afirmndose de estos axiomas que son verdades autoevidentes y que todos los teoremas matemticos se siguen de ellos de un modo estrictamente lgico. Investigaciones modernas sobre los fundamentos de la geometra han mostrado que no puede construirse geometra alguna a partir de las escasas proposiciones bsicas formuladas como axiomas en los textos didcticos. Euclides, como Aristteles con la lgica formal, y posteriormente Pascal, Leibniz y Newton con la fsica clsica, expres el ideal de organizacin axiomtica de una disciplina, ideal que grosso modo poda reducirse a la eleccin de un pequeo nmero de proposiciones evidentes dentro de aquel mbito del saber y a la posterior deduccin de todas las dems proposiciones verdaderas en dicho mbito, partiendo de aquellas9. 3. El quinto postulado: taln de Aquiles de la geometra euclidiana Desde la poca antigua, el quinto postulado de Euclides no haba resultado para los estudiosos demasiado evidente. El famoso postulado a veces denominado de las paralelas fue formulado as por Euclides: Si una recta al incidir sobre dos rectas hace los ngulos internos del mismo menores que dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en que estn los (ngulos) menores que dos rectos (Euclides, Libro I, Postulado 5)10. (figura 1)

10

NEWMAN, John Von Sigma. El mundo de las matemticas. Barcelona: Grijalbo, tomos IV y V, 1983. REALE Giovanni y ANTISERI, Daro Historia del pensamiento filosfico y cientfico. Barcelona: Herder, Tomo III, 1988, p. 328. EUCLIDES. Elementos. Trad. Mara Luisa Puertas. Madrid: Gredos, 1991, p. 197.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

189

Figura 1. Postulado de las paralelas

Como bien lo explican Antiseri y Reale, este postulado nos indica que, si tenemos en un plano una recta s y un punto P exterior a ella, en el plano slo existe una recta r que pase por el punto P y sea paralela a la recta s, en el sentido de que jams la encuentre. Sucede tal cosa, continan diciendo los autores sealados, cuando la recta r y la recta s se encuentran con la recta t y forman dos ngulos rectos (como en la figura 2a) o dos ngulos cuya suma sea igual a dos rectos (como en la figura 2b).

Figura 2a. Primera interpretacin del postulado de las paralelas

Figura 2b. Segunda interpretacin del postulado de las paralelas

El problema est en que esta proposicin no es algo evidente, y en otro modelo puede resultar falsa. En efecto, si el plano que contiene la recta s y el punto P exterior a ella queda limitado a la zona interior del crculo, entonces se aprecia de inmediato (como se intuye a travs de la figura 3) que hay muchas rectas que pasan por P y que no se encuentran con s. Si aumentamos el radio del crculo, disminuir la cantidad de rectas que pasan por P y no se interseccan. Qu intuicin, qu autoevidencia podr garantizarnos que esta situacin dejara de darse cuando el plano sea limitado?, se pregunta Agazzi11.
11

Cfr. AGAZZI Evandro y PALADINO, D. Le geometrie non - euclidienne e i fondamenti della geometria. Miln, Mondarori, 1978.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

190

Figura 3. Tercera interpretacin del postulado de las paralelas

Siguiendo las explicaciones muy didcticas que dan Reale y Antiseri se podra decir que si hay una recta s en un plano, y un punto P exterior a ella y por el que pasa la recta r que se encuentra con la recta s en el punto A, con el propsito de que la recta r se convierta en paralela a la recta s, si se hace girar en el sentido contrario a las agujas del reloj, la recta r que se encontrar sucesivamente con la recta s en los puntos B, C, D, E, estos se alejarn cada vez del punto A, pero si se trata de un plano infinito Cmo podr controlarse dicha separacin? Es posible afirmar que dos rectas paralelas se encuentran en el infinito? (figura 4)
P

Figura 4. Cuarta interpretacin del postulado de las paralelas

Las anteriores consideraciones muestran algunas de las muchas perplejidades que acompaaron la reflexin en torno al quinto postulado de Euclides, a lo largo de ms de 20 siglos de aceptacin, como la nica geometra verdadera.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

191

4. Desarrollo de las geometras no euclidianas A lo largo de la historia del pensamiento griego, rabe, y renacentista, los matemticos y filsofos estuvieron siempre muy inquietos frente al quinto postulado, al que vean ms como un teorema que como un postulado, de ah los intentos por demostrarlo como si fuera una consecuencia de los primeros cuatro que parecan sencillos y evidentes. Sin embargo, todos los intentos fracasaron. En el siglo XVIII el jesuita Girolamo Saccheri (1677-1733), en su obra Euclides enmendado de todos sus defectos (1733) se propuso negar el postulado euclidiano de la paralela y dedujo naturalmente todas las consecuencias lgicas de tal negacin, tratando de buscar una contradiccin que demostrara, mediante el absurdo, el famoso postulado.12 Algunos estudiosos de la matemtica, piensan que ste podra ser un primer esfuerzo coherente por construir una geometra no euclidiana. Otros matemticos como Lambert, Taurinus, Wachter y Reid, ofrecieron tambin sus aportes en este esfuerzo por demostrar o negar el quinto postulado, sin embargo, todos ellos lo que intentaban era, o bien negar la geometra euclidiana creando una nueva geometra, o bien mostrar que definitivamente la geometra de Euclides era la nica geometra posible, por lo tanto, no consideraron nunca la posibilidad de que pudieran existir dos o ms geometras igualmente vlidas. Este honor slo lo logran Gauss (17771855), Bolyai (1802-1860) y Lobachevsky (1793-1856), quienes van a mostrar la posibilidad de aceptar dos o ms sistemas de proposiciones opuestas como simultneamente verdaderas desde el punto de vista formal, atribuyendo a los mundos geomtricos que les correspondan el mismo valor ontolgico, la misma realidad racional o inteligible y, conservando, adems, la misma interpretacin semntica para los trminos fundamentales como lnea, recta, distancia, longitud, congruencia, etc., en los diferentes sistemas de axiomas Karl Friedrich Gauss, profesor en la Universidad de Gttingen, vio con toda claridad, a principios del siglo XIX, la no demostrabilidad del quinto postulado de Euclides y la posibilidad de construir sistemas geomtricos distintos del euclidiano, pero dice, no public sus investigaciones por temor al gritero de los torpes, valindose de una frase ya expresada por Kepler cuando explicaba
12

Cfr. AGAZZI, Evandro y PALADINO, D. (1978). Le geometrie non-euclidienne e i fondamenti della geometria. Miln, Mondarori, 1978.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

192

su temor de publicar sus ideas en relacin con la aceptacin del sistema copernicano. Gauss anotaba sus descubrimientos en un diario. El famoso Diario permaneci oculto hasta 1901 cuando la Real Sociedad Cientfica de Gontinga, para celebrar el sesquicentenario de su fundacin, logr que el nieto de Gauss le cediera el precioso documento y se mostr as a la luz pblica su extraordinario ingenio. Entre sus 146 resultados estaba la no demostrabilidad del quinto postulado de Euclides y la posibilidad de construir sistemas geomtricos distintos del euclidiano. El lema de Gauss era: pauca sed matura (poco pero maduro); en efecto, su mente estaba tan rebosante de ideas que nunca tuvo el tiempo suficiente para organizarlas y darles la perfeccin que deseaba tuvieran, antes de publicarlas, no obstante, viva continuamente preocupado por este problema; en carta a F.A. Taurinos, refirindose a la geometra no-euclidiana, le escriba:
Lo que en este sistema repugna a nuestra razn es que si ste fuera verdadero, en el espacio existira un segmento (geomtricamente) definido si bien desconocido por nosotros. Sin embargo, me parece que si prescindimos de la sabidura verbal de los metafsicos vaca de significado, sabemos muy poco o casi nada de la esencia del espacio; no podemos confundir lo que a nuestros ojos resulta algo no natural con lo absolutamente imposible13.

Dado que Gauss no public sus consideraciones sobre el quinto postulado la gloria de la fundacin de la geometra no euclidiana corresponde al ruso Nicolai Ivanovitch Lobachevsky, profesor de la Universidad de Kazan, quien es considerado hoy el Coprnico de la geometra, el hombre que revolucion este campo, creando en l una rama totalmente nueva, la geometra lobachevskiana, con la cual logr demostrar que la geometra de Euclides no era la ciencia exacta de la verdad absoluta, como se haba admitido hasta entonces. Con la publicacin del artculo en un peridico Sobre los principios de la geometra (1829) y la obra Nuevos principios de la geometra con una teora completa de las paralelas (1835) da nacimiento oficial a las geometras no euclidianas, en cuyo trabajo logr realizar la revolucionaria tarea de hacer pblica una geometra construida expresamente sobre una hiptesis que
13

LONBARDO-RICE. Lobacevskij. Nouvi princpi della geometria conme teoria completa delle parallele. Universale Scientifica Boringhieri. p. 13-54. Citado por USINI, Sonia. La aportacin de Gauss a la geometra hiperblica: su carteo con matemticos y cientficos de la poca. En: Miscelnea matemtica. N 33, Cinvestav, SMM, (2001), p. 1-19.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

193

contradeca el quinto postulado de Euclides. Con el nuevo planteamiento logra Lobachevsky construir una geometra armnica, pero al mismo tiempo, opuesta al sentido comn, por lo cual l mismo llam a su obra Geometra imaginaria (1835). Pero como ha sucedido varias veces en la historia de la ciencia que dos investigadores logran llegar a los mismos resultados simultneamente, el mismo ao Janos Bolyai escribi La ciencia absoluta del espacio con un subttulo que bien puede hacer alusin a Kant y que dice Independiente de la verdad o falsedad del XI axioma de Euclides (Nunca podemos decidir a priori). La pequea obra es publicada en 1832, como apndice en la obra Testamento del Wolfgang Bolyai, padre de Janos y amigo de Gauss14. La definicin (o axioma) 11 dice El ngulo obtuso es el (ngulo) mayor que un recto15. Bolyai quera demostrar que se puede hacer tringulos con arcos en los cuales no se cumple la definicin de Euclides. En la geometra de Lobachevsky, se utiliza la lnea curva como en una silla de montar; curvaturas que son denominadas negativas, a diferencia de las lneas que en la geometra de Riemann son curvaturas de la esfera, denominadas positivas, y en la geometra euclidiana la curvatura es de magnitud 0. En la geometra de Lobachevsky desde un punto exterior a una recta siempre se puede trazar ms de una lnea paralela a dicha recta. La suma de los ngulos de un triangulo es siempre menor que dos ngulos rectos. Adems, la razn de la circunferencia de un crculo a su dimetro es siempre menor que el nmero . A pesar de que la obra de Lobachevsky fue publicada en alemn en 1840, la geometra no euclidiana (el trmino usado por Gauss) continu durante varios aos convertida en un aspecto marginal de la matemtica, hasta que logr integrarse completamente en ella, gracias a las concepciones extraordinariamente generales que le aport el alemn y profesor de la Universidad de Humboldt Georg Friedrich Bernhard Riemann (1826-1866), con la publicacin, en 1867, de su tesis de habilitacin orientada por Gauss Sobre la hiptesis en que se

14

15

El reconocimiento a la obra de Janos Bolyai fue tardo por el poco apoyo que recibi de Gauss para la edicin de su obra, lo cual lo desalent en su trabajo. En 1896 George Bruce H. en Austin, Texas, con una introduccin publica La Ciencia Absoluta del espacio, Ed. Neomon. Y, en 1955, Roberto Bonola public en ingls Non-euclidean geometry, que contiene sendas traducciones al ingls de la Teora de las paralelas de Lobachevsky, y de la Ciencia absoluta del espacio, de Bolyai. EUCLIDES. Elementos. Trad. Mara Luisa Puertas. Madrid: Gredos, 1991, p. 193.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

194

apoyan los fundamentos de la geometra,16 que se convertir en la obra ms importante para comprender el nuevo monumento de las geometras no euclidianas. Nace as el espacio de superficies curvas positivas llamado espacio de Riemann, que fue utilizado ms tarde por Einstein en la teora de la relatividad general, la cual admite que la curvatura del espacio est dada en cada punto y a cada instante por la gravedad. Riemann generaliz el concepto de curvatura de Gauss extendindolo a las tres dimensiones del espacio. En la geometra de Riemann, a diferencia de la de Euclides, se niega que una lnea recta pueda prolongarse hasta el infinito dado que es una curva. Existe una longitud mxima hasta la que pueda prolongarse una lnea dado que todas son curvas y sobre la esfera la suma de los ngulos de un triangulo es siempre mayor que dos ngulos rectos. Una explicacin bella y didctica sobre la importancia de la geometra de Riemann nos la dan Einstein e Infeld en su hermosa obra La fsica aventura del pensamiento.17 All ellos explican como la geometra de Riemann era noeuclidiana en un sentido mucho ms general que en el caso de la de Lobachevsky, donde el problema central era simplemente el de saber cuntas paralelas se podan trazar por un punto exterior a una recta. Segn los autores citados, Riemann considera que en un espacio circular, puede pensarse que su espacio no tenga lmites, puesto que uno puede, en una esfera, ir de adelante hacia atrs sin detenerse, sin embargo este espacio sin lmites es finito, puesto que se puede dar la vuelta completamente aunque no se le encuentre lmite.18 Como bien lo explican Einstein e Infeld, la geometra de Riemann es la geometra esfrica extendida a tres dimensiones; para construirla el matemtico alemn se vio obligado no slo a abandonar el quinto postulado de Euclides sino tambin el primer postulado que dice que por dos puntos no puede pasar sino una recta, puesto que sobre una esfera, es posible pasar por dos puntos dados slo un gran crculo, el cual jugar el papel de recta. De lo expuesto sobre Lobachevsky y Riemann se concluye que por lo menos se pueden encontrar tres geometras diferentes:
16 17 18

RIEMANN, G.F.B. Riemanniana selecta. Madrid: Ferreirs, 2000. EINSTEIN INFELD La fsica, aventura del pensamiento. Buenos Aires, Losada. 1939. BOYER, Carl. Historia de las matemticas. Op. Cit., p. 675.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

195

GEOMETRA DE GEOMETRA DE GEOMETRA DE LOBACHEVSKY EUCLIDES RIEMANN La suma de los ngulos de un tringulo es: Menor de dos ngulos rectos Igual a dos ngulos rectos Mayor de dos ngulos rectos El nmero de paralelas que se pueden pasar sobre una recta dada por un punto dado es: Infinito Una Ninguna La proporcin entre la circunferencia de un crculo y su dimetro es: Menor que Mayor que El espacio sera: Hiperblico Plano Elptico

Hyperbolic

Euclidean

Elliptic

Pero Riemann imagin otras geometras, al igual que lo hicieron Hilbert y Veronesse, quienes propusieron geometras todava ms complicada y extraas, que fueron llamadas no-arquimedianas. Poincar mismo imagin una nueva geometra, uno de cuyos postulados sera que una recta real puede ser perpendicular a ella misma19. 5. Consecuencias epistemolgicas Leibniz, intentaba sustentar la validez de la aritmtica en principios puramente lgicos. Para exponer esta tesis propuso la divisin de los juicios en verdades de hecho y verdades de razn. Las primeras se sustentan por la va inductiva de la observacin de una multiplicidad de experiencias y, las segundas, por el contrario, son necesarias, como las deducciones de la lgica y de la geometra. Tambin hay formas mixtas como las demostraciones de las leyes de las ciencias fsicas que combinan la matemtica y la geometra con el experimento.20 Leibniz intenta reducir las operaciones aritmticas a definiciones y al principio de identidad, como en el caso de 2 y 2 igual a 4. Para demostrarlo parte de la definicin de 2
19 20

Cfr. POINCAR, Henry La science et lhypothse. Paris, Flammarion, 1968. LEIBNIZ, Gottfried Wilhemlm. Nuevo tratado sobre el entendimiento humano: Del conocimiento. Libro IV. Madrid: Aguilar, 1972, p. 136.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

196

como constituida por 1 y 1; la definicin de 3 es 2 y 1; la de 4 es de 3 y 1.21 No obstante, para Leibniz tambin existen verdades de razn intuitivas autoevidentes como la de los postulados de la geometra y son aquellas cuya conexin de los conceptos es evidente por s mismas. Como ejemplo en la fsica, dice Leibniz: que lo es que dos cuerpos no podrn estar en el mismo lugar22 Este ltimo caso supone la impenetrabilidad de los cuerpos, enunciado que se ha relativizado con la fsica contempornea de los agujeros negros. Hume es ms radical que Leibniz. Establece una distincin de conocimientos justificados por la experiencia, que son conocimientos de hecho, a diferencia de los juicios basados en la comparacin de ideas segn principios lgicos, as sostiene que cuando una demostracin tiene lugar, lo contrario de ella es imposible e implica una contradiccin. 23 La negacin de la causalidad, por ejemplo, no es demostrable por simples principios lgicos, luego no es ms que una asociacin habitual. Kant, se opone tanto al racionalismo de Leibniz como al empirismo de Hume, pues ambos sustentan la aritmtica en los principios lgicos de la identidad y de la no contradiccin. Los juicios regulados por estos principios son denominados analticos, no obstante, existe una doble definicin de los mismos. La definicin positiva de lo analtico se refiere a aquellos que enuncian de modo total o parcial, proposiciones idnticas tales como a = a; el todo es mayor que la parte24. La definicin negativa de los enunciados analticos, por el contrario, es la que regula las operaciones por el principio de no contradiccin, como en el caso de reduccin al absurdo, que actualmente se considera como el problema de la consistencia. Segn la concepcin kantiana, los juicios analticos por identidad no permiten el incremento del conocimiento, por el contrario, los juicios sintticos no son demostrables por medios exclusivamente lgicos como en el caso de a=b. Kant, observa que las operaciones matemticas respetan el principio de no contradiccin (segn lo cual seran analticas por la definicin negativa), pero conllevan una unin de los nmeros que ofrece un nuevo producto como en el ejemplo de 7+5= 12; en la conclusin de la operacin aparece un nmero que
21 22 23 24

Ibid. p. 90. Ibid., p. 83. HUME, David. Resumen del tratado de la naturaleza humana. Madrid: Aguilar, 1973, p. 35. KANT, Inmanuel. Crtica de la razn pura. Buenos Aires: Losada, 1970. Introduccin. p. 158.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

197

tiene nuevas propiedades, en este caso, es un nmero par. Si el resultado incrementa el conocimiento entonces es sinttico. Los juicios sintticos pueden ser a priori si se pueden demostrar por medio del entendimiento sin necesidad de recurrir a la experiencia para justificarlos o refutarlos. Si por el contrario, si su verdad requiere de la experiencia para su demostracin como cuando se dice que la tierra es redonda, son entonces sintticos a posteriori. Por esta razn Kant afirma que los postulados geomtricos y las deducciones matemticas son juicios sintticos a priori, pues incrementan el conocimiento intuitivo formal (puro) del espacio y en el tiempo (sin contenido emprico). En consecuencia la matemtica y la geometra, a diferencia de la simple lgica formal clsica, son innovadoras. Para exponer el conocimiento de la geometra y de la matemtica Kant recurre, a sustentarlas en las formas puras de la sensibilidad que son el espacio y el tiempo, en combinacin con las categoras de la lgica formal (cantidad, cualidad, relacin y modo). De este modo, los postulados de la geometra euclidiana y los principios de la fsica newtoniana pasan ser esquemas a priori del entendimiento y de la imaginacin formal. Tales son los casos de las leyes de la inercia, de accin y reaccin, la conservacin de la materia; as como en geometra la distancia ms corta entre dos puntos es la lnea recta, etc.25 Las geometras no euclidianas aunque se fueron imponiendo poco a poco entre los gemetras, encontraron una difcil aceptacin por parte de pensadores como Frege, Dhring y Renouvier. Frege, seguidor de la concepcin kantiana de la geometra, aceptaba que los axiomas se captan por una intuicin pura del espacio que coinciden con los de Euclides. Frege conoca la geometra no euclidiana, pero paradjicamente, era el fundador del programa logicista que trataba de reducir la matemtica a la lgica, y, sin embargo, excluye por completo la geometra de su programa. Frege quien se encontraba en completa oposicin a la posibilidad de que pudiera haber varias geometras. El estaba absolutamente convencido de que la nica geometra verdadera era la geometra de Euclides, por lo tanto, que las geometras no eucldeas eran falsas. Ms an, Frege fue un implacable crtico de la concepcin kantiana de la aritmtica, no obstante, se permiti aceptar sin ms y como definitiva la concepcin kantiana de la geometra.26
25 26

Ibid, p. 158-159. MOSTERINI, Jess Conceptos y teoras de la ciencia. Madrid, Alianza, 1984, p. 119.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

198

Para entender las consecuencias pedaggicas y epistemolgicas del hecho cientfico que llev a las geometras no euclidianas ayuda bastante la obra del filsofo y matemtico francs, Henri Poincar (1854-1912), estudioso y crtico de la ciencia, quien, en La ciencia y la hiptesis, obra publicada y complementada ms tarde con El valor de la ciencia y con la obra Ciencia y mtodo, defender como tesis principales: el carcter convencional, intuitivo, constructivo de la ciencia y la libertad creadora del espritu. Segn Poincar, el cientfico no se limita a traducir la experiencia sino que l la genera, la corrige y la reconstruye. La reflexin de Poincar est motivada principalmente por el fulgurante desarrollo de la geometra en el siglo XIX, desarrollo que como se ha visto logr romper con uno de los paradigmas ms fuertes de la ciencia matemtica desde la poca de los griegos, el de la aceptacin de la geometra de Euclides como la nica geometra valida. As mismo, en filosofa, las geometras alternativas, ponen en crisis tanto la intuicin autoevidente, como la reduccin de las ciencias formales a los juicios analticos. El estudio de las diferentes geometras posibles desarrolladas durante el siglo XIX llev a Poincar a plantearse esta cuestin: puesto que muchas geometras son posibles, La geometra de Euclides no ser solamente una geometra provisional? Y, no podr tambin la geometra de Lobachevsky y Riemann convertirse en geometras que se pueden aplicar como la de Euclides? Para resolver todas estas preguntas Poincar lleva su cuestionamiento a la naturaleza de los postulados Son acaso los postulados de la geometra juicios sintticos a priori, como lo sostena Kant? Para Kant tales juicios son considerados por nuestro entendimiento como necesariamente vlidos, sin necesidad de recurrir a la experiencia, sin embargo, incrementan el conocimiento. Los postulados se imponan con tal fuerza al espritu debido a su propia constitucin, que resultaba imposible afirmar lo contrario. Si esto fuese as, es lgico que no pudiera haber geometras no euclidianas. Los postulados de la geometra sern, por el contrario, verdades experimentales? Pero es acaso posible llamar experiencia al trabajo hecho sobre las relaciones con rectas, puntos, circunferencias formadas con conceptos ideales? Adems, argumenta Poincar, si la geometra fuera una ciencia experimental estara sometida a una continua revisin de la experiencia. En
27

POINCAR, H. Naturaleza del razonamiento matemtico. En: La filosofa de la ciencia. Op. Cit., p. 220.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

199

contra de Leibniz, Poincar sostiene que la demostracin de la aritmtica de modo puramente analtico por identidad, sera redundante: Resulta estril porque la conclusin no es ms que la traduccin de las premisas a otro lenguaje27. De otra parte, en la matemtica y la geometra, piensa Poincar: No se puede demostrar todo y no se puede definir todo, ser siempre necesario pedir prestado a la intuicin.28 En consecuencia para Poincar:
Los axiomas geomtricos no son, por tanto, ni juicios sintticos a priori ni hechos experimentales. Son convenciones: nuestra eleccin entre todas las convenciones posibles es guida por los hechos experimentales, pero permanece libre, y slo responde a la necesidad de evitar toda contradiccin. Por ello, es que los postulados pueden permanecer rigurosamente vlidos, aun cuando las leyes experimentales que han determinado su adopcin slo sean aproximadas []. Entonces, qu se debe pensar de esta pregunta? Es verdadera la geometra euclidiana? La pregunta carece de sentido. Es lo mismo que preguntar si el sistema mtrico es verdadero y las antiguas medidas falsas. Una geometra no puede ser ms verdadera que otra; solamente puede ser ms cmoda.29

Otra reflexin importante en la comprensin del desarrollo de las geometras no euclidianas es el de la invencin. Cmo se hacen las matemticas? Qu es de hecho una invencin matemtica? Para Poincar Es preciso aceptar entonces que el razonamiento matemtico tiene por s mismo una especie de virtud creadora y por consiguiente se distingue del silogismo30. Pero este punto de vista no consideraba la creacin en la lgica simblica contempornea y slo juzgaba la lgica formal aristotlica. La matemtica como la geometra se forman mediante una combinatoria de relaciones que constituye una verdadera construccin y es por este incremento del conocimiento que es posible la invencin. El razonamiento matemtico tambin incluye la retroaccin de los teoremas sobre sus definiciones y axiomas, un retorno del todo a las partes. La construccin implica un orden, una unidad
28

29

30

POINCAR, H. Las definiciones matemticas y la enseanza. En: La filosofa de la ciencia. Op. Cit., p. 204. POINCAR, Henri. Geometras no euclidianas. En: Filosofa de la ciencia. Mxico: Universidad Autnoma de Mxico. 1964, p. 160. POINCAR, H. Naturaleza del razonamiento matemtico. En: La filosofa de la ciencia. Op. Cit., 218-219.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

200

del conjunto y no una simple yuxtaposicin. Este procedimiento que no se muestra en las deducciones, aparece, sin embargo, en los nuevos planteamientos matemticos. De este modo:
Los matemticos proceden por construccin; construyen combinaciones cada vez ms complicadas. Volviendo enseguida, mediante el anlisis de esas combinaciones, de esos conjuntos por decirlo as, a sus elementos primitivos, perciben las relaciones de esos elementos y deducen las relaciones de los conjuntos mismos31.

Al parecer las discusiones sobre los fundamentos de la matemtica, en gran parte dependen de la definicin de ciertos criterios y desde el punto de vista con el que se examinen los problemas, pues algunas veces, los trminos empleados, poseen diversos significados o apuntan a diferentes interrogantes. Para Kant, como tambin para Poincar las matemticas son innovadoras, y por esta misma razn, no pueden ser exclusivamente analticas, es decir, no pueden estar constituidas nicamente por los principios de identidad y no contradiccin. Pero, sera necesario aclarar las tesis de Kant y Poincar: si atendemos a la definicin negativa de los enunciados analticos, segn la cual todos los enunciados lgico-matemticos deben estar regulados por el principio de no contradiccin, todas las ciencias formales seran analticas desde el punto de vista de la prueba de su consistencia, no obstante, son creativas como dice Poincar, o novedosas como propone Kant. Esto es posible porque la analiticidad negativa de las deducciones, no es contradictoria con la novedad, pues, el principio de no contradiccin, slo limita: prohbe la contradiccin, no la combinatoria ni las convenciones formales. Deja un gran campo abierto a las conexiones creativas, a las relaciones inslitas. De un modo similar el trmino sinttico aplicado a los enunciados pude adquirir dos significados: a) como enunciados cuya validez no depende de los principios lgicos; en este sentido, las ciencias lgico-matemticas no podran estar constituidas simplemente por enunciados sintticos, pero sus postulados s podran ser sintticos desde el punto de vista de la significacin formal, como de hecho aparece en las geometras alternativas; la aceptacin de uno u
31

Ibid., p. 232.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

201

otro postulado es una convencin formal que se encuentra articulada al conjunto de las definiciones y deducciones, no es arbitraria ni absolutamente libre; y, b) lo sinttico se puede definir como resultados deductivos que no se encuentran en las premisas sino que dan lugar a las innovaciones; o bien, como enunciados que no expresan exclusivamente principios lgicos aunque estn regulados por los mismos. Considerando sta ltima definicin de enunciado sinttico como novedad y, contando con la definicin de los enunciados analticos negativos, la matemtica estara constituida por enunciados mixtos analticossinttico de acuerdo a la perspectiva o, si se prefiere, sus enunciados seran analticos-constructivos a priori por ms que les pese, como deca Kapler, al gritero de los torpes. Una situacin similar aparece con la definicin de a priori: a) la primera, es la definicin de los enunciados formales a priori que son aquellos cuya validez no depende de la experiencia sino de definiciones, axiomas, postulados y deducciones lgico-matemticas; estos enunciados ni se confirman ni se refutan mediante la observacin; en este significado todas las ciencias lgicomatemticas son necesariamente a priori e incluyen, tambin, los enunciados analticos y las convenciones formales; b) la segunda, es la definicin del a priori constitutivo que es ms amplia y usada en filosofa, se refiere a aquellos enunciados que no slo son relativamente independientes de la experiencia sino que tambin son supuestos o enmarcan todas las experiencias: todas las experiencia los mostraran pero algunas teoras podran relativizarlos y reubicarlos como condiciones particulares. Este ltimo significado caracteriza propiamente la filosofa de Kant cuando intenta establecer las condiciones de la experiencia posible (postulados de la geometra euclidiana y principios supuestos por la fsica clsica) no obstante, tambin este punto de vista se ha relativizado al igual que la mayora de las intuiciones32 con las geometras alternativas y la fsica contempornea, por un lado y, con la sicognesis cognitiva, del otro.
32

Existen diversas escuelas intuicionistas, una de ellas, la de Brouwer, tiene consecuencias en la limitacin de algunos teoremas como el de los transfinitos de Cantor, dado que no pueden ser construidos por el sujeto: estn ms all de su alcance. Cfr. BARKER, S. Filosofa de la matemtica. Mxico: U.T.H.A, 1965, pp. 112-120. Para Poincar, adems de los principios analticos, hay intuiciones en los puntos de partida, convenciones y construcciones. En Piaget, por el contrario, no hay intuiciones autoevidentes sino como resultado del proceso de construccin: se acepta las matemticas al infinito y la ampliacin de estructuras posibles como las geometras alternativas.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

202

Reflexionando sobre el tema de la invencin nos dice James Newman en Sigma el mundo de las matemticas citando a Poincar, que la invencin matemtica no consiste slo en hacer nuevas combinaciones con entes matemticos ya existentes, lo cual podra hacerlo cualquiera, sino que consist e, fundamentalmente, en discriminar y escoger, pero de modo especial, el inventor en matemticas es aqul que es capaz de encontrar relaciones insospechadas entre elaboraciones ya conocidas hace tiempo, pero que se consideraban como independientes. Es posible que el inventor tenga ciertos momentos de iluminacin sbita, a veces hasta inconsciente, pero lo cierto es que el inventor estaba buscando algo y que una vez pasado el momento de la iluminacin debe dedicar mucho tiempo al trabajo consciente, a dar forma a los resultados de la inspiracin, a deducir las consecuencias, redactar las demostraciones, y sobretodo, a comprobarlas porque, generalmente, el momento de inspiracin da certezas que muchas veces, el trabajo consciente y metdico de reflexin, y comprobacin, obliga a desechar. 33 La reflexin sobre la invencin lleva a la creatividad. En el desarrollo de las geometras no euclidianas hubo matemticos altamente creativos, pero, cmo debe entenderse la creatividad? El gran qumico y pedagogo norteamericano J.J. Lagowski, distingue cuatro etapas en una experiencia creativa: preparacin, incubacin, iluminacin y comprobacin (verificacin) aclarando que la naturaleza y extensin de cada etapa pueden variar considerablemente de un caso a otro. La creatividad es difcil de reconocer y es difcil prever un acontecimiento creativo, pero una vez ocurrido, las personas entendidas lo reconocern como tal, como el resultado de un trabajo realmente original, porque la novedad y la originalidad son las caractersticas fundamentales del pensamiento creativo que no puede medirse en trminos operacionales.34 La preparacin, o etapa inicial, incluye el tiempo y el esfuerzo gastado en adquirir mucha informacin y experiencia con el fin de estar listo para llegar a un nuevo punto de vista. El investigador est buscando, quiere encontrar una nueva perspectiva o una nueva solucin para un problema. Esta es una etapa de intenso trabajo investigativo, reflexivo y analtico.

33

34

NEWMAN, John Von Sigma. El mundo de las matemticas. Barcelona, Grijalbo, tomos V, 1983. LAGOWSKI, J.J. Pgina editorial de la revista estadounidense Journal of Chemical, nmero 5, volumen 62, (mayo 1985).

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

203

Realizado este trabajo previo comienza la incubacin, segundo perodo del proceso creativo, donde no son los procesos lgicos los que llevan necesariamente a la solucin creativa como bien lo sealara en alguna ocasin Einstein; a veces la confianza en los poderes de la razn puede empujar al investigador a una solucin rpida pero equivocada. Como lo haba planteado Poincar, Lagowski insiste en que el subconsciente es el asiento del pensamiento creativo, porque en l, el investigador no est limitado por las restricciones corrientes y literales del lenguaje consciente y es all donde el simbolismo es ms alegrico y metafrico. Subraya que en dicho nivel la mente puede movilizar con rapidez grandes cantidades de datos y suponer asuntos dismiles en nuevos modelos preceptales y conceptuales. La iluminacin, o tercera etapa del pensamiento creativo es el momento en el cual el nuevo concepto, o las nuevas posibilidades, irrumpen en lo consciente. Cuando sobreviene la iluminacin hay una exaltacin de la tensin, una excitacin o reaccin descrita por muchos como la rplica del aj!, el eureka! de Arqumedes cuando descubri su famoso principio. El estudio del desarrollo de las geometras no euclidianas, como el de cualquier otro descubrimiento en ciencia, deja ver que los resultados cientficos innovadores son fruto de un gran trabajo investigativo, analtico, crtico y constructivo donde, si bien puede haber jugado mucho el genio inventivo de sus creadores, no puede desconocerse el trabajo histrico de bsqueda de nuevas soluciones que durante siglos inquiet a las mentes ms lcidas de lgicos, y matemticos, desde la poca de los griegos. 6. Conclusin: origen de las primeras nociones matemticas y sus repercusiones pedaggicas En el siglo XX las matemticas han logrado un alto grado de abstraccin y sofisticacin, sin embargo, es claro que la matemtica apareci originariamente como parte de la vida diaria del hombre, la supervivencia de la especie humana est relacionada, en gran parte con el desarrollo de los conceptos matemticos. Los conceptos de nmero, magnitud y forma se remontan a los primeros das de la raza humana, e incluso se considera que la capacidad de distinguir entre nmero, tamao, orden y forma, no son propiedad exclusiva del hombre, sino tambin de algunos animales, como lo seal Darwin en El origen del Hombre.35
35

DARWIN, C. El origen del hombre. Medellin: tomado de Editorial Anteo, s.f.

Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

204

Es posible que el hombre haya necesitado miles de aos para extraer conceptos abstractos de situaciones concretas repetidas. Algunos, por ejemplo, afirman que las matemticas aparecieron para resolver problemas prcticos, pero, adems ciertos estudios antropolgicos sugieren que el arte de contar pudo haber aparecido en conexin con rituales religiosos. Las relaciones espaciales, no tiene porque haber tenido exclusivamente una motivacin prctica, sino posiblemente esttica, para disfrutar de la belleza de la forma, como le pasa a muchos matemticos modernos. Tambin Aristteles (384-322 a. J.C.) sita los orgenes de la geometra en Egipto, pero pensaba que ella haba nacido all gracias a la amplia clase sacerdotal ociosa. El origen de la geometra que es sin duda ms antigua que el arte de la escritura. Herodoto (historiador griego, llamado el padre de la historia, (484 420? a. de J.C.) por ejemplo, pensaba que la geometra haba nacido en Egipto, a partir de la necesidad prctica de volver a medir las tierras despus de las inundaciones del ro Nilo. Piaget realiza una comparacin entre la historia de la matemtica y el aprendizaje inteligente por parte del nio.36 Para Piaget, las ciencias lgico-matemticas tienen su origen en la coordinacin de la accin como en los casos de clasificar, formar conjuntos, series de menor y mayor, incluir, dividir, clasificar, reunir, establecer correspondencias, etc. Ciertos empirismos fracasaron al intentar explicar el origen sicolgico por medio de la experiencia, pues lo que se abstrae en este caso, es la informacin sobre propiedades fsicas como colores, texturas, pesos, etc. El aprendizaje lgico-matemtico, por el contrario, abstrae esquemas de la accin que no incluyen propiedades del objeto, antes bien tratan de nuestra interaccin con ellos, como haba propuesto la filosofa dialctica de la praxis al sustentar el desarrollo del entendimiento sobre el trabajo (Hegel, Marx, Engels). En cuantos a los orgenes Piaget se interesa por investigar el aprendizaje de la geometra a partir de los conjuntos prcticos, segn lo haba propuesto Poincar, pues estos conjuntos corresponden a las formas ms elementales de la coordinacin sicolgica de la accin. En los conjuntos prcticos se da la posibilidad de coordinar movimientos como los del punto de partida y retorno, realizar la operacin inversa en la accin, la eleccin de diversos caminos hacia la misma meta (rodeos),
36

Cfr. PIAGET, J. Introduccin a la epistemologa gentica: 1 El pensamiento matemtico. Buenos Aires, Paidos: 1975, p. 297.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

205

acumulacin de procesos en el movimiento en el espacio y la repeticin. Estas operaciones motrices, se abstraen, en mltiples operaciones como la sumatoria, la identidad, la asociatividad, la seriacin, las figuras, la operacin inversa, etc. Piaget, estudia la gnesis de la geometra en el nio en la cual trata de la construccin de conceptos espaciales, topolgicos, proyectivos y euclidianos.37 Todos los pueblos de la tierra utilizan operaciones lgico-matemticas primero en forma concreta, en la cual las operaciones se realizan con los objetos, como en los casos de la agrimensura, la construccin de viviendas, la organizacin en procesos de caza y pesca,38 la recoleccin que organizan topolgicamente los espacios, la distribucin de bienes que conlleva una cuantificacin y asociacin de operaciones, etc. Para el caso, no interesa que tales actividades se encuentren asociadas con mitos, ritos o al arte, de igual manera exigen operaciones, primero con los objetos, en concreto y, posteriormente, en abstracto, es decir, en operaciones formales. Segn Piaget, a partir de las operaciones formales, las construcciones axiomticas de las geometras alternativas con sus conceptos, postulados, axiomas y deducciones, se separan de la interaccin directa de la experiencia con los objetos fsicos. Las operaciones formales conducen a generalizaciones, abstracciones y relaciones que sobrepasan la experiencia, como en el caso de la extensin al infinito, de tal manera que las coordinaciones de la geometra clsica (postulado de Euclides, axiomas de Arqumedes) se convierten en un caso especial de las coordinaciones lgicomatemticas posibles.39 Al mismo tiempo que los nuevos formalismos se alejan de las operaciones concretas, se abren nuevas compuertas, nuevas posibilidades para entender dimensiones del cosmos que sobrepasan nuestros organismos. As
37

38

39

Cfr. PIAGET, J. y Otros. La epistemologa del espacio. Buenos Aires, Ateneo, 1971. Cfr. FLAVELL, J. H. La sicologa evolutiva de Jean Piaget. Barcelona: Paidos, 1982. Los indgenas del Amazonas pescan con flechas, lo cual significa que en trminos prcticos tienen que corregir la refraccin de la luz y apuntar al pez donde realmente est y no como lo muestra la apariencia. Tambin Gaston Bachelard, al referirse al nuevo espritu cientfico que surge a finales del siglo XIX con el nacimiento de las geometras no euclidianas subraya la importancia que tuvo el entender la geometra como expresin de relaciones, las cuales pueden ser vlidas siempre y cuando el desarrollo de cada una de ellas guarde coherencia interna con los postulados y axiomas que se hayan tomado como punto de partida, veamos: Como se sabe, la equivalencia de las diversas imgenes geomtricas ha sido definitivamente establecida cuando se encontr que, unas y otras, correspondan a una misma forma algebraica. Una vez fijada esta correspondencia, ya no era de temerse una contradiccin en el sistema de Lobachevsky, o en el de Euclides, puesto que una contradiccin geomtrica,
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

206

en la astrofsica y la microfsica se vuelve a encontrar el objeto, pero a un nuevo nivel de profundidad al que slo alcanza nuestro entendimiento axiomticoexperimental como el planteado por la teora de la relatividad general de Einstein, aplicando la geometra de Riemann. Con los estudios de la sicologa cognitiva, Piaget retoma las tesis kantianas de la formacin del entendimiento, pero lo hace desde el punto de vista genticoestructural, es decir, de la coordinacin y unidad de las operaciones que se van constituyendo en un proceso histrico y en el desarrollo ontogentico individual. ste punto de vista epistemolgico se denomina constructivismo. Desde la perspectiva de la construccin y la reflexin que retorna a sus conceptos y principios primitivos, no existe la intuicin como autoevidencia por la constitucin del entendimiento como lo suponan Leibniz y Kant, toda intuicin, as como toda convencin formal es el resultado de la abstraccin, la construccin y la reflexin retroactiva. Tampoco sera posible la simple reduccin del conocimiento a enunciados analticos o a tautologas como lo pretende el empirismo lgico contemporneo pues no explica la convencin, la combinatoria ni la innovacin, no obstante, la construccin y la creatividad deben realizarse de modo consistente. Para Piaget, sin embargo, existe una diferencia entre la creatividad literaria o social y la construccin lgico-matemtica en razn de los formalismos necesarios que se llevan a cabo en las deducciones. La unilateralidad del empirismo lgico al reducir las ciencias formales a los enunciados analticos no impide que las ciencias lgico-matemticas puedan ser comprendidas en la analiticidad negativa, como un lmite, dado que siempre intentan probar su consistencia o su coherencia.40 De otra parte, la reduccin de la matemtica
independientemente de su origen, se recuperara en la forma algebraica y de ah, en todas las otras geometras. En suma, el lgebra aglutina todas las relaciones y slo las relaciones. Es, en tanto que relaciones, que las diversas geometras son equivalentes. Es en tanto que relaciones que tienen una realidad; no por referencia a un objeto, a una experiencia o a una imagen de la intuicin. Cfr. BACHELARD, Gaston. El nuevo espritu cientfico. Mxico, Nueva imagen, 1981, p. 32-33. Hempel, ilustra la tesis de la analiticidad de las teoras geomtricas al afirmar que las deducciones son analticas y, por lo tanto, con verdad exclusivamente formal (pues no dependen de la informacin fsica) pero a condicin de que se acepten sus postulados. Esto significa que su tesis de la analiticidad de la geometra sera parcial, pues atendera slo lo deductivo, no a los postulados ni a la construccin. Cfr: HEMPEL, Carl. Geometra y ciencia emprica. En: NEWMAN, J. R. (Antologa y notas). Matemtica, verdad, realidad. Barcelona, Grijalbo, 1974, pp. 33-48.

40

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

207

a la analiticidad fracasa en muchos aspectos: de una parte, los postulados deberan ser analticos y precisamente sto es lo que se ha refutado con las geometras no euclidianas; de otra, los enunciados analticos permiten una circularidad pues se definen los unos por los otros y viceversa.41 Las tautologas42 en cuanto se conciben como la deduccin de acuerdo a la forma lgica, se distinguen de los enunciados analticos por la significacin en el lenguaje y las ciencias formales no pueden prescindir del lenguaje cotidiano en sus definiciones.43 Adems, existen serias dudas de que la induccin matemtica de las propiedades de los nmero al infinito (n+1) pueda ser comprendida como simplemente analtica 44 y, por ltimo, segn el teorema de Gdel 45 (emparentado con la teora de los tipos) ningn sistema puede demostrar su propia no contradiccin e implica un sistema ms fuerte: las demostraciones consistentes deben ser incompletas.46 Entonces, las ciencias lgicomatemticas seran meta-analticas negativas y meta-constructivas. No podran demostrar todo, ni construirlo todo. Otra conclusin importante sobre las consecuencias epistemolgicas y pedaggicas del desarrollo de las geometras no euclidianas, hace referencia a la
41

42

43

44 45

46

Ejemplo de tal circularidad es la definicin: los solteros son no casados. Quine adems dice que esto es relativo al significado de soltero que puede ser: sin pareja, en unin libre, etc. Cfr. QUINE, W. V. Desde el punto de vista lgico. Barcelona, Ariel, 1962, p p. 50-81. El punto de vista de la reduccin de la lgica a tautologas podra definirse as: Todas las proposiciones de la lgica, dicen lo mismo. Es decir, nada. WITGENSTEIN, L. Tractatus Logico-Philosophicus. 5.451, Madrid, Alianza, 1973, p. 133. Piaget por el contrario, plantea que las tautologas no son necesariamente igualacin de identidades sino deducciones que transmiten la verdad de los enunciados como en el caso (p. q) (p q). Cfr, PIAGET. Lgica y conocimiento cientfico. Naturaleza y mtodos de la epistemologa. Trad. Hugo Acevedo. Buenos Aires, Proteo, 1970, p. 97. En la geometra existen trminos no definidos y los definidos, lo cual constituye una semntica. A partir de los contextos semnticos se definen algunos de sus postulados, como el de la lnea recta, a diferencia de las teoras fsicas cuyo relevancia involucra tambin los experimentos. Cfr. BARKER, S. Filosofa de la matemtica. Op. Cit., p. 63-68. Cfr. PAP, A. Teora analtica del conocimiento. Madrid: Tecnos, 1964. Cap. VI. Para Quine, el teorema de Gdel refuerza en cierto sentido la concepcin intuicionista, pues no puede haber procedimientos completos de la teora de los nmeros. En ciencias formales por constructivismo, como una variante del intuicionismo, se entiende el punto de vista que exige mostrar cmo se encuentran las conclusiones, si se cumplen esas exigencias es un logro, pero su aspecto cuestionable es que limita las propuestas, y de otro lado, el constructivismo huye de las paradojas, no intenta solucionarlas. Cfr. QUINE, W.V. Filosofa de la lgica. Madrid: Alianza Universidad, 1973, p. 150. Cfr. RUSSELL, B. La lgica matemtica y la fundamentacin en la teora de los tiposEn: Lgica y conocimiento. Madrid; Taurus, 1966.
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

208

interrelacin permanente entre el mundo de la experiencia sensible activa y productiva, y el mundo del puro razonamiento abstracto en el desarrollo y evolucin del pensamiento matemtico. Esta conclusin tambin refuerza el punto de vista pedaggico. Si las ciencias formales pueden ser consideradas como construcciones de conceptos y de relacione abstractas, stas tienen su origen histrico en el trabajo y, los nios y aprenden a partir de la actividad con los objetos, entonces, tambin la pedagoga de estas ciencias debe ser activa como haba entrevisto Pestalozzi:
Ahora bien, lo que ha enseado la experiencia es precisamente que esos nios que adquirieron las primeras nociones aritmticas de un modo manual, y con el mtodo que he descrito [en la actividad con los objetos] ofrecan dos grandes ventajas en relacin con los otros. En primer lugar, eran perfectamente conscientes no slo de lo que hacan sino tambin del motivo por el que lo hacan. Se haban enterado de los principios de los que depende la solucin; hacan algo ms que servirse mecnicamente de una formula47.

Este aprendizaje constituye precisamente el centro de la investigacin epistemolgica de la sicologa gentica que ha desarrollado Piaget. En consecuencia la pedagoga debe remitir, en principio, a las operaciones empricas activas para elevar cada vez ms la abstraccin y la construccin creativa de nuevos teoremas y formalismos. La conexin de la historia de la geometra en relacin con la pedagoga, podra resumirse en un texto de Poincar:
El fin principal de la duda matemtica es desarrollar ciertas facultades del espritu, y, entre ellas la intuicin. Es merced a ella que el mundo matemtico permanece en contacto con el mundo real; y cuando las matemticas puras pudieran prescindir, de ella, sera preciso siempre tener recursos para salvar el abismo que separa el smbolo de la realidad.48.

Bibliografa AGAZZI, Evandro y PALADINO, D. Le geometrie non - euclidienne e i fondamenti della geometria. Miln, Mondarori, 1978.
47 48

PESTALOZZI, J. H. Cartas sobre la educacin infantil. Madrid: Tecnos, 1966, p. 127. POINCAR, H. Las definiciones matemticas y la enseanza. Op. Cit., p. 202.

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

209

BARKER, Stephen. Filosofa de las matemticas .Mxico: UTEHA, 1965. BACHELARD, Gastn El nuevo espritu cientfico. Mxico: Nueva imagen, 1985. BOLYAI, J. The Science absolute of space. Introduccin y traduccin del Latin de George Bruce H, Austin, Texas: Ed. Neomon. 1896. BLANCHE, Robert Laxiomatique. Pars, PUF, 1959. BOYER, Carl Historia de las matemticas. Madrid: Alianza, 1999. BONOLA, Roberto Sobre la geometra de las paralelas y sobre las geometras no euclidianas. Buenos Aires: Losada, 1945. CID, Felip Historia de la ciencia. Barcelona: Planeta, tomo I, 1977. DARWIN, C. El origen del hombre. Medellin: tomado de Editorial Anteo, s.f. DE LORENZO, Javier. La filosofa de la matemtica de Poincar. Madrid: Tecnos, 1974. EINSTEIN INFELD La fsica, aventura del pensamiento. Buenos Aires: Losada. 1939. EUCLIDES. Elementos. Trad. Mara Luisa Puertas. Madrid: Gredos, 1991. HUME, David. Resumen del tratado de la naturaleza humana. Madrid: Aguilar, 1973. KANT, Inmanuel. Crtica de la razn pura. Buenos Aires: Losada, 1970. LEIBNIZ, Gottfried Wilhelm. Muevo tratado sobre el entendimiento humano: Del conocimiento. Libro IV Madrid: Aguilar, 1972. LAGOWSKI, J.J. Pgina editorial de la revista estadounidense Journal of Chemical, nmero 5, volumen 62, (mayo 1985). LAKATOS, Imre Historia de la ciencia y sus reconstrucciones racionales. Madrid: Tecnos, 1987. PESTALOZZI, J. H. Cartas sobre la educacin infantil. Madrid: Tecnos, 1966. NEWMAN, John Von. Sigma. El mundo de las matemticas. Barcelona, Grijalbo, tomos IV y V, 1983. NEWMAN, J. R. (Antologa y notas). Matemtica, verdad, realidad. Barcelona: Grijalbo, 1974. MOSTERINI, Jess. Conceptos y teoras de la ciencia. Madrid: Alianza, 1984. PAP, Arthur. Teora analtica del conocimiento. Madrid: Tecnos, 1964. PIAGET, J. y Otros. La epistemologa del espacio. Buenos Aires: Ateneo, 1971. PIAGET, J. Introduccin a la epistemologa gentica: 1 El pensamiento
210
Cuestiones de Filosofa No. 13 Ao 2011 ISSN 0123-5095 Tunja-Colombia

matemtico. Buenos Aires: Paidos, 1975. PIAGET. Lgica y conocimiento cientfico. Naturaleza y mtodos de la epistemologa. Trad. Hugo Acevedo. Buenos Aires: Proteo, 1970. PIAGET, J. y BETH, E. W. Relaciones entre la lgica formal y el pensamiento real. Trad. Vctor Snchez de Zavala, Madrid: Nueva Ciencia, 1a Ed. 1968. POINCAR, Henri. La science et lhypothse. Paris: Flammarion, 1968. POINCAR, Henri. Filosofa de la ciencia. Mxico: Universidad Autnoma de Mxico. 1964. POINCAR, Henri. Ciencia y mtodo. Madrid: Espasa-Calpe, 1963. RIEMANN, G.F.B. Riemanniana selecta. Madrid: Ferreirs, 2000. REALE Giovanni y ANTISERI, Daro Historia del pensamiento filosfico y cientfico. Barcelona, Herder, Tomos I y III, 1988. RUSSELL, B. La lgica matemtica y la fundamentacin en la teora de los tipos- En: Lgica y conocimiento. Madrid; Taurus, 1966. VERA, Francisco, (Comp). Cientficos griegos. Madrid, Aguilar, tomo I., 1970 WITGENSTEIN, L. Tractatus Logico-Philosophicus. Madrid, Alianza, 1973.

Recibido: abril 30 de 2011 - Aprobado: septiembre 29 de 2011

Lecciones epistemolgicas de la historia de la geometra - p. 183 - 211

211