Alejandro Cassini EL JUEGO DE LOS PRINCIPIOS Una introduccién al método axiomatico© 462 ee SA. Fry 251 (CISA) uate Are, Agena eon: S40 as wat Fae (40st nen cece no Baecteracomar Lay 6 ein azn el pa Sey 8 Dewees reseadon Sone s50s04801 5. ode in apes ana hain ons aio Da es Rm ene | Hist de simbolos- 9 Prologo - 1 Introduccion - 15. Capitulo 1. Breve storia dal méadoosiomatcn- 19. 1H Inioocin ~ 18 112 La axiontica antigua ~ 19, 1 La asiomatca moderna - 2, Capitulo 2. La estructura de wn sistema asométic - 56. 21 ees un sistema axioms? - $8. 22 Hlementos de un sistema axiomatic» 57 253 Bjemplo de un sistema axiomatco «62 24 Sistemas equivalents - 25 Lagi de primer orden - 7. 26 Poors de rimer orden «73 Capitulo 3. La inteprtacn de wn stoma axiomitio- 81. ‘Inout - 81, 42 Las conceptos de interpeeachin y modo ~ 8 {3 Interpretaiones y modelos de fs tora de grupos ~ 85 34 Interpretaciones y modelos de la teoria de os anilos- 88, 835 BMricturas y modelos» $0 Capitulo 4, Las prpieades de wx sistema axiomatic» $5, 41 Propedades de Ios sistemas axomatioos en general - $5, 42 Propedades de as toras formals de pimer orden ~ "1 Capito. 5. Tora axomatiodas 16, 51 inode» 115. 52 La teorla de conjntos - 116 53 La topoogia general - 125, 5.4 La toria de la probablidad «132 5.5 La teria de la medic - 1Capito 6. Venais difatades det metodo dxiomsticn 61 Ingoduecién - 148 182 Ventsas generals dela sxiomatica- 150, 63 Dicutades generaes dela axiomética «185, 54 metodo axiomatico en ls ciencias formes - 157 55 E1 métoo axiomdtico en ls clenias naturales y sociales - 160. 56 Pensanieno axiomitico, intuicién y cerns - 15, =u. Apéndice 1. Las prsbas de conssencia- 168 ‘Avindive 2. Asiomas ystomas ations: de Ariaéies a Kolmogore 177 21 Los tres axomas de Arstitles - 17 22 Bl sitema de Buces- 17 23 ls axiomas de Arquimeses para la esc - 18) 24 La astonomia axomitca de Arsterco 18 25 La esttica de Jordana de Nemora «181 26 La avitmetica axiomatica de Jordana de Nemora » 142 27 Los aomas de la mecinica en Gallen - 18. 28 Las leyes del movimiento en Newion » 18, 29 La dptica de Newton «185. 2:10 los axomas de Frege para la Iigica de primer orden «187 211 Los axioms de Peano para la artmetica- 187, 212 La axomitica de Hert para geomet eucliea 186 213 Los axioms de Hunt 215 La topologia general de Hausdorft- 180 216 La Vig inuicionisa «153, 217 Ins axomas de Kolmogorov pra la teoria de le probabiidad - 194 Apéndice 3. EI concette de funcin 95, ibliogratia 199 Lista_de_simbolos onion Liga vn oe 9) Abo de cue = Nescido s * paves € No pertenencia como! © Co vac = Dienioa U_ Chase universal Catedral © Ini 3 Connie enc Ua > ena nee 2 bien ~ Sx Desc oh Cone Cone ka (oy) Pewee tenes on rd nl rn in 2B en om nae nd te pstgnea vie ane dl ine esto seein ej verde We tegen de rs i ai diese scion sg rade nt ni new re das te De She Mian hah et Trt Em Dim cece ate To tin tit ene te io bn al Seo Prec cel son deena Broa y Bowe C3,Prélogo _ Imatca habia algo especial que la difrenciaba de las demas ciencias, En tanto ests amas se fadamentaban en ln experiencia y brindaban sn ‘onocimiento apreximado y cambiante, la matemstica ofrecia informacin nia, ‘tern y absolut, Uno de los primeros resultados de la invetgacion mates ‘ca (obtenio por Tales de Mileto a comienzos del siglo VEAC) estableca que tun didmetro divide a un eiulo en dos partes iqules. Si el método matemaico fuera igual al de las dems clencias, lo que en realidad se habriaesablecido es ‘ave “Lomando un objeto lo mis circular posible y un trazo lo més aproximado ‘que se piers a un diimetro, el objeto quedaria dvidilo en dos partes casi iguales. Pero es0 no era fo que afrmaba el matemitico, que mencionaba crew los perfectos, didmetss exacos y partes nfidamente igual, con lt idea de ‘que sobre eso no podria haber cambios y su vlidez seria eterna, Cus era ta razin por Ta que el matemicico posea esa perfecion? Qué me todo permitia obtener conccimiento con tales caracteristicas Optima? Las res puestas fueron muchas y muy diversas, dependiendo de las convieiones los fas de cada pensador que reflesionara sobre esta cues. ara Aristtcles (siglo IV A.C) existan ds fuentes para la obtencin de e=- te tipo de conocimiento, La primera era de naturalezaVigia y relacionada con Ja dea de dedueciin, Como se sabe, un razonamiento es un salto que va de ‘iertas premises a una conchisién. Si el raznaniento es correct, su estruct es tal que garantiza la transmision de la verdad de las premises la conch+ sin, Dicho de otro modo, debe quedar garatizado que si todas los premisas ‘son verdaderas, la concusin es verdadera.Adviertase que no se arma que las premisas sean verdaderas, sino que silo son, la eonclusién debe serio tan ign, Un razonamiento correcto suele denominarse una deduccian (de las pre tnisas 4 fa conchsin). De acuerdo eon esto, una manera de obtener una ver- dad matematca es deduciéndola de yerdades ya obenidas. Esta es una metodo Jogi tpca de la matemitica y es por ello que se dice que ésta es una cencia deduct Sin embargo, esto no basta para obtener todas las verdades materia Arisiteles perefbio claramente que sf dispusiéramos dnicamente de la deduc «iin, se produciia un regreso al ininto. Pues tendviamos ol problema de saber ‘que las premisas son verdaderas, pa lo cual deberiamos haberlas deductdo de ‘otras premisas ya conocidaas como verdaderas, y asl repeidamente, Para que L: anlguos fsofos y matemitioos griegos adviieron que en ta mate-Sd co ne ts ence ‘mos ls restantes verdades matematcns pric at Prine, senda Araes, const, enonce, on Date de ‘8 metodologia es al Tote S Hams “cena demostata™ Actsinens, mt sani eso" yet méto en cueaig ven “método sxio Fabia na, Coto se habla de este mda cose costumbre nos ha eneay TMS Ts races ibis mo es te sentido genera 2 atl gristce se conse puredindic durante mis 4 dos mie reat 78 dante e siglo XX se ty cine see oe rocedimiento no ge din de oe inom entice. ts dicey ee ta con paces salen pr separ Is rnp La cea ‘un fenimeno Privoca cae eae BiStin de rere eusones loess epamnigcnpnteran peat as ares ido una exposicién de muy ee wan {a vinta me cin a tes ctu somes fora Sa ecars iar ine de pepe Pl estadio actual de la ciencia. No cabe duc ante eon iin te S-LoTm m canted co pon emo ane we Gragorio Kimoeshy Profsor Erie de la Univeredad de Buenas iesIntroduccién, ste libro «5 el producto de una necesidad pedagogica. Hay may pocos nos expecons dedicados al méodo axiomatic, n0 sélo en espanol, ‘no en cualquier otra leva, que taten el tena a un alvel reativamen {e intoductoro, pero de manera completa y detallads. Result dif, por eons ‘iene, encontrar un texto adecuaio par un curso dirigido a estudiantes uni Serstarios que se encuentran en Tos primeros aos de su carrera He excites te trabajo pensando especialmente en estudiantes de Mosota y de humanidades aque asiten curses @ seminarios de tigica, de epistemologa 0 de fosoia de Ti ciencia. He presupuesto por parte del potenial lector un conocimiento ele- menial del Tenguaje de la lgica de primer orden y de Ia teora intuitive de con- juntos, No obstante, todos los temas tratados se explican desde el principio, por Jo que cusiuier persona interesada con alguna aplitd para el pensamiento for smal podra seguir e1 micieo de la exposicion Sin mayores obsicuos. He mante- ido de manera delberada algunas repeticones con el finde faite la asimi- lacion de ciertas ideas claves. Esta obra no se propone ceemplazar a ringin ta tao © manual de lgia, Sno complementar Ios bros de texto usuales, que ge reramente dedican poco espacio al método axiomatico. También puede atlizar- ‘se como texto principal o secundario en un curso de filosota de la matemstica Espero, ademas, que reste interesante para todos aquellos que gustan de la rmatemitica y de las clencias en general En la presentacién de los temas he tratado de lograr un balance entre los lementos histrcos, I formulacin de sistemas formales ligieomatematicos y las reflexionesflosdfeas 0 epstemoligias sobre el método axiomtico. Tam- Dida he procurado equlbrar el igor formal con la exposicin informal, pero no ime propuse akanzar el grado de precision propio del lgico o el matemitico profesional. He comentado oon ciertaextensin las propedades metatsricas de los sistemas formales axiomatizados, pero no he brindado las corespondientes \demostraciones, que en general son extensas 0 dfs y caen fuera de 1s ob- jetvos de un iro intreducirio como és. En cambio, he ofecdo numerosos ‘ejemplos de sistemas axiomiticos, cas sempre, aunque no exehisvamente, de primer orden; entre ots, de ligica proposcional y cuantScaciona, teoria de ‘supos y allo, algebra de Bool, aianéica de los mimeros naturales, geome tea eucldea, toria de la probabilidad, teoria de conjuntos ¥ muchos otros. ‘También he dado varios ejemplos de demosiraciones de teoremas en algunos de estos sistemas. Por ulimo, he traducido numerosos sistemas axomaticosca bibliograti, que ya es lecciones de articles, os ni fucates histiricas ante os tienen un eardcter mas a ontrarse otras referencias bibiogrdfcas ‘mar en cuenta la bibliogralia sobre el te et, sao cere, ac eh lo ace especie ors io acho de os vo a tar wansalo que de eno Ecos peter me epee Herta conjunto, estos capitulos y apéndices ofrecen una sintesis hisérica y sistemat- fx sobre el método axiomatico. El leciar que so est interesado en Tos aspec- {os histiricos puede leer el Capitulo ty el Apéndice 2. El que desee entrar di recamente en la axiomatica formal madera puede empezar por et Cattle 2 y contin hasia el Apéndice 1 "Al escribir este Texto he contraide numerosas dew intelectuales. La ma or es con Gregorio Kimovsky, de quien aprendi mucho sobre e! métndo axio Imitco, unque probablemente él no suserbiria todas mis afrmaciones, Estoy fspecaimente agradeckio a Roberto Torre, que ley una version anterior de teste Hiro me envié por escrito exensos comentarios cricos, Sus observacio- tes mie peritieron no sblo coreg varios erores @ imprecsiones conceptua Jes sino también mejorar la preseriacién de diversas temas. Por Sb pate, cl propio Kiimovsky lyé la version final del manuserito y me ayul6 a corregir de tales tenicos y eiminar imprecisiones en algunas definkiones. Por ello tam bin Te estoy muy agradeido, El profesor Edward Grant, de la Universiad de Indiana, respondid amablemente a mi pedido de iformaciones sobre ls textos de Jordano de Nemora que travzeo eel Apéadive 2. Newton C. A. Da Costa ¥ Jess Mosterin colaboraroninvokintaramente con esta obra envindome, a lo largo de lo aos, muchos de sus wabajos. También me he benefiiado de con versiones sostenidas en diferentes momentos de la preparacion de este libro ‘con mis colegas de la Universidad de Buenos Aires Javier Legris y Alberto Mo- ‘ett, Varias extadias en In Universidad de Columbia en Nueva York, ene Tos ‘aos 1999 y 2001, me permiteron el acceso gran parte de la bibogealia aqui fempleada ¥ me proporcionaron el tiempo Hire y la tangullidad neoesara para redactar una buena porcion de este trabajo. Desde estonces lo he ressado var Fias veces agregindole nuevos ejemplos y referencias atualizadas. Durante to- flo ese emp tive el respaldo decsiva del Consejo Nacional de Investigaciones Cienticas y Técnicas de Ia Argentina, sin el cual dielimente podria haber eon- cluido este Hbro. A Ekwonora Creato Te debo no slo la discusiin de muchos de tales téeicos, Sino también el apoyo necesaro para evar a cabo toda Ta tarea ‘que demando esta obra desde sus modesto origenes como borrador. Finalmen te, auiero agradecer a Eduardo Barrio que me alenl6 a publicarle. Por supues to, yo soy el tnico responsible de los errores que haya en el texto. En todo momento tue presente que queria escribir el tipo de libro sobre el métod fxiomitico que me bubiera gustado leer y nunca pade encontrar. Bspero que Tos lectores distuten al eero Buenos Aites| Jo de 2007Breve historia | del método axiomatico J 1.1 Introduccién ‘a historta del método axioms se extiende desde Ia antigua Grecia de siglo IV AC. hasta nuestros dias. El relato de este largo proceso, que presenta ruptures sgnfcavas pero también eontnuldades sorprendentes, onttuye el cema de todo un libro. Aqu slo ofeceremos una introduecin his. teria con el in de sefalar las principales etapas que Tevaron a lt construccién {el méodo axioméico formal tal om se practica en la actualiad. La expost cin es deiberadamente rerospectiva y nos serviré para introducir de manera ‘nines os componentes de un sistema axiomiico, que aeRO se estudinn con mis detalle en Tos caitlos poserioes 1.2 La axiomatica antigua Avistiteles 1a ideas esenciles del metodo axiomatico surgeron en el Seno de 1a ci Tzacién area, ssocadss a fos problems susctaos por el conceto de demos traci, espeviaimente en las cenias matematicas. Desde fos empos de ls at- tiguos griegos ve consiero que el conociniento demosrafo era el saber mis seguro. Pero, gqué es una demostracion? Esta es una pregunta para la cual t- dav no tenemos una respuesta unanime y defi. Los gieeos tvirun el imério de plntearvela por primera vez ¥ de suger ua respuesta que Find en cf pensaniento occidental por més de dos milenios. La demostraciin de un nuncio proposiciin consiste en deviuii de ctos enuncados cuya veda se conoce prevamente. Dado que lis inferencias deduetvas preservan la verdad de las premises y la transniten a la concusia, las proposcines deucidas de ‘ropesiciones verdaveras, si han sido corectamente deducidas, necesaramente resutarn también verdaderas. ta idea de demostracin two su origen en Ia ‘maemiica greg, epeialnente en a prdtica de las pruhas geometries, pero ‘ne Arstieles, enol siglo V/A, el primero en expresarlaelaramentey pre stara de un modo sistematico,Avsttles deseubri, ademds, el hecho funds mental de que ls inferencias deductivas correcas preserva la verdad de lespremises en rain de 6 el extuio de ba Hgica formal, primer problema ele di Ja mera forma o estructura de I iferencia, Con elo ink viamente conocidos cone verdaderos tn Soman seine Ge opera cm pond eno 8s, para lo cual serd necesario. Ged Denstba Arstteles, que este procedi ‘comtrario, actualmente consideramos leduce de sf mismo es una pr sential de la relacin de consecuencis ua propiedad esencial de le We. Pers eistemolgkente tl, pore on exige “La aouiien ecu: Anne. parr de pris conscidas como verdaters, de modo que para probar de reamente la verdad de ea nuncio ya deberemos conocele de antemse (iucriScera posbildad consise en aceptar demosiraciones ciculares (Dero 20: Keiprocs), donde las premisas de ciertas demosraciones aparecen como Pe Rjusones de otras y vieverst. Se Forman asi cdenas deductivas fits pe- carers, Arstteles considera que es implica un cecil vicioso inadmis Fe ave muevameste dejaria sin fandamento, y por tanto sin wna reain, toda ta sceuencia de demostraciones, Ta tits posibiidad que Arstteles analiza es la que dard origen a la ea de pensaiento aciomatin. Aiatiteles pens6 que era posible ela el escept- ‘Gono respecto de lx demosracon aceptando que no tado conocmiento es de- “hostratve, Toda secuencia de demosraciones debe ser fina y terminar en ak {fun momento en un conjunto de enuncialos fundamentals que no se conocen por medio de demostracin, Aristieles los Tamd princpics, 0 mejor primers Princpias,¥ los consierd no meramente como enunciaos no demostralos, s+ vet ai mismos indemosrables. Los concibio como verdades necesarias que hn pueden ser demostradas, Nunca afimd expliciamente que fueran verdades| fdentes, pero ya los comtentadores gregos tardis lo interpretaron de esa fora [aiden de que los principios son evdentes se convirié en un lar co- tin del aristteismo medieval y asi pasd a lz ModermidaAvstteles no re ‘oid claramente el problema de emo se coaocen 1s principos indemosta- bles, pero dejéindicasiones muy escuetas de que se tra de un proceso en el fqvelaterienen tanto Ia induccion como la inuicién intelectual. Las princnios Sn verdades que naturelmente se conocen por si mismas y, como tales, son eh fbjeto de una forma de conocimiento superior a la ciencia, que Aristtcles Use ‘nd nous intuicion intelecval A partir de estas ideas se fori Ix concepcion tradicional seg la cual los priacpios de un sistema axiomitico son verdades aioevidentes Se puede considerar a Arstteles como el padre fandador del metodo axio- rméjco porque fie 6 quien presento por primera vez la idea de sstematizacin feductiva de una teora fomando como punto de partida un conjunto reducido te peincpins, de ls cules se infieren los resantes enunciados de la tora. Ls Segundos ancticos contienen un andliss verdaderamente %— Gy & > y) / % donde 7 yy son dos proposciones| Caslesquier). Aqui encontramos una diferencia importante con ls rls dein fevencia acepladas por Aristteles, quem sostuo enftieamente que toda demos ‘vac debia ser nimatvay directa, yrechaz6 las prochas indirect y nea ‘as como las que emplean la reduccin al absurdo " ucldes incl en su sistema tes clases de principos: kas desiniones, los pestulados y los aiomas, La dstncién entre postlado ¥ axioma se correspon fe, de manera bastante imperfecta, eon Ta distinion arsttdica entre princiios ‘propos y principios comanes o axioms, El crtero de la distincsbn evclidea es fovo claro y ha sido muy dscuid Los postulados son enunciados que se r= Feren ala consirucciin de revi y iculos mediante reglay corps con el ob- jetvo aparente de garatzar In exisencia de los corespondientes objtos geo Imétices. Bacldes enuncia cinco postulaos, de los cuales citaremos el prime for “Trazar una linea recta desde cualquier punto haste cualquier punto" y el félee guint, 0 postlado de las pardlcias "Si una recla que eae sobre’ otras {los rectas hace a Jos nguls interiores de un mismo lado menores que dos ecos, enfonces, x as des rectas se prolongan indefinidamente, se encuentran {el lado en el que los angus son menores que dos recios”. EI cuarto postule do es diferente de los resantes porque no se refer a constructions tase el ‘Apéndice 22)Los axiomas, por s parte, son enunciades muy generale apica bles a diversas discipinsmateméticas, no slo a Ta geometria, Bucldes no lis ta todos sus aiomas al comienzo de su obra, por lo que el nimero total de clos ha sido diseutdo. Hoy se acepta generaimente que los axiomas son seis, fe los cuales caremos fos cinco primeros, que aparecen en la lista con que fempiezan los Blemenos 1. Las cosas que son iguales ana misma cosa son invales entre a2. °Sr gules se ahaden & iguales los totales son igual" 3. Si igual se sustraen de iguales, los resios son iquales”; 4. “Las costs que colnciden entre si som igvales entre s% 5. EL todo es mayor que Ia parte” Los Elementascontenen 465 demostaciones. Euclid divide a ts propssicin res demostradas en dos cases: problemas y teaemas. Ambos se demuestran & parti de fs primeros pci, pero los problemas se refleren a la eonstraccinBers sro De tor 2 re ot pone rele ostuldos, mientras que los teoremas se deck 7 dation oe amas, El some conten, note ney Hincién euctidea entre postulados y aciomas ite problemas ‘emis Actiiments amamos sinlenente stoma a os enone pee acepfan sin demoxracdn y teoremas & los, Pee, Jos enunciados demostros tomando a Euclides pensé, 10, sino au unto", “recta” y “pla ‘ue Jo admisible en la matemtien acu, Cuslesquiera sean los defects ave Anca sem os deects de Ia momen anu no ce dada de ‘onsiderarse como los fundalres del metodo faiomaeo, Ambos reconocieron la caractrisica esencal de este metodo que ‘ate en posulacertos enuncalos que se acepian sin demesraciin y de- Sur de ells fos restantes enunciados que companen una teria Seré neces Tio que pasen muchos silos para que ls realzaciones de los griegos Sean per feecionatas y extendidas a otros dominios De Aristarco a Proclo 1 métode axiomstico tuvo su mayor logro en el campo de ta geometria gee [a ienifcaein entre ambos legd hasta tal punto que desde la épocs Felenistica se Tamd estilo © modo geométrco a ta presentacién axiomatiea de ‘cualquier teria El mézodo asiomatico suid entre los griegos como tna forma {le obtenercerteza en el conocimient Esencialmente fue el resultado de un «= fuer por encontrar una forma de argumentacion riguresa que pera oponer- teal dacurso meramente persuaivo de laretérca y de la sofia, Visto de es ta manera, ef métoro axiomsicn restita caracteristico del conocimiento cent co en general y 10 distingue de eras formas de conocimiento. Que Ios gress fo entendieron de esta manera lo prucba el hecho de que intentaron extender Ia aplcacon de este moda mis alls del campo de la geometrin. Ya Aristte- Tes. por cierto, lo habla considerado como ef metndo apropiado para toda cien- ‘ia empirica, manque de hecho no constuyera ningin sistema axiomatico con- freto en ninguna cieneia en parila. Fuctides, en cambio, es autor de un bre- we traato de dptica escrito al modo axiomatic, La Optica de Euciles emplea 7 postulados y prucka 58 propesciones. Ls postulados aparecen bajo et tkulo de “kfiniclones", pero es evente que no son definiiones. No aparecen Tis tls sxiomas ni autenicas deiniciones, Se a en suma, de una obra mucho menos lograda que los Elements, pero notable por el hecho de apicar el mé- fad axiomation a cuestones de pica que exceden el campo de Ta pura geo ‘Aristarco de Samos nos es conocido principalmente por haber eonesbido un sistema planetario beliocenirico precursor del de Copérmico. Sin embargo, It Tnica obra de Arstarco que se ha conservado, el breve tratado Sobre los tama: foe y las distoncas dl Sol y la Luna (escrito probablemente en el primer tercio {el igo IT A.C), consste en una apiacion del método andomtco ak astro rpomia. Ello no es inesperade dado que en Ia anguedad Ia astronomia se com ‘obit come sa parte fe a matemétca,Arstarco se propuso demosrar rig Samente algunas proposciones acerea de fs dstancts relavas del Sol, a Lr ha y la Tiera tales come, por ejemplo, a siguiente: “La distancia del Sol a le ‘Tera es mayor que 18 veces, pero menor que 20 veces, la distancia de fa ar nna a fa Tena>”. Para ello apel al esto. geomécico enunciando 6 axioms, a Tos que Tama hipstess, y demostrando 18 teoremas a partir de tales axiomasBeever oe, wm ee Ap 23), Ls ris de Aan Sl cn epin edn mctiones apt ancia entre la Tierra y la Luna). dent naa des hemi fe so ex que ova ay mo Bre Desputs de Bac os mayor ‘aproximadamente 380 veces mayor que i Sin enbar,ttavia wos resulta crpet ‘emplear e] método axiomatcn en un dos conseguido aplicarlo, ‘nto aon lan, donde evdentemente ce ford ts baie, . in la Antigdedad, y hasta los tiemy oe see cas incuian In sca y ala astronomy estos tere os es ate mln al cont Hasta donde sabemos, teed inti, ih Cn Gs fears meres Sobre el equilibrio une pero ena mods a os qu a toons seg ob lo ani predators os 1yas obras no nos han llegado, my La extension del métoto Imateas fe siempre ta ideal LA ARosca MONE ATES MEDIAS ‘alono se expaylargamente en obra Las afcionesy eros de alma cet ate io ebcar el modo axiomaco 4 cvestiones empies, per, hast Sate saberos, nae consiguiéaxiomatzar una teria médica pret del metodo axiomatco y su carter de modelo para la expos cid Haun de todo conociento centfico se mantuvieron hasta el nal de 1 si Gnd Todavia Proc, en el siglo V D.C. insiste en su comentario at Tr aa platén stbre ta necesidad de emplear pruebas de estilo geometrica en me cinio de la cosmelogia, aunque, nuevamente, no sabemos que s€ haya ‘Geomatizado nunca una teoria cosmoligica. 1.3 La axiomatica moderna Aportes: medievales Durante ta Edad Media, a parts del siglo XM, se iniiae1 proceso de true: «ion y minilacion en Occidente de las grandes obras de a cleneia ries. Pe ol papel desempetado por los medieval no se linia al comentario de tos fextos de Ariteles, Euchdes y Arguimedes, sino que inch desarrllos etx fas, entre ellos, nuevas aplicaciones del méodo axiomiico a i arimésca y fa mecinica Tas obras de Arseles, Buclides y Arquimedes fueron bien conocidas ¥ co: mentaas por los rabes, que aportaron, etze ores cosas, nuevos intentos de tlemosirocien del quintn postutato eoclieo, En Occidente su difusin fue mas tandley depend de un lento proceso de taduecin alain, que se incia en el ‘ino XI con las obras de Avistiteles. No podomos dar aqui un relat detallato {Tl complejo inevaro de fs textos griegos en ef mundo medieval, Sealemos Simplemente algunos Hilos en i tensmisén de los tralaos Wxicos de Arist tees, los Blemontos de Eucides y ls obras de Arquimedes. ‘a primera traduccin latina completa de ls obras Hgicas de Arstteles reali) Boecio a principios del siglo VI DC. pero no se conservo en el Occ te medieval. A comienzs del siglo XIlcomienzan a traducirse nuevamente. En toe 1130 y 1140 un grupo anénimo de traductoes Halanos vierte del grego los ‘Sequies analitios,y alrededor de 1350 se traducen los Primeras anatitcs. UUnos aos despats, Gerardo de Cremona traduce det drabe mumerosas obras, ttre elas los Sagundes analtier. Pero a radueciin de mayor importancia es te Guillermo de Moerbecke, quien, desde Ia dada de 1240 aproximadamente wi del griego casi toda la obra de Avist6els,incuyendo todos Ios tratados losicos, Esta traduccion fe la que utllzaron Tomés de Aquino ¥ muchos otros ‘culstcos como base para sus detalados comentarios. Hacia fines del siglo SIM todas ls obras de Arstteles estaban disponibles en lai, junto con names Tosas cop, glosas y comentarios. Cuando se publicé en Venecia Ta primeraBEDE WsroRA on. wtrobo Axou 1 avonénca Nome: 1,10 ~ 1 Nowa, ode Naor dnd Nor) los dl sie XI, Jardano i Nerayer ago medi 8 de 95-1498, et pen aia medias teats bogrficos, ea a sifu eo hte a ssi er ee ie 4 biSien ce aer 95, cei er ise Wheoyen Ea ip pean i na tose cea lene some age pnt 1 a he hea oe “Sn ra de ne eo ae ha conservado, Las primeras tadcionee jnatievles de tos Bienes los Peles, enfonces, pesos iuales jo Ena obra representa un inde Biel team Gilera Raney teente | Ee es mann, ee ee Bath en 1142, que tuvo escany difasién, Ia més conocida de Gerardo de Crema xa descends ia hacia 1160 y la més cuidada de a ras esas, introdwce nue fica de Arquimedes, y ene 0 Gampano de Novara, de alrededor de Loon rs cerpos Pe be arene Sah lest del cri de oe cure Pe i ioe experimen Pte era areedor ice, Parr oi, mi inera versa imme, inporimie 06 It A te ategramente ala ara tea a ye aN cr ge gee Fn ae a acs das rane 4 wn corse Bang mesa inprsa del entry ey Gra) primera o ea Sosa sea en el ado 1585, En 15r2 F const lucciin directa del gre de los fe la mate alind ls mejor tr Sir da, be obra cumbre de kt et Blea. En iSite nace meet Ses Em a i 1 (Clavius publicd una nueva y autorizada ‘raduceién (ms bien una paritrass del mroMposuldos y 8 axiomas, y mediante fas con el sexto teorema, que CR seme Sth mee ey cy ae a te, Bempi eas proposes densras sme sa tra so Eun ota. Hacia ee ga Ie emer nt pate de es ad se mutica por cusiier ner, PaRieie et ‘cultura europea. i Ts wl an” Ce de ne se produce a si mis racin alternada de dos conser en tears bzap retro de en ios cna eases rabies acc x ere ed St aay ce fo a brate sc te fac mae tbaye 4 |r mio seo ren i ‘Mucho més importante fue is tra. & Wa enschanza de aati, Su Inga, sn embark, {eto ara ere conservado en kn matemtiea moder métoto ‘enon desputs de 1150 de ns os Sane osc y now conse eats oem 0 $3 fue two ampli dius, En 1258 Guiles ge Moerbecke, tal vez el ma, saree hme rencioneros Ia obca de ie, sin tain en elo En BM ro dt, tne ri en ae sa, io amin oo ab = Dizantinos, todas as obras conserva Arguimedes, La traduccion lative de eae ey wore las froporcones de las veloc brine vex a nematic crn az a sorrel din, gee as ee ee de mana Be cx HH ltd otico wrong, han donde sen critos. La primera versidn jimpresa de esta traducciéa aparecio, Tecién en 1503, tudio de Tos cuerpos et movimiento, COS fado tendré profunda influencia 7 ase i es cence sha se a SEs, i any i {te cm te A mt he ede a ey te ci amines ee ec ss ses om totes ein de een arg, Pens a ae eT vrtadn sobre a continu, scit0 Stren ace de sages om "oy sro rales de on mate a em ns 1 po radar 15 res a ma Seger or ae, eto de Fs) en ten conde pa contribuciones mums en matemsticay Hea. ‘formato axomatico a as prbas de ‘spinors. 4a teoria de los mimenis entre elas ot ‘lescubrmiento de Ia famosa secnen ci 11, neat iso dae frase ws rs prt aE 22 ete er ts ea Sy propeates de Dios. cain & ‘err cdo 1 eo mie, ie a (Gre yest, Oty na dno 7 8 ron acne at, mis, nie cater oss ars {0s Imaconaes, mostra gue ea ‘reimedes, coma ts determinaion del nines ‘% xlibe un noble rigor dedactvoy cle eee se enenis La revolcin cient "ol mtn acy sexes resus de te I naa revo, clea’ el mtn + En todas sos demostracie de inner enor mucho ms al de asBreve msvoma DEL mzovo aso 4 Ia fsica en su conjunto ya la flbsola, En todos los casos, como hemos vs ‘o, habia importantes antecedents antiguos y,medievales, ero en esta épcca el formato exomdico aad a ser un teal para Todas las ciencias. Incluso se com ibid por primera vez el sueno de wn dnico sistema axiomaico unifeedo que abarcara todo el conocimiento, una idea que munca se habia presenta ete pensamiento griego. {a aplicacién del método axiomatic a fs teoresfsicas resurge con los mee iniositalanos det siglo XVI, que estudiaron y comentaron las obras de Arg medes y de Jordano de Nemora. De esta manera se establece una tradiiin ‘més menos discontinua, pero munca extina, que conecta a autores antiguos medievales y modernos. A los problemas tradicionales de la esta, los mech nicos italianos agregaron otros decivadns de la ingeneria y las artes militares. I. Tartaglia presentd en su Ciencia nuena, publicada en Venecia en 1517, un tratamiento axiomatieo dela mecénica que empleaba una anpla varied de de- fiiciones, posulados y axiomas. Por ejemplo, silo en el primer libro de su obra, Tariaglia usd 15 defniciones, 5 postulados y 4 axiomas para demostrarso- lamente 6 proposiciones o teoremas. Sus demosirciones no silo apelan eta base axiomitica, sino que frecuentemente reeurren a resultados ya establecidos bor Euclifes. Consecuentemente, el sistema de Tartagia no resita demasiado Guidobaldo dal Monte en su Libro de las mecdnicas, publica en Pesero en 157, intents una axiomatizaciin mucho més simple, besada en 1 defticion, 3 postulaios y 3 axomas. A partir de ese reducido conjunto de princpiom, Gullo. baldo consguié demostrar un elevdo mimero de teoremas (algunos de Tos cu les son problemas) acerca de balanzas,palanas, poles, ruedas y engrangjes. Fl rnémero-de proposciones demostradas danza un total de 5. Esta obra se coo Sider6 por mucho tiempo como el mejor tratado de esttia. Guidobaldo sos vo a tesis de que ls esiticay la dindmica son ciencas que no aimiten un tre {amiento unfcado mediante el mismo conjunto de principios. La obra de Gal Jeo, que fue su discipulo, puede verse como un intento por superar ea posicisn ¥ construir una’ meciniea unifcada y completa, Ese proyecto de wifeacion es el que culming en la obre de Newton En 1638 aparece la obra cumbre de Galileo, sus Discursos y demestraciones Imatematicas ex tomo a das ciencias nuevas, La tercera parte de ese libro Ut “Tercera Jomada’) contene el tatado denominado Sobre el movimiento local, ‘ave es en realidad una obra independiente del resto del bro Ea eta Galles sableve los fundamentos de aquella parte de le mecinica que hoy eonowemon ‘como cinematics. Por cierto, Galle tuvo umerosos precutsores medicrales ‘qe escrbieron extensamente sobre el movimiento de los euerpon terrestres y antciparon algunos de sus resultados. Como hemos visto. ne faltaron en ia iad Media escritos sobre mecinica presentados sl modo axiomaco, Cas con La scones wonsew 11 weve cleNtinck seguridad Galileo conocid algunos de llos. Todas estas obras reflejan ta i facia de Euclides y Arguimedes, ya ampliamente conocios y comentados en Triste XVL Con todo, la infuencia més importante es la obra de siz maestro Guidobalifo dal Monte, Galileo comienza su obra con defniciones como ta si cnt: “Por movimiento igual o unlforme entendo aquel en el que Ibs espe ioe recoros por un movil en tiempos iguales eualesquera son gules entre EY lego enuncia axiomas como el primer: “Bn el mismo movimiento vai forme, el espacio reorrio en un tempo mis largo es mayor que el espacio re- Comido en un tempo mas breve" (vase el Apéndice 2.7). Finalmente procede ‘Trmostrar un tual de 4 proposicions, entre las que dierencia, igual que Es ‘des, entre teorenas y problemas. stare de Galo, que infuy6 decisivamente sobre Newton, lene fos mis sos defectos que fa de Buclies (Carencia de términos primitives y de reins a ransomactny rela micho menos seabala y completa ct os Home ts Sin embargo, representa un logro considerable, porque avanza en lai ‘Gin del metodo axiomatien a una cienia empiice como ta mecénica, Gaieo Sponia, siguiendo la concepeion tradicional, que Tos axiomas ran enunciados ‘erladeros, pero no fs considera necesariamente evidentes. Tata incluso de birecer cemplos experimentaks que confmen Ta verdad de sus axioms, Ar ina exlictamente que ls consecuencias que se deucen de Tos axionas deben Xe veticadas por medio de la experiencia, lo cual portird una contimacion terior de fos axiomas, Mediate esta cancepciin Galileo llega a vshmbrar la iden esencel del metodo hipaico-deductivo, sean el cual os axiomas de una teoris empirica son hipétesis que pueden confimarse experimentalmente me inte las proposciones dedcidas de ellos La jusicacion de los axiomas de ‘an sistema fisico ya no se encuentra en Si pura evidencis, sino en Ix vera cin de sus consecuencias por metio de Ia experiencia, 1a ira novedad importante del siglo XVI es el ensayo de presenta axiom ticamente ls teorias metafsicas, en una suerte de inteto de hacer deta floso- fia una cencia tan exacta come la geometria. El recionalismo flosiico, desde Descartes Leibni, pens que el met axioms constitu un ideal de rigor yy precision que era descabl, y posible, extender a todo el conocimiento hume ho. La apcacin de este método a lt flosoia primera, la ontology 1 teobota, fepresentaa también la esperanza de terminar con las permanentes disputas ‘losdfeas sobre los problemas fundamentals. Descartes hino el primer ensayo de axiomatizaciin de la metfsica. En sus Respuestes 0 las segundas objeciones a las Meditaciones Metacas, ublcades ter 1641, preseato en forma exiomética su demosracion de la existencia de Dios, que en lx Meditacones Metasicas habia dado de manera bastante in formal La secién sxiomitica levaba por timlo “Razones que prucban la exis tencia de Dios y la distinc que existe entre ef espirta y el cuerpo humano‘eve sToWA ORL WErEN muosEincD Stan mat str et ty eum in ee mie esa rar silo 4 proposiciones. Por ejemplo, su primera icin fe su naturaleza’, mientras que la dltima “a mene yl caer “Toda la realidad 0 perfeccién que exist com ora malmente, © eminentemente, en su orca yal Dose $s come iene IVE saci dr cimiento de la causa y to implica”; y I. VI S con bea por el: Sus ona cud verdaderament di oxen ie ton 98 ni evidentes para los propioe contempori ‘ampocs son emciaos que tanga cosecuences en, ce a: = i Bsa you puedancontmarne por medio de mw epetaas ext ie de Sonor represen Ia cane 9 aa ere en ee ey ato eer ms mn oan fa a a tos axiomas fisicos resultan cuestionados por su ita de pec A evden. Con oa sear, beets eo a ee? ma gut imide pcr sactoriene el meods manent La avons moon 1A evo cri fio es algo que silo nos resus claro retrospectivamente. Durante el siglo XVIL ns reconaists mantuvieron una confianza total en Tt universaidad del eiodo axiomticn, es deci, en su apleabdad a todas las cencias ya too co Tuciniento en general. En su opisculo Sore el espnitu geomérico, escrito alre- ledor de 1685, Pasa] elogaba Sin reser la pereccdn del meétodo demostra: tho de los gedmetras consderéndoloiniible. En esta obra Pascal avierte que (hoes posible defiir todos ls terminos del vocabulario de un sistema axiom ‘eo, y consiguientemente reconoce la necesidad de introduirtérmines primit- (he Aqut aparece por primera ver una distincin clara y explicit entre térmi- fs defnidos y no defindos de un sistema, Pascal eoncibe a Ios teninos pr Inivos en analog con Tos axomas, como incapaces des ser definidos en ra bin de sy extrema evidencia, Asi como la verdad de los axiomas se capa nme tiaamente, el significado de los teminos primitives se comprende por si i tno, sin necesidad de ulterior aclracin. En ambos casos slo se requiere ‘Gersicio de ls hiz natural de Ta razén. Con base en estos supuestos, enancis a serie de reglas metodligieas que resumié de la siguiente manera: Rega: neasarias are ls deficones No aie ingun dels ios wo po fn acura 0 equlioeas Sn defisea, No emplear ex las defnicaes mis que tésminospertetarenteconails o expats. esas mesaras para is avomas: No. pedi en bos xmas is que ass pe festamente eientes, aga: necsarias gra las domastacons: Probar toa as proposcones, sin ene pear en sus pris ms que aio muy esideres po miss 0 props ones ya denesradss © acepadas. De Feri géometiue, Pas, Panmaron 1585, p. $1) En 1682, A, Arnauld y P. Nicole, en el muy difundio tratado Le laique 0 Yar de gensr (a larada Ligica de PortRoya), repiieron estas reglas asi al pie de lt ktra, Desde entonces, eta concepci racionalita del metodo axiom’ 'eo goxd de ampli aceptacin, a In década de 1670, Leibniz alumbra la idea de una Tengua univers, 8 ‘ave Tam earacertca universal, ¥ realza una serie de intentos nunca cone dos de precisa la esouctura de ese lengua. Su objetivo es disponer de una herramienta simple y exacts para empler en t formulacin de cvalguier sist ima deductivo de modo tal que las demostraciones resulten classy fei. La ‘meta skims del sueno racionalista, bien expresada por Leibniz, es i construc ‘on, jamas intentada siqlera, de un saber universal 0 mathesis universal: Es fe consisiriaen un tnieo y giganteseo sistema axiomético, en el cua a partirBia sro nm, oo anoinco reer {de unos pocos pine prin ‘manos. En tras pala ilciad de los géneros en que se fn cambio, ls tag ay simple reflcjo dels imperieciin de nuestro conacimiena Lets, dese ra mit ea ota mae gent alo. Hobe de act, Medinet ae combat, ser patie ea ae indenting, aa aed so ero, El proyecto de Leia nia it recor oo ‘ndoniticos conemporineos mostrar, como vemos mae ela rites insuperables para la real In realizacion de ese proj eed En 1687 se publica la obra cumbre de la cence ng tematcns de a flasoia natura an ae ents los Principas ma tc rie Es evidente, ademas, me N ‘ontemporincos han sefalado que toles la Pract de bs eres tices rc ae Sen aa? ik ris con LA wows AISTRACA 0 FORAL ‘Newton lam fs a us axiomas Caxiomas o leyes del movimiento), y e8 te nombre es sitoma de wn cambio en tx eoncepcin de Ios sxiomas dle una ‘font fea, cambio ya insinuado en la obra de Gallo. EI primero de as axic- vere es ley de inerca, ya vslumbrada por Galleo y enunciada precisamente Tor Descartes 2 medindos de fa década de 1690, Ta versiin.newtoniana dice Prod euerpo persevera en si estado de reposo o de movimiento uiforme en tinea recta, 4 menos sue sea compelido a cambiar ese estado por fuerza impre- ‘av Dificimente se porn tomar a este principio como una verdad evidente Por otra parte, tampaco se lo pucde verifcardirctamente por la experiencia pone elo spondria observar el movimiento uniforme de todos ls euerpos en {odo momento y ign, cosa maniestamente impose. Newton se oponi. Shur *ipdtess” a sus principos, pero desde nuestro punto de vista éstos deben onsiderarse como hipotes's empircas que son confirmables o refuiables por tnutio de sus consecuencias observacioales (0, mds bien, de las coaseeuencias lbservacionales de todo el sistema). Aparece asi la idea, todavia implica, de que la nauralea de Wos axioms de un sistema fico es diferente de Ia de un sistema puramente matemsticn. En i Optica, publcada en 1704, Newton también apts el formato axioms co, Present 8 definicones, que expicaban términos tales como "rayo de Iuz" eflexin’, “refaccin’ “ingulo de incideni’,“ingulo de reexion’, y ott. El ‘concepin fundamental de st tori era el de rayo de iz, al que defo de Tas ftiente manerts "Por rayos de hz enendo sus partes minimas, tanto as suces> ‘as le misma linea como ls contemporneas en divers linea", Laego enum (Se & axiomas, de ls cuales transerbiremes aqui solamente los dos primeros: “Los angulos de refexin y refracci estan en uno el mismo plano que el én zgulo de inckencia “El angulo de reflexion es igual al ingulo de incident (réase ef Apendice 29 para una presenaciin comple). Newton mantene dk ‘sion eucliea de fas proposciones demostradas en toremas y problemas. Pro. Cale, entonces, a demostar 29 proposiciones, pero en ales demostraciones m0 fmplea generalmenie sus axioms y definiiones. Muchas de las demosiraciones ‘Son de tipo experimental y se fundan en observciones y experimeatos detaliada mente descriptns por Newton, pero 90 deduciles de sus axioms La axdométiea abstracta 0 formal Desde Arstteles hasta Neaton os sistemas axiomicos fueron eoncebidos como teoras verdaderas acerea del mundo real, La geometria cucides, por ‘Semplo, se consiferaba como una descipcin verdalera de ls propiedaes del ‘spac fic, mientras que [a teoria de Newton, por su parte, se tenis por un tleserigcionigualmente verdadera del movimiento de los euerpos celeses y Ce reste A veves se denoting aslomdtioa material a esta concepcin tradicionalEn un sistema ax smiomitico 1 decir no nombran o de. ‘oS oma ena lengua natu cos units y denon seo Zemel sn cei te sats ‘matics trationales, desde Bucks hast ‘Ue, por sipest, no Tas (anse le Apindics 23.23)" N90 0m fomales 0 orm Ms adele es eae i oe {cla os componentes de un sistema axio- tit a ARANETA au tks stones merc ane cet dors ferenon co se et a ea concedes i ho er 1a axomatica formal XB nie shone tse eet aye ail md dl i GHGS le alice matemiicay de I torts de con sees 0 Sane 2 nb, We aa Stern tees ear eos aunas etaes sina rat ¥ dl ue 4a primers de eas ean er ee . ‘ 8 a inveoin de eae tes el de Eudes, ue por michos a tp ie ln ina genta pas — La anousica aBstRAcTA © FoRUn ie, Algunss de ests nuevas geometrias no rechazan los principos del sistema se ides presentado en los Elements, pero sis teremas tienen consecuer eg atinuitvas, y8 que no son wsuaizables y no admiten repesentacién sr Ga for medio de diagrams y figuras. Un ejemplo importante es el de Ia geome- ea Prsectow, que tiene antecedents desie el Renaciniente, pero que J. Por (taps por primera vez en su Tratado sobre la propiedadesproyectivas de i fours, de 1822. La Reometia proyectva no implica la negacién de ninguno de le posuldos de Euctides, y por ello se considers eompaitble con la geome- ‘ta eucdea Sin embargo, los atiomas y postulios de Eucdes no son sufcen fis pora axiomatizar a fa ftaidad de fa geometiaeucidea, como se vera mis fdchante, Cuando Se considera una axiomatizaciin més saistactoria, como la de Fiber, resulta que fa geometna proyectiva es incompatible con Ta euclifes. Iss lamas geometras no excldeas, en cambio, son manfiestamente incom patibles con lade Bacides porque taman como punto de para Ta negacin de fguno de sos cinco postulos, El primer postslado que se rechazd fu, como trade esperar, el quinto, ya euestonado desde la Antigiedad. Una version ‘yuivalene 2 este postlado, formulada por J. Playa en 1795, dice que por un punto exterior a una recta pasa una y slo una paralela a dicha reta, Muchos Inatemtioos desticados de todas las épocasintentaron demosrar este postula- {ko deduciendolo de los otros cuatro. Fl intent més notable fue el del Kalina 1G Saccheri en su obra Eucldesrindicado de toda macho, esrita en 1738. Sa cheri se propuso probar que el quinto postulado se deducia de Tos restantes| rostrando que sila negaciin del quinto postulado se agregaba como axiom a Tos otros cuatro, se obtenia como resultado una conradicion. Et metodo de Saccheri era correct porque es evidente que si en un sistema axiomsico un fenunciado 7 se deduce le wn conjnto de axiomas fy a B se le agrega como fsioma el ensnciado ~ 7, se produciré una contraicciin porque ese sistem fontera ala vez los eaunciados zy ~ 7 Saccheri dedjo rigurosamente una Sere de teoremas no euclideas, hasta que creyd, erroneamente, encontrar una contradiccidn, Concluyé, entonces, ue el quinlo postlado de Eucldes era de dhcible de los otros custo, ewando en realidad habia demostrado que dicho posulado eta igieamente independiente de Tos restates. Saccheri construy6 la Primera geometria no euclidea, pero no logeé reeonocer que lo habia hecho. Tin siglo después, N. Labachewsky’ en 1829 y J. Bolal en 1832 construyeron de manera independiente el sistema de geometria que Sacchert abi antici. ddo y que C. F. Gauss ya habia desarvolado antes de 1824, Esta es Ia Tamada ‘aeomctria hipertliea, que tomaba come axomas a Jos cuatro primeros postule: ‘os euclideos més el axioma segin el cual por un punto exterior # una rec ppmsan al menos dos paraclas a dicha recta (ina manera de negar el qunto pos tulado eueliden), Los teoremas que se deducen de este conjnto de axiomas son clrumente inconsstentes con la geometria de Bucldes. Ente otras cosas,BYE NITORN DEL MErOND OMT se deduce que la suma de los dnguls interiors de un tring es semore senor que IBD gato que dca soo egmarale sin que dest co do clea de inguo amen y gue se dproxine a 180 grades coals fra dt neo eae iro geomet hie, fief tcc, no exsen figures seman, es del furs que kenge nfsna forma pero diferente tamato Ni Lobachesty ni Balj encore canta cin signa ene os enuncads de ee eto sens gem, He Lo bachevly consid mostrar ques ssa era comin and en rete ‘cata de la cnstencia des geomet respec de le gone cla tucldea (ase el Aptnice D. Demos que ile geomet ces ee shtete (soe eta Bre de conracone, tant geomet herbie ‘ex consitem: oo que es equate, ques la geomea perbcs ee ‘ontaictora, tain la geomet cates mecearamete debe sl Me Sante eta ruc notable, Labachewy puso bes omen ch Us me I tvel de lend dea ot punto de via igo. oco empo despts se prod Ta exesin del campo del gare expan de mis dees dinesones La 84 I, Grannies oe Tera deta een tinal en cal inode de tapas vans les dem nimero de diners Ea TAS Reman prounsacofere it de hb en unierad de Goings, “Sob as hipsess gos eee fn os finamentos de la geomet, donde rao wa extensible a Somiio dea geomet, lena sera ltrs deh specs care 4e Gass eaentendol a espace de dimensiones, Moses con eee carat ninsck de un eae de imcsionesy nw mela dca entre punts de csiira de ests espace El reside de elo te tage neraicin dl geomet wa tera de muy amphi lene, cncadde So i de los espacos de Tema, ue cndene tomo cass expec = ge mea cuca ya vera geomr o eweas Ep gencas eyeeie ‘Rena sn cs neni canara sedate eae tra K del espacio es erent de un pnto a ovo: La aumetrs sea i pra de Loachesky, etre ors geo no ccldess son ease esis de espacios de Reman en lo cas cura es cnsah, es de Gi, tis en oo pura La geome hperola este el ccs ee Aue a cuatro constant y naa (<0). tras geome to cochece, como ta elise, son tass de ut exact de Rann eon car cnt ¥ posta (> 0) Finalmente ent ealen es el ean is canal oe alae incanatra dl si nen deg =), Hse do crt de Kena slo se comprenié despa d publi psa deve ‘trabajo en 1867. = panics pe “ Bh 1858 P. Dehra descr un model exceed una pre dela gor tetra tpebica de Lobachey mode peril pena ea ef Coe j i La auositea asHAcTA 0 FORMAL co euclideo diversos teoremas de esta geometria no cucidea. Posteriomente, Fein en 1871 y H. Poincaré en 1881 encontraron otros modelos eucideos para la total de la geometria hiperbiic. La existencia de estos modelos proporeond tna prueba de consstecia rclatva de la geometiahiperbilica res: pevto de la gometriacucldes (vase el Apendice 1. Ademds, demostré que la feometria hiperbilica era waducible a ly geometra eucldea, en el sentido de fq @ todo trorema de la geometriahiperbitca e comesponte un teorema de {i gcometria euciden, que representa la tradueclin de ese teorema en terminos eucldeos a creacion de las geometras no euclideas y su generalizacion a espacios siimensionales tivo muchss conseeuencas importantes. En primer lugar, surgié la iden de que los diferentes espacios caraeterizados por las diferentes geome tree eran entidades puramente absiracias sin relacion directa con el espacio fk ‘eo real. Ademds, se two concencia de que la evidenca de Tos axiomas no era ‘in ritero alecuado para la eleeciin de un sistema axiomatic. Los hechos Imostrahan que era pevieciamente posible elaborar una geometria consitente purtiendo de axiomas que no son evidentes. Habis ahora miles sistemas de feometeia incompatibles entre si, pero todos ellos aarentemente fibres de om tracionesfnertas. sta siuacién sugiié que la determinacién de la esiructo- ‘a geomérica del espacio fisco no era una evestin puramente matemtica que puters deciirse @ prior, sino un problema empiri que en principio podria esolerse experimentalmente. La tradiciénstribuye a C. F. Gauss el ergen de ‘sta idea, que luego se encuenra explicit en Bola, Labachesky y Riemann, Tobachevsky sefald correctamente que la estraciora yeomstrica de] espacio te ‘sco deberia determinarse mediante mediciones astronémicas,e incluso reali mismo tal clase de mediciones. Por otra pare, Ia exstencia de geometriss de ‘ualgui nimero de dimensiones intadujo un concepto abscacto de espacio, ‘eslgndo del espacio fico real. Con ello estsban dadas las bases para la dis tincién entre geometria matematica y goomietrafsica, que Hevara a concebir & la primera como un sistema purumente formal que no describe la estictra del suindo real, Ya en 1848 H. Grassmann, en su obra Teoria deta extension lineal, Sefialaba que la geometria no es una’ deseripcién del espacio fsico, sino una teoria de la matemética pura, una *doetina de las formas En 1870 H. Von Helmotz esrbié un breve trabajo tulado Sobre af orgen » signieado de ls axiomas geomérias, que puede considerarse como el primer ImaniGesio de In geometra como clencia formal, Helnoltz cella su abajo s- falando que fos axiomas de Ix geometrin no representa reaciones entre cosas reales, sino que son como un molde vaso en el que se puede encajar cualquier Contenido empirco. Ex vale (anto para los axiomas euclideos como para los de {oda las geamesras no euclideas. La geometria matemztica o formal no 8, et tonces, un sistema de enunciados © proposciones capaces de ser verdaderos 0Bae mss oe, weroD0 aowinco Ios respect de manta lo respect del indo re Chicamente cuando se hicecomepoder aos lomasceosmincn Ses (por chm, eaor a one sometria es la inuiin, tis ec. n as qe intents a ienaban ofrecer una presnacion ms ges ne de Joe Elomi de ches. Pie! soja sila Pte ‘(0° y “movimiento”) ¥ 20 axiomas. Iran obra Par orden, congrucncia, paral altismo y continsidad). En le gol conn y segunda eicion de suf Io cx oem SEES nn akon, que ce ltl 820 Tous inciden en afimmar que la axiomaizacién de Hiker on 1 ae tea tomes ns piven y mas may sone lier. in elo gue chro ie lone Sema nae hs de | i [La avowsricn ansrmicza 0 FORMAL rnediante dstinios conjunts de atiomas, independientemente del echo de que fstos sean evidentes 0 no, Stmukineamente, se prodyjeron rigidos avances en {is axiomatizacion de otras tors matemiteas FV. Huntington y, de manera independiente, E. H, Moore axiomatizaron en 1902 I tora de grupos tora ya lanpliamente desarollida y utlzada desde medias del siglo XIX. Tambidn la [peometria no eucldea se axiomatizd siguiendo el paradigma de Hier, cuando G, Halsted en 1904 y G, Hessenberg en 1905 erearon sistems axiomatios pa ra la geometria clinica, En 1914 F- Hausdortfaxiomating la parte basica de a topologia, conoeita como topologia de conjuntos de puntos (Wéase el Apéndice 215). Darante esta époea el método axiomstice formal prodsjo resuados ver ‘aderamente alentadores, no silo en geometra, sino en ramas muy diferentes {e la matemiica.F1 mismo Huntington, por eempl,axiomai en 1902 lato. ria de las magnitudes continua, base dl anlsis matemitio, mediante 6 axio- ras muy sinples (ease el Apénice 2.1) Hilbert nose limits presenta axométicamente Ia geometria eucldea cons truyendo un sistema formal, aunque no formalizado. Adem, anali6 detallede- mente las propieaes de su sistema, Probb que es consistent, es decir libre de ‘ontradiecones, relavamente a la teora de muimeros reales: y demosté tam n que sus axiomas son independiente, o sea, que ninguno se desluce de Tos restantes (en el Capitulo 4 esas propiedades se deinen con mayor precisién). De esta manera inayguri la diseiplina conocida como metamatematca, que se ‘ocupa de! estudio de ls propiedades de los sistemas formales, a concepeiin que Hilbert tiene de los sistemas axiomatic es esencialmen- te absracta. Su idea principales que los trminos primis de una teoriaaxio rtica no se referen a ingtin ipo determinadn de entidad concreta abstrac {Los térninos "punto, "recta" 0 “plano” no denotan a algin objeto geomet 0 en paricular, sno a una clase no determinada de objeos cuslesquiera Una consecuencia importante de esta concepcién formalsta de Hilbert es que un mismo sistema sxiomatico puede ser verdadero respecta de stems de objets uy diferentes y de distntanaturaleza, sean eonereios 0 abstractos,depentien 4d del significado que se asigne a sus terminos primivos. La misma teoia ma temitea (0 el mismo formalismo ligico) alice multiples realzaiones 0 mode Jos (en ol Capitulo 3 estudiaremos este punto mas de cerea y veremos varios emplos. . Bemays uno de los principales discipulos de Hilbert, en un articub de 1922, “EI significado de Hibert para ta Hlosoia de la matemta”, resumia la ‘concepciin formal del metodo axiomstico con las siguientes palabras: _e acuerdo eon esta concen, las axioms Son en mo algun juiios de Tos que se pueda decir que san verdadero 0 iss; sho tienen seatdo eel cates de todo el sista de axioms igloo el sitema de aomas como