La formalizacion del concepto de infinito Cantor ae ry Ge = nn bh pl A eee pee Bes 3 has 0 geen ee aes Pe oa Ace eae a A ee eee fag a J acesLa formalizacién del concepto de infinito Cantor RBA‘20 Gano mat Piet pore texto (8S A Catron Eos oes SAU ‘Sint naa conecmaten SA etc: EDTEC wt air oes Ma Dt ter a el More Iwfotie Jom Pen ‘Fompnfan aden Hen Braenbrgo de Cie y sade vn vce RDM a, 1, a ‘aa Pe 05 Pa 2b 18, 10,1, [Bie Nara ent aD Fane Toe ‘Sting aoe ton Uh seu 10 nee ‘Gaus ae ay Abe Reto 2d wo ea een: 2 Uivesad de Ae, ‘Nome 10 Unread de Handurg thes radon todo deco Nig pare ‘stapubctn pode pro amcoa ‘tra pr nga mein perma del ee 158 (Oba conpeny. RESETS ‘Son imeaiaaenes Dep eat O44 2017 Impey encanta en Cans nei rcs) Ingres en Epa -Prinnd in Sin rroouccion Sumario ‘caviruto 1 Blcomieno del intito ceartro.o2 Candialos castruios Eledlesioycintato ‘caPiTUL04 Los ordinals inion ‘caPirutos Los let ‘cavmru.o Las parade into LECTURAS RECOMENOADAS woesIntroduccién ‘Cuando contemplamos el cielo en una noche estreliaday sin una, lejos del interferencia dels fces de acon y nem Setimos ‘maravllados por el especticulosobrecogedor que 36 de=plicga, ante nosotre, en ese mismo momento desde fo mas profuedo de -nuestro ser nace un sentimiento qe nos abruma conta idea deo Pequesios que somos comparados eo el iafinto, infin noes soo una sfisticaa dea matemses ba Iida entre lo ininito, palabra que literament sige caguello ‘ae ams termina», y su opuesto, loft, qv acaba alguna ‘er ha acompatiad ala homanidad probablemente desde que ol ‘rimer Homo sapiens se pregunts sl cielo termina alguna ver 5 9 puede legar hasta el horizon, os nesta vid realmente ‘termina o side alguna manera puede seguir ndefnidanente. Pero el into tambien es vio y,sepin el sof griego Zenda de Ela, hasta puede inmovilzar al universo; veamos que ‘queremos deci con esta idea En el sig wa, Parménides de Hea “sein muchos autores, el padre dela meafsiea occidental ost la existencla del ser. La caacterstica fundamental del wr, ‘segin Paris es, jstamente lade exitielaer existe, eres De esta premisa Parménides dedujo que el ser abarca todo ¢l niverso, porque st hubiera aunguo sea alguna equeta resin ‘de este dose el ser no estuviera, en ea tein el eno exit, ero decir que el serno exist es ra contraiceién de términos, 3 imposible, Elser, entonces, ocupa todo el universo; en otsne ares nonmetal, Yea sae aoe nie mma. Bosca inmate ovine ue eo er anes sede een es no mo exe, en 5” nay ad nose hy aor “cial de Patri, pat ua sre de ree man oto cman prajs de Zen on os TRIN caer cn eapl oa desde a acs aoe catia meviniet no exten quo que eens re SEE dun ent dove y qua mente aaa ‘ints pore ae sm capac Sema eseecho. een prc deen luca nina de itn moan nie ao arama na pled halon bol Boe m mary de stand Se ovoton once ramen a0 qe vata pret mosaron, a ees Jnlegal iol hot ands mndon eta mano. ar dementia, Ze ein gate ear bol tape ee nce’ primero mo met; per ae een {tberesuerancuro dese anes db ecoer noc ‘eto. y ne un ecaovo de mt; an acesment rela ga a iol a pen debe completa un Cand na epson previo peo ex inponble compet Inns pase cou emo Sit; por ott, deduce Zana eden nga ta a, mis rasan ave eon eco prs una dana dew metro valetanble pare rier amt ol primes mira de linet por oes Ptr nea cao ios en ane bandon tra mana ni, como seh expt permite demos bein end, qt vero ca abe Tnelsiow aC, Arties el padre del ext stems co de pen yal er de ech on aera enc etn una conte enters coeones, she Ato del mornin de os eae per, desde eo ates de ana ‘eudiar el movimiento Arties deb demostrar que ese mo- ‘mien realmente exis es dec, debi refutar ls argues (de Parnes y de Zen Sie ser esencialmente es, geo pusde entnces cambiar de ‘esa, elmo pede dejar de ser algo? Arstteles dive qu el er ten efecio, pero que a veces en ptencia veo een act. ‘Cuando un rio crece ye ransforia en alt, no es que ee {Ge ser unr, sito que sendo ro era adult en potencia ya ‘rece pasa a ser un adalto en acto. Bs dec, ta el eto de ‘Sri adulto on potencia, al esta de ser un ado on act; eh ‘fo cambi, pero munca deé des. Una senllaes una planta en potencia, na haja.en blanco es un texto en potency aa ces arente Sglasmés tarde, Miguel Angel expresaria tne silar fl decir que la esultara ya exist nel Bloque de mioly que ‘limita a guitar lo qe sobraba Aste reconciin de eta ‘manerala idea del er de Parménides con la pond del can. ‘Demostado que else puede muta, Zedmo se refutan los ar uments de Zenon? Todas as paradojas de Zenda suponen a espacio oe tempo son inftamente dsb. i la paradoja {el rbot, por elerpl, hy infos pasos n el espacio que media ‘enue mano ye arb. Pararefuar estes argunerios,AnsGtees fim que el infinito no existe 0, mejor dicho, que existe, pero ‘solamente en potencia, munea en acto. Infinit en potenca reerea ‘na cantiad que poede crecer arto com se quer, pero que todo ‘tiempo es nia: nino en acto cs una ead ae, de hecho, ‘innit. sta dstinein es muy importante a la hoes de pens ‘linn y volveemos varias veces ella ao lrg de esta bra. demos dir dice Arsteles—lnexitencia de cantida- ‘des que recenindefinidamente, pero que Son itt el emo, Sinemhargo, no pocemos adi la existence cantiacdes inn tas de hecho. Podemos divi la distancia entre la mano ye bol ‘endiez partes, en cen, en mi, en cualquier canidad finta tan sande como queramos, pero no podemosasumir que est vida ‘en una canta de pares que sea de hecho nats Ariss no se init a postla anexstencia del nino en acto, sino qe dio una seri de argurentos para sustentar esta a ‘maciy, como los arguments de Arsteles serén analiza aloee sept inci oat a edonemeeteiae eran Ses ee ane site nnn ny i cats mee nec Texeea geen nee ome eer oo Seon iin gee Serena Se rncanmean nann aera ce mn Foe eee Serena fon ae os Siac ee eee Sentiment nto meet nee cere chun Shere crncetg own eran ean aes inn star te ac Sra oe Soe ey en roe SSS aera peers eee Speers So Sa See ee ees es rs a ass aie eee eae Seer mem ceureom eon ate tta nlite Seen een ereareg eee eee ened siglo 1x, por su parte, el matemiitico checo Bernard Bolzano cats cee eee naa an eee ey See eee et SRT ese: (Gobre ta naturaeza de las cosas), arguments que et univers obese infisitojen ago contrario de Lares tena una ‘onto, yl arojdramos un objeto ara esa fortera com asf ‘lente forza como para atravestl,entonces ee objeto peseria ‘exist fuera del universo; pero es imposible porave, por de. ‘ein, nada puede exist fuera del verso, Hoy saberos, sin ‘embargo, que el argumento de Lacrecio es fl, gee iver ‘puede ser fino in tener una frotera, de a misma manera qu ‘iperticie de una esfera es Sit, pero sin tener una frnters. De ‘eto sein ls modernas teria cosmaligica, es muy probe: ble que el unverso en su conjunto sea Hit, Pero ls disidencas ‘fueron escasts y alla, y el pensariento arstotlico sobre el Infinit, como diinos antes, ding ena osc tamtién en las ‘atemdticas al menos hasan déeada de 170. i ean oca, el ‘matemtico ro aemdn Georg Cantar e vo levado por ages ‘e sus uvestigaciones, cas contr vokinfad seg ous propia palabras, a introduc en as matemtease eto del ino ‘en ato. La trea no fe fil, no soo por las eae que ela ‘orlleva, sino también por la dura oposicin que encom entre rmachos de su colegas, no era fel romper con una tradicion de rleros y Canor llegé a ser trata de sence chacatne y ‘comrupor de lajuventnds ‘Sin embargo, Cantorno e detuvoeimpulsado pra convie- nde que una teoria materdtica delta era poxbe ¥ hata necesara,ygulado por tna lice infer, desarrol6 una de as teorias mis asombresas que hoy se conocen; pero aris ademas la posible de un modo nuevo de pensar as maemstias en ‘su conjunto, un modo mais bre y potent. ‘Uno de os concepts mis originales que intro Cantor <1e os ortinales la teria de os ardinales ser coment en as ‘igientespagna, por lo que no entraremos aq en sus detalles, basta decir que ge trata, esencialment, de nimeros que permite ‘ontar més al del inisito,Desputs de os infintos nimeros 0,12, 8,4,5,.. ~dice Cantor, vene elmo innit (es dec, el or- inal oe smboo esta esr regs omega insu hego viene (@+1,042, 043); despues de esta mura see de nites orh- nals viene +0, tego o+0+1,0+0042,.;y a ucestamenteerm esto trventarnimerosax{como a? 26 representa ‘oe etnroso? Haga esi 1, fds ls concep can os que ‘Thaunan to mation extaion ferementeHeados a proble fa que pode lamar econeett,asiatones ave pod ser “imuizatn 9 aoclacas Con hechos rele; como I desrncion | Ge fenomenos cos eesti de as propedades de low obetos fe athemnniomion ws oyean reenanacd oe ornate eae .2 9). Secret ee ee Ectecodlpeseniq aw eam cartoco, | Partestca ater Samay See accenanacnemmn cenit ees sae ser uc one hp ee estos oo Spencteter ie ee dh ro wt Nc itatstmreminngan SES [EncountciaamewneconopeciocelaBore ioe | qa cmurtmuenutrranion Wl Rennes otagetakeseqemdementn aan | Roose ee Milo a cnt epee ane nner one Tee | Semen ano recta oaconind a tcmatewmnene, Sonnet prota nag cif cnc a sng nero SUSE Sacnce tmpat meweeen Fos tern ox en cove sti Fa ee Sa ames pam no shh acopiascona sei te vente, ysumodo de entender las mateméticas debi cambiar para ‘mola Br dane cone daparse a este hecho, Bs ai como, hoy en dia yao 9 exge a to Se ne eon Alte los objetosmaemdticos que tengann comelato real que S44 | apy tne st dorado mates Putnam la representacon de un fedmeno coneret solos les pide co- ‘vintnvringe ee hetenca gies ¥ dentro de esa inieaexigncia los mateméticns | Wea Sepia Saran cnn actuals son libres de ter, esta, manipula y analizarcon- er comianattunrenatnienins Gein ne cori Nae ee “iene oeetegma La esenca dens matemsticascambi6 después de Cantor. 12 Comer ft Deli ah 4 mismo hubira vst con enorme satsfaccsn este nuevo es- ‘rasnaede Corse dete 198 Pos dle mer par tad de cosas, estado en el que los matematios pueden eresr ‘a por pies “Concent rina {bremene teri y conceptos.Podemosafimar que Cantor lo | ee carte ein eects, haber isto con stistaceii, porque fue 6 quien io que las—| 74 Secu co Yay Gatos ee ‘matemtcas pura debian ser Iamadas con mis propiedad ma- Sern ion semi 98 #18 ae mo tendtens Wore, ora, sein sus propias palabras, a esencia sirens Seina "Rai ean re ‘delamatemstica rafeaprecsamenteen9uliberads i Stasanietgeae | | Simieferadaiber ‘Se aren rier ee Sector | ‘ese init, ate oe ‘onde sos, abosnncciin} canraor El comienzo del infinito Hay algunas preguntas que han acompafiado ala humanidad desde que los primeros hombres y mujeres se sentaron alrededor del fuego a pensar e ‘ndagar acerca de todo aquello que los rodeaba. ;1 mundo existe desde siempre o comenzé a existir en algtin ‘momento? :Dejaré alguna vez de existir? {Tiene 1 cielo un final o podriamos viajar por él indefinidamente? Detrés de todas estas ‘preguntas subyace uno de los conceptos ‘mas potentes y maravillosos jamais concebidos: el infinito.‘Cas todas las ramas de las matemticas son el resultado de un largo proceso histrico que se fue desarollso alo largo ded cada 0 siglos, con el aporte de muchas personas, y en el que suele ser muy diel, por no deci impo, sefala laraente ln Gnicoiniiador. Por supuest, este es el eas de las rama ‘mas antiguas de las matemsties, como la geometra oe dlgebra, ‘cuyos comienzos se remontan al antique Egpto o ala anti, Mesopotamia; pero también es el caso de rama més recientes, ‘orno el caulo por ejemplo, qu fue creado a finales desig re ‘simultane e independientemente por dos tustres matemsticos, lings Issac Newton ye alemas Goted Wilhelm von Leni ‘auenesen realidad deronforma.aideas que muchos precursores ‘ubian estado investgande durante sgios Qablaremos un poco ‘mds sobre la historia del caculoenel api). ‘Sin embargo, la teora matemdtica de innit (a tevia de ‘conjuntos, ya que, como veremos en estas pginas, mbes teorias son esencalmente la msi) ese rato del alent y dela mag ‘acide un solo hombre, que la cre eas del nada, el matemd- ico rusoalemdn Georg Cantor. Inchsve es posible sear el momento casi exacioen eave Cantor dio el salto ereatvo que le lev6 a su teri; en una carta {echada el § de noviembre de 1882 Je esis asa amigo y cole ‘Richard Dedekindne alee a ec Se age nec eee ones eae en eee ionpeneee ae e ee sienna ee eee {Cémo slcanad Cantor estas «aclaraciones tan notables»? {Gud desncatend ese fermentos? Para comprendeto, iemos ‘ramando peso a paso alo largo de estas péginas pore cain (ge siguiero las Weas de Cantor. Comenzaremos, como corres onde, pore principio, DE SAN PETERSBURGO A HALLE Goong Ferdinand Ludwig Philipp Cantor nacié en San Peters: burg, Rusia el 8 de marzo de 1845. Su padre, Georg Waldemar Cantor eratm exiioso comerciante de origen ans, muy Teligoso _yamnante de Inculura y de as artes. Su madre, Mara Anna Bohm, fra hija de dos eximios vlinitasras0sy, ella misma también, ta viruosa del violin El propo Georg heredé ese talento para Jamisica y aos més arde, un poco en brome, un poco en seo, ‘selamentaria de que su padre no le hubleraperiido comvertise ‘en volnista profesional ‘La misicay el are en general foeron siempre muy importan- ‘tes ena vida de Cantor. De hecho, el arte y Jas mateméticas no eran para dominios alejados entre si; por el contrari, siempre ‘rey que el trabajo del matemético estaba muy liga ala crear tiidad arsea (idea que es compart por mivehos matert- os actuals, entre quienes se cuenta el aor de estas linea). Pr ejmplo, en 1885, en el articulo donde vole las «notables scaraciones de ls que hablabaen su carta & Dedekind, Cantor escribig: sa esoncia de a matematica radia precisamente en ‘bertad» (as cursivas son de original) En ese mismo texto dice: Debio nea poisn deca. qa dt des dems ‘Gencasy proporcionan expen el carter elie {ely devenvsio que orapase de a tne, merce ees: ‘mene el rambre de matendtc ie na deeming, ‘fee la lac, dara profoencn sb ade matemdca ‘pure que allege Bs decir, el maemstco ten a ibertad de dejar volar ir inacion, la bertad de crear concepts, sempre y cuando esos fo condizean a contradiceiones igjean Pero si ean contradic ‘tes logics nose producen entnces, frmaba Cantor, pede “segurars Que los ojetos at creados existe realmente, Ema temétio, a tener el poder de eear nuevos conceptos, es tanto tin cendico como uh artista Bae ideas, ademds de refear el ‘ensamiento de Cantor, tenfan para en ese histérco aiculo ‘enpartcular una fnalidadwestralégiew dengue habaremos en Tos présimos capitals. Pero volvames ahora una vez ms ls pimeros aos de a vida de Cantor. Sx padre tenia sald my fry aca de ello en 185 los métieos fe aeonsejaron que dejar los crus in “Memos de San Petersburg y se miudar a algana rein de cia, nds templado, Cantor padre liquid entonees tds sus negocios {¥setrasado con a fara Alewania.Iniialmee oe Canto ‘ieron ena ciudad de Wiesbaon, donde Georg asst al Gyrna- sum (lequivalente alemén del escuela secundaria), pero poco. tempo despues se trasadaron a Frankfurt. Georg records siempre con nostalgia infancisen San Pe- tersburgo, més an, a pesar de que vv en Alemania el esto de su vida nina se inti completamente gusto al, Bsinteresante ‘grees! que, hasta donde se sabe (y esto es earacerstico de su personalidad romantica y a veces exaltada), desde 1856 en ade- Jane nunea volviéaescbten Fuso. Darante sus afios en el Gymnasium ios informes escolares. ‘estacaron siempre la notable habidad de Cantor paa as mate- ‘tis, y aunque en un principio su padre insists en que esta- lara ingeniri,fnalmente en 1863 ingresé en la Universidad de ‘Bertin para estudiar la. que era su verdadera vocactén, podiamosdecir qv ups, Ins nates a esa pea a Universidad (Geib ers uno de lo entros de investigacon macemiéica mis, eerie dl mundo, Por eemplo, enseflaban alls ron. rats matematicos Karl Wlensrassy Bmst Kummer, que fueron ‘tapos prafesores de Cantor. Tanbién I fue Leopold Kronecker, en valverd mds adelante a ets péginas, dado que Megara a RiStomurse con el tempo en uno dels enemigos mis smpla- ‘able dela teria lini. ‘Cantor ne doctors en Bertin en 1867 y dos aos més tarde ‘uve una plaza de profesor en Universidad de ale Hablare- ‘tw en el prximo cepiulo de ms prmeros tempos en esta civ. (dd, peo poremosadelantar que fea en Halle, donde Cantor ‘desurob 9 teora de into matemético, es decir, donde hizo tbs decubrinients que le Uevaron a ocupar el Tuga destacado ‘Que tene en la istrin de las materseas. Pero estas ideas to se impusieron faiment, sino que hall ron mucha resstenela. Como muestra de ext resistencia ya hers ‘nencionao a Kronecker, quien haa todo lo posible para que las eas de Cantor no se difundieran. Oto elemplo que podemos ai tir data de 1874, ewando Cantor quso pbliar sus primeros des- ‘xbrimientos acer del infito. Al ver el borrador de sa artical, ieerstras le aconse6 que no Mera mencién a las consecve- ‘as ms radicals de los teoremas expestos en ; de hecho, le Seonoe que no inchyers ninguna referencia explicit l infin Por qué ae prodajeron estas eacciones tan aversas?: Qué ‘conseouencias implica el arcu de 1874y por qué esas conse- ‘cuencla eran tan revolcionarias? Para responder estas Pree {as tenemos que conoce primero la historia del info EN POTENCIA 0 EN ACTO {Qué es linnto? Con mayor precisdn, gqué queremas decir ‘undo afinamos que una colecedn de objetosesinfnta? Antes (que nada, aclaremos que wsaremos aqui la palabra sobjetos en 50 sentido mas amplio,neuyendo objetosabstractosoimaginaris.secon pera gen sn etn he ec cies tee gua yp mnemonics See ene ee agen ee ee, — Greet ser ten ee Oa rete pea pcan aan ae ces emer ta aaa eee Se ee ee ee a pe rege Cae ee aero shee ee ea a ore oee et ee eee Se ew eerese a oe eee ee eee Senos Su ieee a erp aS ee ee ees Soe ces eerste era eee ae veo ences aa pies anoint esos oo Se ae ease ae eee ee rene age Se a eae Rebromars enceeenenees ees eee eae Sagem Te mero 0,124.) Bl ecb comioraa a anctary después den ‘nto legadl mero cen, stare al lyme alates il. Observernos que el trabajo que el escribe se ha impuesto ‘nunca terinari porque, por eemplo, cuando Uegue al nimero ‘len deberd separ cone cen mil uno, cuando egue sl ln, ‘Seber seguir eon el nirero un milén uno, yas sacesiverente, ‘Nunca Hogar tio ndmero natura simplemente porase al ‘iio nimero natural no existe; siempre habra un mero mas por eset y otro, otro, «Protesto contra el uso de magnitudes infinitas como algo ‘completo, lo que en matemsticas nunca se permite.» En algin momento el escrbe se da cuenta de que no le al cansari I vida para completar la are, yentoncesentrena ‘cipal para que, egado el moment, contine con el abajo 4 anotar los nimeros. Fste segundo escriba,asu ves, entrenar {su propio disciple, yas soesivamente por Gempo indefnid, {Es nfia la coleceiin de odo las mimeo snotados por ‘estos escrbas? La respnesta es ques, e fini, pero solo en un ‘sentido potencial La coleceién de las nimeros antes no es una ‘olecinesttica sino que esti en constant crecimiento, un cre ‘imiento seated que nose detendré jane, Pjado un intante ‘cualquiera en limp, no itsperta lo eano en el uturo que et, Incolecidin de todos los niameros esritos hasta ese preciso mo” ‘mento ser fn, pero seguir siempre cecind sin limitaciones. Hablamos entonces de un infnito en potenci, 0 potencial, ‘cuando pensamos en una coleceidn que e slempre fit, pero ‘que puode ser aumentada indeinidamente sn restrcciones. La Infinit estd pensaa en este cao como una propiedad negative, ‘sociada ala imposibilidar de completar una trea. Pero pensemos ahora en la colecein fonnada por todos os ‘nimeros naturales, absolutamente todos sin excepcion (sin im Pra sino han sido esritos). Se trata obviamente de una co- leccién que es tablén infinita, pero en ese caso se trata de unInto etic, completo. Br ert nneva colecién estin todos fo nimeron, o queda ya nada por agregar. Hablames en este ‘quo de an nino en acto, 0 nfo actu. podoman extender anima idea. a magnitudes, como peso, an 8 cn po empl, seen ct ate conan pt A con put ym on a ee fa. Potala pometia no ce po a ar vnine aco cua 9 aniines So en ne pt nian, ern et aon e nit en pote Es dre, ‘Tiere moment, ero puedecrecer demo ny GGaws Tear ares cnniders oma moe tienen una longitude se supone infin en ato, ena rectan ‘Re uenen extemos yseextenden indefinidamente sin prego ‘ifn Notemes que de hecho, ana recta esimpouble de gar ‘Bb intresante Observar que, hasta dom se sabe, tx lan colegiones las agnitdes relacionadas com fron say fara nunca gon infinitas en ato; por el contrario, a mayors ‘on fritasy golo unas pocas son, uid, nfs pero solamente ‘en potenca. Por ejetmpla, set as = teoriasfiscas fo emi vigentes, a p= Formas por tna cant Pat partculas elementales idivsubles “ Espn, inctin, que nel ser ‘cone depo sean nintaterte ae divisibles. “a | por eira pae, fox cease i“ fafrman que es inuy prob | STnveso en conan tenga * ‘un volumen y un diametro que son “ Slo potencilmente infinitos (6 “ ‘hime de rivers e a mayor sina gue pe meds etre ave — ‘dos puns del mismo). ‘Siresultara que s cierto que el unverso contin xpan- iéndoar de modo indefinio, entonces su edad ined en fgndos tambien seria solo potecialmente fina. Pra twat un parleliamo con el ejemplo de los esrb, pedemon imaging 8 ‘has persons anotando un nmero por cada sequco rece ‘rid desde Big Bag: lcoleccin de todos los segundos re (rados estar en perpetuo crecimiento, pero sempre serait . Por ejemplo, poem decir {ur ue ex um dul en potencla6 que un boque de mérmal ‘Spotencslmente una eset. Cuando el iio rece ge trane- rma en acto, en un ado esculor, por ora parte, converte al boxe de marmol en una eseultura que existe enact. wSe da ‘agualmente el nombre de sbio en potencia awa al que no ea dar, dice Asttele en el Libro IX desu Metafiaic, quiz com un toxue de humor. Pero en felacin al init, en ese mismo texto ‘establece que: La potencia respec aint no de una naturales tal qe ‘10 ponda jade raoarse‘Bs deci, init siempre es en potenela nea en cto. A To arg des de dos il fos, coneretamente hasta medias ‘algo a este recharn asta al infnito enact fe sste- ‘ido por ca toda In ortodexi el pensamiento occidental, tanto flosdtco como matemisio. Vale lapena entonces detnerse ene ‘alls dl menos os dels argumenios que expusoArsttcles para jsifcar afrmacion «La expresion “existencia potencial” no se debe tomar en el ‘sentido en que se dice, por ejemplo, “esto es potencialmente una festanua, y después sera una estatua’, pues no hay un infnito tal, ‘que después sea en acto.» ‘primer tga, en el bro Il desu Psion, Astle dice que esinadiibeacepar lh exstncia del inf en acto porque ‘o ay nel verso un cuerpo cuyo volume sea Innit en sc, ‘oun averval de Gero euyalongtd sea actualment nits. tna palabra, porque no exixten magnitudes que sean infiitas en ‘cto. Aristtcles justia eta inerstencia mediante arguments ‘loses Sin embargo, no necestamosexplayaros aquen elas ‘yaqe, como dijimos mas arb la sca moderna le dala ein Por ejemplo, tel uriverso ene un volumen que es solamente i faito en potencia, enonces no puede contener en su interior un «cuerpo cayo volumen sa insinto en acto. Dado que no exsten magnitudes infra, tampoco tiene sen- tido hablar de «ndmeros infnits en acto» de ecantidaies inf nits en actos, pus esas cantidadesinfntas no median nada en solo, careerian de todo set. ‘Comparems estos argumentos arstotsicos (que, como dli- mos, dominaron el pensamiento occidental durante miles) con Incarta que citamos al comienzo del eaptuo, en la que Cantor ‘decia.a Dedekind que habla pod scanza las -acaraciones mis notables inesperadas» en la teria de los rimerosinfnitos. Esta contradcen con las eas de Aristteles nos da un primer aisbo de por qué a teoria de Cantor fue tan revolucionarayresstida. Et segundo argumento que var mos acomentar, que Astle ex pone en el Libro VII de su sia, ‘tra que no es cero que un se mento estéformado por una eant- (dod ininit de puntos, Aistétles planes na Justiicacin osstca ara sta afrmacén, pero podemos ‘aula aun eaonamlentoratersic, “Aclacenos que cuando decinos spina» nos referians aun punto matematicos, s deci, un objeto que carece de long, “nchuray altura. El spunto oriogrfico» ue el lector puede ver al de una oracion en una pigina impresano es un punto ra {ematic, en realidad es un circulo muy pequeho o, mis exact mente, un cin de na de base may reduc, pero no nl 7 de altara pequetisima, peo tampoco nua (figura). htonces, un punto matematico iene, por defiicia, una Jongitud que es exactamente igual a cero, Si eunimos michos ‘puntos, la longitu total que obtendremos sera 0 + 0+ 0+ 0 +. Pero, no importa cus veces sumemos cero, 78.868 na Can tidad rita o infin de veces (aun si esto timo fuera posse) Ja longitu total que obtendreinos sears siendo siempre cero En conclusién, si un segmento estuviera formado por puntos, ‘su Tongitd total seria ceo, Pero sabemos qe as longitades de los segmentos no son igus a cero, y por lo tanto no pueden, ‘estar formados por puntos. Volveremis a esta paradoja en el capitulo 3; ll veremos qué es lo que tiene que deciral respecto Iateoria de Cantor. ‘Como consecuencla de est razonarient, sera imposible ‘vidi un segmento en una eaiidad inf de parts. omen, or ejemplo, un segmento de 10 em de longi Sil dividimos en 1O partes iguales, cada una de elas medird 1 em. Sto dividimos 1 100 partes iguales, cada una medi, em io divicimos en 1000 pares iguales, cada una med 001 cm de longitud. Pro si lo dividiramnos en una cantidad infnita de partes iguales, cada ‘una de elias medira 0 cm; es decir, l segment estaraformado ‘or partes de longiud exactamente cero, Per ya vino que esto