RESENAS Kesena de Libros Morris Kline (Trad. Andrés Ruiz Merino) Matematicas. La pérdida de la incertidumbre. Siglo XXI- Primera edicién en espanol, 1985. En la introduccién se hace explicite que el libro trata a nivel no técnico, el surgimiento y declinacién de la majestad de las Mateméticas. Se narran las calamidades -como las llama el autor- sucedidas a uno de los esfuerzos més persistentes y profundos para utilizar la razén en Mateméticas. Una de estas calamidades tiene lugar con la aparicién de las geometrias no euclideanas: otra, al descubrir que la légica estaba en un estatus de baja forma, y entonces las Mateméticas se habian desarrollado de manera ilogica, lo cual implicaba insuficiente comprensién de conceptos, falta de reconocimiento de principios légicos, e insuficiente rigor en las domostraciones. Cuando en 1900 los mateméticos creian haber logrado la meta, aparecen luego en 1930 los resultados de Godel que demostraban la imposibilidad de poder demostrar la consistencia de las Matematicas. Sin embargo, queda la cuestién de investigar, no obstante, las teorias tan contrapuestas de los mateméticos, que han demostrado ser tan efectivas, Entre la génesis de las verdades mateméticas, el florecimionto de las verdades de la Matemética, la matematizacion de las ciencias y el marchitamiento de la verdad, todo ello abarcaria un ciclo. Esto es lo que comprenden los primeros cuatro capitulos. En principio se hace una exposicién historico-filoséfica acerca del desarrollo del pensamiento matematico, como lun modo de pensar el mundo en las manifestaciones importantes dela cultura humana, en Occidente, por parte de la civilizacién griega, en una actitud de biisqueda de la verdad. Tal exposicién comprende dos periodos: El clasico, entre los siglos VI y Illa. C., y el periodo Alejandrino, siglos Ill a. C-Vid.C. Se muestran los desplazamientos de las explicaciones magico-religiosas (primer periodo), hasta el perfeccionamiento del método axiomaitico- deductive, como recurso de garantia de consistencia de la verdad.BE eovcacion Marenanca Ml Vol. 6-No.3 + Diciembre 1999 M@ © GEL Wray. 127 ——.$. $e La Conquista de Grecia por Jos remanos y egipcios y el duro golpe que representé el surgimiento del cristianismo, con componentes del proceso de destruccién de la civilizacién griega. La actividad matemética se ve continuada por hindiies y arabes enire (200 a. C.-1200d. C.), ante ladicotomia de cémo conciliar la comprensién del universo de Dios (cristianismo) con un plan matemadtico de la naturaleza (idel griego). Ello hace que los trabajos matemiticos de los siglos XVI, XVII, y gran parte del siglo XVIII, sean una busqueda religiosa. La siguiente etapa, el ranacimiento, otigina que resurjan los ideales griegos. Galileo, en cuanto al método para obtener primero principios, hace ‘qportaciones innovadoras al método cientifico. La deseripeién fisica como meta de la ciencia (Aristételes), la replantea por una descripcién matematica de la naturaleza. Su filosotia y metodologia prepararon el camino a las investigaciones de Newton. El fenémeno de matematizacién de las ciencias se da a través de la explicacién mateméttica de las leyes de Ia naturaleza como un medio de biisqueda de respuesta al Plan (Divino) Matematico de la Naturaleza. En todo este trabajo Newton adopts el propésito de Galileo de buscar una descripcién matematica en lugar de uncrexplicacién fisica (Aristételes). Unilicd gran cantidad de resultados teéricos y experimentales de Kepler, Galileo y Huygens. Colocé la descripcién matemaética y la deduccion en el centro de todas las exposiciones y predicciones cientificas. Esta etapa conesponde a una clase de desarrollos y descubrimientos en distintos campos de las ciencias naturales (Célculo, Algebra, Mecénica, etc.) que sentaron bases para el Gesarrollo de la ciencia moderna. Elimpulso de matematizacién de las ciencias del siglo XVII se proyecté hasta la primera mitad del siglo XIX. La preocupacién por alcanzar resultados puramente mateméticos reemplazé la preocupaciéa por el plan divin. Hacia 1800, la presencia de Dios fue cada vez menos sentida, y algunos filésofos radicales como Hume, rechazaron todo tipo de verdades. Los matematicos de la época ain creian en la verdad de las leyes mateméticas de la naturaleza. Newton primero, luego G. S. Klugel observaron que la aceptacién del Quinto Postulado se basaba en la experiencia, Antecedidos por Saccheri, Gauss (1813), Lovachevski y Bolyai crearon la geomettria hiperbdlica. Riemann, la geometric eliptica, Para Gauss la verdad matemética residia en 1a aritmética pero, con la creacién desde el siglo XVI de vectores, matrices, ‘cauterniones y nimeros complejos, resulté que cada aritmétiea esté disenada para representar algunos tipos de fenémenos fisicos. Este proceso entre matematicas y mundo fisico lo resumié Galois al decir que las mateméticas son obra de la mente humana y estan destinadas a estudiar mas que a conocer, a buscar la verdad més que a encontrarla.ase 128 Eoecacton Natesatics HE Vol. 6- No.3 + Diciembre 1998 MG Get Ml OO Los siguientes cuatro capitulos comprenden otro ciclo que el autor denomina Desarrollo llogico. Se destaca el éxito que por mas de 2000 anos ereyeron alcanzar los mateméticos aplicando el método deductivo para conseguir verdades. Les hizo relegar discrepancias sobre una funda- mentacién légica, Luego la creacién de geometrias no euclideanas y cuaterniones revel6, en el primer caso, una geometric euclideana légicamente delectuosa. En el segundo caso, hizo revisar las bases légicas de la aritmética, Algebra (de los reales). Con el xelevo de la civilizacién griega por los hindties y arabes en matematicas, éstos privilegiaron los calculos aritméticos y rele- garon cla demostracién. Después, los mateméiticos renacentistas enfrentaron ‘el dilema de, por un lado, el aspecto deductive (geometria griega), y por el otto, el aspecto “utilitario (aritmética, Glegra sin fundamento légico), agre- géndose la creacién de los nimeros complejos. En todo esto, fue la experiencia lo que hizo que los europeos pudieran estudiar y aplicarlos distintos tipos de niimeros y el dlgebra, los cuales no habian sido jamas establecidos. En este proceso, Ia libre creatividad se sobrepuso al escripulo légico. En el siglo XVI, el contexto en que se desarrollé el anélisis, se caracterizé por una ausencia de rigor légico de ramas importantes de las Matematicas: aritmética, algebra, y una base no muy segura dela geometria. Ademés, un desarrollo libre y poco claro del concepto de funcién. El Caleulo introdujo dos conceptos importantes y complejos: derivada e integral. los cuales fueron abordados por los mejores matematicos del siglo XVII. La idea de rigor y la conficnza en sus resultados, se finc6 en una légica de procesos correctos y de la fecundidad de sus métodos, gracias a los cuales se crearon nuevas ramas, conceptos y metodologics, como: series infinitas, ecuaciones diferenciales, célculo variacional, geometria diferencial, etc. Esto sucedio hasta con los principales creadores del Calculo: Newton y Leibnitz, por lo que se dificulté el establecimiento de fundamentos logicos adecuados. En el siglo XVIII, Euler, a la par de Lagrange, realizé esfuerzos importantes destinados a fundamentar el anélisis, aunque sin éxito. Todo esto hizo patente la urgente necesidad de fundamentar el andlisis. Desde el inicio hasta bien entrado ya el siglo XIX continuaré la confusién en dlgebra y andlisis. No habia aceptacién comin de los nimeros negatives y complejos. Incluso todos los textos del siglo XIX continuaban usando los términos diferencial e infinitesimal de manera poco consistente. Peacock propuso su principio no establecido légicamente, de permanencia delas formas, el cual se adopi6 a lo largo del siglo XIX y luego fue invalidado por la creacién de los cuaterniones. En este panorama la geometria de Descartes se convirtié en campo favorite de estudio. El rigor se basabaen un ‘acto de la fe. La fiabilidad de las conclusiones descansaba en el hecho que se impusiera un virtuosismo técnico. Caracteristicas de los trabajos de los siglos XVII, XVIII y XIX fueron su carencia de rigor, ala vez que magistralmente creatives. La tarea de una fundamentacién rigurosa de las mateméticas estaba en pueria,Bi Evcacion Matenaricn MLVOl. 6 -No. S * Diciembre 1994 © Gel rig, 129 m Desde los principios del siglo KX se inicia el programa de construccién de una fundamentacién adecuada de las mateméticas. No hay un cambio que vaya de la confianza: on la verdad a la consistencia logica. Asi, en 1990 habian sido rigorizados Ia aritmética, ol dlgebra, el anélisis y también la geometria, principalmente debido al trabajo de Hilbert. Parclelamente c ese Proceso, otros mateméticos estudiaban la légica que se ulilizaba. Esto hizo ‘que desde Boole hasta Schroeder, Pierce y Frege, las innovaciones en légica consistieran en aplicar el método axiomético. Simbolismo y demostracion deductivar de principios légicos « partir de axiomas légicos, para evitar los significados y connotaciones psicolégicas, epistemolégicas y metatisicas. A comienzos del siglo XIX, los matemétcos se dieron cuenta del abismo entre Jas mateméticas y el mundo real. De hecho, la axiomética y el rigor justficaron Jo que los mateméticos sabian, que debia ser asi, De este modo, en 1800 el rigor recfirmé su papel en mateméticas acorde con los criterios fijados por los griegos. El poze de la crisis se ahondaba, no obstante el alto grado de rigor matemético alcanzado en 1900 por el nivel de axiomatizacién que reemplazaba las conclusiones intuitivas. Poco después en la teoria de conjuntos, al concebirlos como un todo existente (Cantor, 1873), se descubrieron paradojas; unas semanticas y otras de orden légico. Esta teoria era profusamente empleada en otras dreas matematicas. Le introduccién de ordinales y cardinales transfinitos implicé una dificultad primeramente publicada por Buraliforti (1878). Acarreé protestas fuertes de unos (Kronecker, Poincaré, etc.) y reconocimientios de otros (Russele, Hilbert). Con la aparicion de paradojas, la consistencia se tomé en aspecto primordial al tratarse de una fundamentacién sdlida de las matematicas. En 1844 se establecié la hipétesis del continuo. Luego el axioma de seleccién de Zermelo (1904) tuvo lavirtud de destacar lercuestion de: équé es lo que en mateméiticas se entiende por existencia?, édebe corresponder a objetos concretos o ser idealizaciones de ellos? Las implicaciones que esto tiene para entidades infinitas, involucra los conceptos de potencialidad o factualidad del infinito, Para algunos (Borel, Baire y Lebesgue) s6lo eran vélidas las demostraciones constructivistas de existencia. Las nuevas paradojas vinieron a agravar los desacuerdos ya presentes. Asi, los mateméticos volverian la vista a la época precedente al descubrimiento de las contradicciones. En torno del problema de una fundamentacién adecuada de las mateméticas, al principio del siglo, los grandes matematicos adoptaron enfoques que dieron origen « diversas escuslas de penscmiento matematico. La logicista se remonte « Leibnitz, quien tenia una concepcion absolutista de los principios légicos. Su tesis: Todas las mateméticas son derivables de Ja logica. Destacan G. Frege y B. Russell. Este ultimo con Whitehead son autores de los Principia Mathematica los que son la version definitive de la logica. Su obre: contribuyé a una axiomatizacion completa de la légiea, haciendo avanzar enormemente el area légico-matematica. La escuelaWrox, 130 Eoucacion Marenunis M Vol, 6- No, 3+ Diciembre 1994 MO Gel Ml intuicionista su tesis: establecer la verdad matemética propiamente dicha apelando a la mente humana (intuicién). No deducen consecuencias de la légica, sino que proponen verdades. Admiten el infinito potencial. Las mateméticas son sintéticas. Rechazan el ercio excluso. Destacan LE]. Brower (fundador), H. Weyl y A. Heyting. Su doctrina implicaria mutilar partes importantes del andlisis clasico, La escuela formalista con D, Hilbert ala cabeza, mantenia que ni el intuicionismo, ni el logicismo probaban la consistencia, Su meta: establecer de una vez por todas la certidumbre de los métodos matemétticos. Concibe las matematicas como disciplina formal, abstractey sin referencia a ningtin significado. Axiome légico fundamental: Modus Ponendo Ponens. Deseaba utilizar el tercio excluso y el axioma de eleccién, Hilbert confiaba que el no usar explicitamente el término “todo” evitaria las paradojas. Su programa consistia en establecer la consistencia de la aritmética como base de la consistencia de las mateméticas. Lo que Hilbert buscaba era la demostracién de la consistencia absoluta en lugar de ler consistencicr relativa. Aqui centr todo su esfuerz0. Con sus discipulos desarrollé la matemética: Método parer establecerla consistencia de cualquier sistema formal. Los principios légicos que se propuso utilizar estaban muy proximos a los principios intuicionistas. Esto le llevé a establecer sus métodos finitarios. La escuela conjuntista tiene sus comienzos en trabajos de Dedekind y Cantor, quien hizo una presentacién “intuitiva” de su teoria de conjuntos. La axiomatizacién la emprendié Zermelo (1908). Luego, en 1922, A. Fraenkel perfeccioné el sistema de Zermelo, el cual ahora se conoce como de Zermelo-Fraenkel. La teoria derivada no ha presentado contradicciones aunque tampoco ha sido demostrade su con- sistencia. En 1990, para afirmar que un teorema habia sido probado correctamente, habia que decir bajo qué sistema. Elorgullo de la razén estaba Continuando en esta linea de crisis, en 1930, dos problemas inquietaban la conciencia de los matematicos. El primero, la consistencia. El segundo, la completitud. Ante éstos, las escuelas logicista, conjuntista, intuicionista y formalista, adoptaban posturas diferentes. La concepcién formalista se vino abajo a raiz de los resultados ~Godel (1831). indemostrabilidad de la consistencia, y el teorema de incompletitud, fexistencia de proposiciones indecibles). Ademas el resultado radical de Church, sobre la imposibilidad de decidir de antemano la demostrabitidad o no de una proposicién. Mas atin, el teoremna de Lowenheim-Skolem (1820- 1933) sobre las diversas interpretaciones que permite un sistema de axiomas, Luego las demostraciones de independencic de Cohen (axioma de eleccién, hipétesis del continuo, sistema de Zermelo-Fraenkel). Las matematicas quedaron en una situacién tan inquietante como la creacién de las geometrias no-euclideanas, Otro proceso que destanteé alos matematicos fue la creacién del andlisis no estandar. Asi las cosas, de las matematicas prototipicas del razonamiento sélido, devinieron aproximaciones (escuelas) en conilicto, deuexcion Marennca MI VOL. 6 -No. 3+ Diciembre 1998 M © Ge} Mr. 131m manera que ninguna escuela tiene derecho « afirmar que representa a las mateméticas. Sin embargo, parece que la revision de los fundamentos seré siompre necesaria. De concebir las matemétticas como la creacién mas refinada del hombre para investigar la naturaleza. De reina y sierva de las ciencias, al reconocimiento de que tales creaciones resultaban extraordinariamente aplicables a las ciencias. Se produjo un nuevo enfoque acerca de las mateméticas, Este fue una vuelta a las matematicas puras en oposicién alas aplicadas. Hubo algunos faciores de influencia para esto, los cuales fomentaron el desarrollo de las actividades de abstraccién, generalizacién y especializacién. Ademés, la axiomatizacién. Lo caracteristico de las mateméticas puras es su falta de pertinencia para unc aplicacién inmediata. Se aduce su utilidad potencial, la cual es a la vez imprevisible, Se menciona que, en general antes de 1900, en el conjunto de las mateméticas creadas habia algo de mateméticas puras, pero no habia “matemeétticos puros”. En contraste, pese a justificaciones de algunos matematicos puros, se arguye que las Greas supuestamente creadas como puras, y mas tarde descubiertas como aplicadas se crearon para estudiar problemas reales. Concluye: el desprecic de las matematicas aplicadas lleva al cislamiento y posible atrofia de las mateméticas en su conjunto, En 1800 os matematicos se dan alla tarea de reestructuracién y surgen las geomeirias no-euclideanas. Las distintas escuelas sobre fundamentos abocadas ¢ reconsiruir una fundamentacién completa de las mateméticas. Dados los resultados de Godel (1931) y le imposibilidad de establecer la consistencia de las distintas aproximaciones, se concluye en la no existencia de un solo cuerpo de matemétticas, sino de muchos. En adelante, el problema basico gira en torno de cuestiones como: Equé entender por demostracién?, éque abarcan los principios de la Iégica? El concepto de la existencia, el cual salvé a los intuicionistas, es aceptable para las otras escuelas de pensamiento matemético. Otro problema es cudles son los axiomas correctos. Como ninguna demostracién es definitiva, la historia nos dice que no ha llegado la hora de un examen critico de la demostracién. Parece que la aceptacién de una demostracién descansa en un crterio sociolégico, dado que no hay criterios universalmente aceptados, yel concepto de demostracion depende de la corriente a la que uno se adhiera. El autor sugiere una vuelta alas bases de origen de los papeles de la intuicién y la demostracién en la perspectiva actual de las mateméticas. Finalmente, 1a cuostién de por qué funcionan las mateméticas. Una respuesta se halla al considerar las aplicaciones como la mejor prueba de solidez mateméttica, Ahora incluso se admite el origen empirico de axiomas y leyes logicas como producto de la experiencia. Por desgracia, las ‘aplicaciones han sido relegadas por gran parte de los matematicos, los cuales contindan produciendo resultados en las matemdticas puras. AlgunosWig, 132 Eovercion Maronanich Ml Vol. 6 -No.3 + Diciembre 1994 © Gel matematicos importantes asumen una respuesta en términos de un pensamiento kantiano. Sin embargo, el autor considera las matematicas como el método por excelencia para la investigacién, representacion y dominio de la naturaleza. Es lo més préximo que tenemos a la realidad que podemos conseguir. El ltimo capitulo tuvo como fin buscar un tipo de solucién aldilemaen que las mateméticas ylos matematicos se encuentran. No existe, pues, un cuerpo de mateméticas universalmente aceptado, y es imposible seguir todos los caminos que abogan distintos grupos, ya que ello dificultaria el principal objetivo, que es el progreso de la ciencia. Las aplicaciones requieren como apoyo la abstraccién, generalizacién, rigorizacién y mejoras en la metodologia. En esto, el programa constructivista de los intuicionistas produce métodos para el célculo de cantidades de las que sélo se afinma su existencia. La lectura de este libro es ampliamente recomendable para todo profesor de Matematicas de Bachillerato, por cuanto estimularia la reflexion acerca de fuentes importantes generadoras de conocimiento matematico. Es posible que ello ayude a comprender de mejor manera la naturaleza de algunos conceptos fundamentales en este nivel de ensefianza, enriqueciendo asi el proceso de ensenanza-aprendizaje con un mejor provecho para el estudiante. José Guadalupe Zaragoza Ramirez Universidad Nacional Auténoma de México Patricio Montero Lagos ‘Autopercepciones académicas y calidad de la educacion: elementos teéricos, evidencias empiricas y sugerencias pedagégicas. Este libro presenta un enfoque que apunta a la descripcién y valoracién que los estudiantes hacen de sus capacidades para la interpretacién de sus, ‘acluaciones y expectativas futuras. En él se reviscm antecedentes teéricos, se proporcionan evidencias empiricas y procedimientos factibles de ser utilizados adecuadamente en nuestra realidad. Un objetivo fundamental considerado en el desarrollo de este trabajo fue el de poder satisfacer necesidades de distintos agentes educativos proocupados de mejorar la calidad de Ia educacién. El enfoque se sustenta en un procedimiento de medicién que permite recoger la organizacién de las autopercepciones de los estudiantes. Las descripciones y valoraciones de si mismos que hacen los estudiantes estan relacionadas con la calidad de sus experiencia escolares. Las dimensiones