Hechos de Hoy - Anlisis y blogs de Amrica Latina, Espaa y el mundo

http://www.hechosdehoy.com/articulo_imprimir.asp?idarticulo=32197&a...

hechosdehoy.com
Comunidad de blogueros
ETERNO DEBATE

Las matemticas estn llenas de sorpresas: Es posible medir el infinito?

El infinito regresa a desordenar la casa de los matemticos que se debaten nuevamente sobre si se trata de un nmero o sencillamente es un concepto.
Glenys lvarez / Actualizado 11 diciembre 2013

Al hablar de infinito, imagino algo que no tiene medida alguna. Cmo podr a tener una proporcin e!pec fica !i e!tamo! hablando de algo interminable" #ero la! matem$tica! e!t$n llena! de !orpre!a! bien ab!tracta!. %a noticia del momento e! el debate !obre el infinito& uno! dicen que !e trata de un concepto, otro! a!eguran que !e habla de un n'mero. (e hecho, por ca!i un !iglo ) medio, el debate !obre lo! po!ible! tama*o! del infinito han in+adido la! matem$tica!. Ciertamente, !uena incompren!ible que algo !upue!tamente interminable pueda ad,udic$r!ele una medida, pero a! caminan e!ta! ciencia! num-rica!.

%o! in+e!tigadore! no! dan el e,emplo del continuum en la recta num-rica ) cmo, m$! all$ del mi!mo, e! po!ible encontrar infinito! m$! grande!, e! decir, e! po!ible hablar de infinito! m$! peque*o! que otro! ) una progre!in interminable de alguno! enorme!, todo! ello!, no! dicen, entidade! !in fin. Cmo e! e!o po!ible"

.(ebe !er fal!a o +erdadera/, e!cribi en 1012 el lgico matem$tico Kurt Gdel, .) !u indecidibilidad de lo! a3ioma! como lo! conocemo! ho), !lo puede !ignificar que e!to! a3ioma! no contienen una de!cripcin completa de la realidad/.

A! inicia un largo ) tortuo!o camino num-rico en la b'!queda de a3ioma! m$! comple,o!& no ol+idemo! que lo! !i!tema! a3iom$tico! !on lo! .bloque! de con!truccin del uni+er!o de la! matem$tica!/, e!cribi Natalie Wolchover para Quanta Magazine. #or lo tanto, !i el matem$tico no puede confiar en !u! a3ioma!, e! dif cil confiar en lo! teorema! que realiza!. 4ue+a! propue!ta! aparecieron en el pizarrn, como el e!tablecimiento de una au!encia de infinito! entre lo! n'mero! entero! ) el continuum, de e!ta forma, !e pon a un fin al cao! de tener tanto! infinito! con infinita! +ariedade! de infinito!.

.5aria! teor a! han !urgido re!pecto a nue+o! !i!tema! de a3ioma! !obre infinito!. 6in embargo, ha) alguno! terico! que pien!an que e! in!er+ible pen!ar que un a3ioma e! +erdadero ) otro no )a que e3i!ten innumerable! uni+er!o! matem$tico!, mientra! en alguno! una hipte!i! e! +erdadera, en otro! puede !er fal!a. 7ambi-n ha) alguno! e!c-ptico!/, a*adi Peter Koellner, profe!or de filo!of a en la 8ni+er!idad de 9ar+ard, e!pecializado en lgica matem$tica. .#er!ona! que por razone! filo!fica! pien!an que la teor a de alto! infinito! ) teor a de continuum, ni !iquiera tiene !entido/.

:; no e! para meno!< %a nocin de un infinito num-rico en potencia o la de un concepto infinito mane,able e! realmente inquietante. (e hecho, ha e!tado con la! matem$tica! de!de que comenzaron a traba,ar en ella& ho), lo! f !ico! !e preguntan cu$le! ob,eto! realmente infinito! !e encuentran en el mundo real.

.=l matem$tico alem$n Georg Cantor le +endi el infinito a la comunidad matem$tica del !iglo >?>, in+ent una rama de coleccione! de elemento! que iban de!de el +ac o o equi+alente a cero, al infinito. 6u teor a de con,unto! era tan 'til para de!cribir ob,eto! matem$tico! que en d-cada! !e con+irti en el campo habitual. %a teor a Zermelo-Fraenkel, o @AC, fue e!tablecida ) ampliamente adoptada para el 1020. 8no de lo! a3ioma! dice que do! con,unto! !on iguale! !i contienen lo! mi!mo! elemento!.

1 de 2

11/12/2013 08:47 p.m.

Hechos de Hoy - Anlisis y blogs de Amrica Latina, Espaa y el mundo

http://www.hechosdehoy.com/articulo_imprimir.asp?idarticulo=32197&a...

Btro !implemente afirma que e3i!ten con,unto! infinito!/, e!cribi Wolchover.

Cucho! matem$tico! odiaban todo! e!to! infinito! pero no fue ha!ta m$! de una d-cada de!pu-! que Gdel demo!tr que era impo!ible confiar en e!o! a3ioma! del @AC, ) aunque mucho! dec an que e!to! problema! no eran rele+ante! en la matem$tica regular, era +ital que !e re!ol+ieran. A! , concibi la teor a de 5D% que propone la au!encia de infinito! ) que no! lle+a, ,u!tamente, a la noticia actual ) lo! m-todo! de forcing a3ioma! como el de Cohen ) el C$3imo de Martin .

=n la reunin de matem$tico! en 9ar+ard, el debate continuaba con nue+a! teor a! pre!entada!. Alguno! dicen que E%E a lo me,or ni !iquiera e3i!te, que la teor a de Martin o el a3ioma de Cohen !on in!er+ible! ) que el debate realmente re+ela una falta de intuicin humana en relacin con el concepto de infinito.

.%a! matem$tica! tienen una reputacin de ob,eti+idad ) tendr$n que re!ol+er el problema. #ara ello, +aria! propue!ta! tienen que e!tar errada!. 6in ob,eto! infinito! en el mundo real !obre lo! que ba!ar la! ab!traccione!, la +erdad matem$tica !e con+ierte, en cierta medida, en una cue!tin de opinin/, e3pre! Justin Moore, de la 8ni+er!idad Cornell.

F Glenys

lvare!, p!icloga ) periodi!ta cient fica, re!ide en Gep'blica (ominicana ) publica m$! tema! intere!ante! de ciencia

en "ditora Neutrina ) #r$itas Cient%&icas.

2 de 2

11/12/2013 08:47 p.m.