Hacer un repaso de las ideas principales de las geometras euclidianas y no euclidianas para introducir el concepto de sistema axiomtico formal.

Por qu fue un hecho revolucionario la aparicin de estas geometras? Para la geometra represent la posibilidad de concebir otros espacios, no euclidianos. Para la matemtica en general, supuso poner en cuestionamiento el status epistemolgico de la matemtica como un conocimiento necesario. La matemtica perdi (o al menos comenz a discutirse) su carcter apodctico. Por otro lado, estas nuevas geometras presentaron las bases para una nueva manera de pensar la verdad. Apareci el concepto de verdad por coherencia. Un enunciado es verdadero si no entra en contradiccin con otro enunciado del mismo sistema. Es falso si s lo hace. Volver a leer el fragmento de La Axiomtica. Hacer nfasis en la idea de sistema y coherencia. Pensemos a las tres geometras en trminos generales: a) Tanto la GE como las GNE son SISTEMAS de enunciados. Un sistema es un conjunto ordenado de elementos, en el cual cada elemento tiene un valor para la constitucin del todo. Que un sistema sea un conjunto ORDENADO lo diferencia de un conjunto cuyos elementos tienen un orden arbitrario y azaroso. Por qu las geometras son sistemas de enunciados? (De ser posible que respondan ellos) Porque salvo los axiomas, que no se deducen de nada y se postulan, todos sus enunciados son consecuencia lgica de otros enunciados. En este sentido hay una ordenacin lgica o deductiva de los enunciados. Vemos el carcter sistemtico, por ejemplo, en el hecho de que es perfectamente modificar el quinto postulado tal como lo formul Euclides. El tema es que si lo modificamos se modifican todos los teoremas que se deducen de l y por ende ya no estamos en el sistema euclidiano. b) Estas geometras son sistemas de enunciados que tienen a la base AXIOMAS (enunciados no demostrados) a partir de los cuales se deducen los teoremas. Es decir que hay puntos de partidas no demostrados que sostienen todo el sistema. Y vimos que esos axiomas no son iguales en las tres geometras. Qu consecuencias tiene esto? Que los teoremas tambin son distintos. De ah tambin el carcter sistemtico: si cambia un elemento, cambian todos aquellos que dependan de l; una alteracin en uno de los elemento afecta a todo el conjunto. Cmo se aceptan los axiomas? Para Euclides, en sintona con Aristteles, sus axiomas son verdades evidentes. Se aceptan porque la razn nos obliga a aceptarlos. Ahora bien, el problema del quinto postulado tir abajo esa concepcin. Se vio que la negacin del quinto postulado no tuvo consecuencias contradictorias, de hecho tiene consecuencias totalmente consistentes y admisibles. Por eso, los postulados de las geometras no euclidianas son enunciados postulados arbitrariamente y convencionalmente aceptados. No se los postula como verdaderos. De hecho, vimos que las GNE sentaron las bases para un nuevo concepto de verdad: la coherencia. En las GNE no rige el criterio de verdad por correspondencia, sino el de verdad por coherencia: un enunciado es verdadero si no es contradictorio con algn otro enunciado, si puede aceptarse sin generar inconsistencias en el sistema de enunciados. Por eso la verdad es una cuestin interna al sistema, no se decide ponindola en relacin con una instancia extra lingstica. Ahora bien, ante la pregunta de si estas tres geometras tienen o no aplicacin en el mundo fsico surge una primera cuestin: desde un punto de vista matemtico y lgico no importa si se pueden aplicar ya que se puede extraer consecuencias de sus principios independientemente de su aplicacin. Por otro lado, son sistemas FORMALES. A que nos referimos con que sean formales? En qu contextos utilizamos el trmino formal? En la lgica. La relacin entre los axiomas y los teoremas es deductiva. La relacin deductiva es formal, no importa el contenido o el significado de los enunciados. Pensemos a los axiomas como las premisas y a los teoremas como las conclusiones de razonamientos deductivos. La relacin entre los axiomas y los teoremas de las tres geometras es formal porque la relacin es deductiva y por lo tanto, no se debe al significado de los enunciados que existe relacin de consecuencia lgica. Y eso nos pone en el lugar del significado de los axiomas. Diferencias entre Hilbert y Euclides en el modo de pensar los axiomas de la geometra:

