Sunteți pe pagina 1din 103
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

S-ar putea să vă placă și