Para Euclides eran verdades evidentes, para Hilbert se aceptan arbitraria y convencionalmente. Y con los trminos que componan a esos axiomas y postulados Euclides trat de definirlos; en cambio, Hilbert no parti de ninguna definicin, sino que l hizo explcitos los trminos que eran fundamentales en los axiomas pero no los defini. Recordemos que esos trminos eran seis: punto, recta, plano, entre, congruente con Esos trminos para Hilbert son primitivos porque son los trminos fundamentales que aparecen en los axiomas y porque no los define. Ahora bien, por qu no los define? No porque su significado sea evidente y claro para todos sino porque funcionan ms bien como variables de una ecuacin. Los trminos primitivos no tienen un significado especfico pero son susceptibles de recibir varios significados o valores. Veamos cmo se da esto en una ecuacin: 2. x = y x e y tienen algn valor nico que haya que descubrir? No. Tienen muchos valores posibles pero ninguno es exclusivo. Todo depende del valor que le demos a uno para determinar el valor del otro. Esto mismo pasa con los trminos primitivos. Supongamos abstraccin del significado que para nosotros tienen las palabras punto, recta o plano y las dejamos como un mero signo vacio y pensamos a los postulados como ecuaciones con variables de significado indeterminado. En ese caso, todo lo que se deduce de los axiomas se deducira con la misma necesidad lgica porque la relacin que hay entre axiomas y los teoremas es deductiva, por lo cual no importa el significado de esos enunciados sino la forma. Cmo funcionan los trminos primitivos en un sistema axiomtico? Como variables de un razonamiento que puede adquirir muchos significados pero no tiene ninguno en particular. Veamos un axioma de la geometra euclidiana: Por dos puntos existe una recta que los atravieza Qu significa que son primitivos? En primer lugar que no son definidos (como los axiomas no son demostrados) En segundo lugar que no tienen un significado previo. Hay que pensarlos como trminos sin significado, como trminos vacios que funcionan como variables que pueden adquirir muchos significados. Por dos x pasa una sola y Eso nos pone ante el concepto de SISTEMA AXIOMTICO FORMAL. Un cambio importante que hizo Hilbert al desarrollar la geometra es pensarla como un sistema axiomtico formal, es decir, como un conjunto de cuasi proposiciones que no afirman nada sobre nada. Presentar los elementos de un SAF A) Vocabulario bsico: Trminos primitivo y trminos lgicos B) Reglas de sintaxis C) Reglas de definicin y reglas de deduccin Con A y B se construyen los axiomas. Con los axiomas ms las reglas de deduccin es posible deducir lo teorema. Leer pgina 291 de Las desventuras del conocimiento cientfico y mostrar el siguiente cuadro Aristteles La ciencia es un conjunto de proposiciones con pleno sentido ontolgico. Habla de la realidad. Los enunciado estn deductivamente relacionados Algunos enunciados no se demuestran ya que son Sistemas axiomticos formales Conjunto de formulas sin significado. Smbolos arbitrariamente establecidos que reciben una interpretacin posterior. Las formulas est deductivamente relacionadas Algunas formulas (los axiomas) no se demuestran,

evidentes y se captan por intuicin. A partir de ellos se deducen otros enunciados. La distincin entre axiomas y demostraciones depende del grado de evidencia.

no por su evidencia sino que se las postula arbitrariamente y se las acepta convencionalmente como principios del sistema. De ellos se deducen teoremas. La distincin entre axioma y teorema es arbitraria. El teorema de un SAF puede ser el axioma de otro y a la inversa.

Ver la comparacin con el ajedrez Nocin de modelo Propiedades de los SAF Ver el sistema SAFO Ver las cinco preguntas de Klimovsky