Professional Documents
Culture Documents
http://www.oracle.com/technetwork/java/javase
Tan solo al comparar las Matemticas con /virtual-dev-day-java7-keynote-1641807.pdf
http://www.oracle.com/lad/technologies/java/in
la tecnologa Java, desde el punto de vista de
dex.html
Lenguajes formales o de herramientas http://openjdk.java.net/faq/
intelectuales o tecnolgicas, -si se nos
que se hablara de la Matemtica que de hecho, eso mismo puede pasar en el
constructivista o intuicionista, representada campo del derecho. Otro ejemplo: si al
por Brouwer4 la cual, si bien no cuestiona asumir culpabilidad resultaron
la validez de los principios lgicos incongruencias o contradicciones, entonces
aristotlicos: de la negacin, de la no concluiramos simplemente que es no
contradiccin, y tercero excluido, mediante culpable, pero no por eso nos
los cuales es posible establecer las siguientes apresuraramos a concluir que por lo tanto es
reglas de deduccin: inocente, o sea, Brouwer, insistira que la
1. Si P es verdadero entonces noP demostracin indirecta de que es no
debe ser falso, culpable, nos lleva solo a afirmar que
2. Si P es falso entonces noP debe probablemente sea inocente, adems
ser verdadero. agregara Brower, que bueno!, que estemos
Los lgicos y matemticos saben que de acuerdo en el debe ser, en el principio o
mediante la Regla 2, es posible de modo en la norma ms adecuada, pero eso no
indirecto conseguir demostrar que noP debe justifica que nos olvidemos del
ser verdadero, pero Brouwer not que al procedimiento, del algoritmo, si no, al final,
caer en un uso excesivo de tal regla, nos solo nos llenaremos de muy buena teora,
haca olvidar que a lo mejor haba tambin pero sin aterrizarla, sin el compromiso de
un mtodo directo de demostracin de la tambin implementarla ya sea algortmica o
misma afirmacin. En todo caso, Brower computacionalmente. Por eso Brouwer,
propona: es preferible demostrar noP es finalmente propona que:
cierto por demostracin directa y no por que es ms sano asumir que noP est
deba ser cierto demostracin indirecta. indeterminado, o que noP
Algunos han interpretado la crtica de probablemente sea verdadero, y ser
Brouwer en el sentido que l no est de definitivo ya sea que lo asumamos
acuerdo con el principio del tercero por axioma o finalmente podamos
excluido. Por ejemplo, si queremos derivarlo de modo ms directo.
demostrar que alguien es hombre(mujer), al Un ejemplo ms, si defino que el odio es la
demostrarlo de modo indirecto suponemos negacin del amor, y si me lleva a una
que es mujer(hombre), pero al caer luego en contradiccin suponer que me odias (amas),
una contradiccin concluimos que la eso demuestra en todo caso que es falso que
suposicin de que sea mujer(hombre) es me odies (ames), pero no por eso queda
falsa, al aplicar la regla 2, queda demostrada demostrado que me ames (odies) es
nuestra afirmacin original, pero si con tal verdadero. Bsicamente Brouwer criticaba
proceder no estamos de acuerdo, es porque el uso excesivo de razonamientos indirectos
consideramos que probablemente haya una o por reduccin al absurdo, si eso nos
tercera opcin, adems de que tambin es alejaba de la construccin de un algoritmo
necesario confrontarlo de manera directa, til, como decamos,el principio, la
que en efecto es hombre(mujer). Brouwer norma, el debe ser, es importante, pero sin el
sostena que NO era sano para el desarrollo procedimiento, sin el cmo ser o hacerlo,
algortmico de la Matemtica apostarle simplemente, es una verdad incompleta, por
demasiado a las demostraciones indirectas, no decir, incompetente. El mayor mrito de
la Matemtica constructivista o intuicionista,
representada por Brouwer, desde nuestra
4http://vanina-
ue.academia.edu/JorgeRoetti/Papers/586375/CE interpretacin es que cuestion el
NTENARIO_DE_LA_TESIS_DOCTORAL_DE_LEJ_BR excesivo valor dado al teorema por sobre el
OUWER_100_anos_de_intuicionismo_matematico
valor dado al algoritmo, desafortunadamente sin que eso signifique la solucin de algn
creemos en su tiempo no se entendi bien su problema prctico, por ejemplo primero
crtica, ahora 100 aos despus, podemos demuestra que al contraer una circunferencia
retomarla y reinterpretarla diciendo: con sobre una esfera de 3 dimensiones
bastante frecuencia las teoras matemticas finalmente queda reducido a un punto lo
clsicas se atiborran de teoremas, algunos cual es bastante claro e intuitivo, y luego se
por dems obvios que ni siquiera vale la plantea el reto de demostrar el mismo
pena perder el tiempo en su demostracin, y teorema pero ahora suponiendo que
lo ms grave es que al parecer eso sirve de partimos de una circunferencia sobre una
pretexto para NO preocuparse o NO asumir esfera de dimensin mayor que 3, claro
el compromiso de formular los posibles primero se esfuerza por definir en abstracto
algoritmos basados o derivados de los lo que es una esfera de dimensin 4 o ms,
teoremas, para luego elegir o reformular el lo mismo, el de una circunferencia sobre su
algoritmo ms adecuado a nuestro superficie, una vez hecho eso entonces se
problema. pone a demostrar que al contraer la
circunferencia sobre la esfera de dimensin
Tambin a la matemtica clsica le resulta 4 o ms finalmente converge en un punto de
muy fcil postular axiomas o principios y la esfera.
demostrar o derivar teoremas olvidndose
del tiempo o recursos que estamos Muchos de los teoremas matemticos
suponiendo implcitamente sin siquiera clsicos, se pueden presumir como verdades
percatarnos. O sea la matemtica clsica lgicas, que resultaron asumiendo infinitud
resuelve los problemas en teora; por de pasos o tiempo, cuando en la vida
ejemplo demuestra que en algunos casos al prctica, resulta imposible disponer de una
sumar una infinidad de trminos el valor de infinidad de pasos o tiempo. Por que no
la suma converge a un valor definido, ntese contar con una nueva matemtica,
que no le importa el tiempo necesario para
que le resulte tan importante la
lograr la suma de la infinidad de trminos;
otro ejemplo, si fue fcil y posible conseguir verdad lgica como la verdad
la n-ada de valores que maximiza o algortmica pero lograda en pasos o
minimiza un funcin objetivo entonces tiempos finitos con cota polinomial?
supone que lo mismo pasar si en vez de
conseguir una n-ada pretendemos conseguir La matemtica clsica en el ltimo siglo, por
una m-ada , con m>n, dado que el n era un no decir, hace apenas menos de un siglo se
No. arbitrariamente dado. En la prctica eso aferr a lo formal, a lo abstracto, al infinito,
NO siempre resulta, ya que si el No. de a la demostracin lgica de todo, unos dicen
pasos o tiempo necesario para resolver el que fue porque Nicols Bourbaki le dio
problema era del orden de 2 a la n, entonces ms valor al teorema que al algoritmo, otros
para m=60, la cantidad de pasos o tiempo que porque USA preocupado por ganarle a
simplemente sera excesivo, por NO decir Rusia en su carrera espacial, adopt para su
imposible. propio sistema educativo la propuesta de
La Matemtica clsica muchas veces Bourbaki, otros dicen que porque Hilbert as
demuestra lgicamente que debe existir la lo plante como necesario, y los dems
solucin, pero puede NO hacer nada para simplemente nos dejamos llevar, algunos
conseguirla realmente, y otras veces se otros, que al parecer son la mayora,
conforma con generalizar los teoremas, simplemente creen que as debe de ser, ya
que en vista de que: --- las matemticas son deductiva de quienes la estudian. Nosotros
el lenguaje universal o el lenguaje de la tampoco creemos en tal dogma, quiz si no
naturaleza o de la ciencia o al menos el hubiera otra alternativa, pero a la fecha, bien
lenguaje de la fsica clsica, lo que en ella se podra ser mejor remitirse a los lenguajes de
establezca, estudie o proponga debe estar bien y programacin, o otras propuestas no
es lo mejor para todos; la matemtica clsica es matemticas que le apuestan de manera ms
lo mejor que tenemos y no nos puede mentir,-
eficaz al logro del desarrollo de habilidades
-- tales afirmaciones son ms un mito que motrices, cognitivas y afectivas; en nuestra
una realidad, ya que la matemtica clsica se experiencia como docente de ms de 30
formula sin el nimo consciente de facilitar aos nos resulta evidente que aun cuando el
su implementacin computacin, por lo estudioso de la matemtica o de la fsica, lo
tanto en muchos casos es disfuncional haga por gusto, finalmente eso no es
computacionalmente hablando, alguien garanta de un buen desarrollo de su
podra decir que no es cierto al ahora de pensamiento crtico y autocrtico. Tambin
modelar problemas sencillos, pero resultar sostenemos que es urgente ser selectivo en
ms evidente, al pretender modelar lo que los jvenes deben de estudiar de la
problemas de involucren al menos cinco matemtica y de la fsica, ya que habiendo
variables y haya tambin al menos cinco tantas ramas: no debe ser obligatorio que
reglas que regulen sus valores siendo el todos estudien las mismas o en el mismo
tiempo una de esas variables; buena parte de orden; ya basta de seguir el estudio de las
esa discapacidad computacional de las matemticas o de la fsica, segn lo marca la
matemticas, la hemos heredado debido a tradicin del siglo antepasado; ya basta de
que tradicionalmente se ha privilegiado la obligar a estudiar a todos los jvenes las
demostracin de un buen teorema por el mismas ramas de las matemticas clsicas
logro de un buen algoritmo; sin embargo infinitas continuas que no necesariamente
Stephen Wolfram en el ao 2002 declara son las ms aplicadas, ni las ms
pblica y formalmente la necesidad de hacer interesantes. Ya Conrad Wolfram y Ken
algo al respecto en su libro: La nueva clase Robinson han explicado esto ltimo
de Ciencia, y ahora nosotros en el 2012, tambin en sus propias palabras.5
simplemente retomamos y defendemos tal Por otro lado las geometras NO euclidianas,
postura. Al parecer la matemtica clsica o tambin llamadas No planas, nos han
que ha dominado durante los ltimos 300 demostrado que la verdad de los sistemas
aos, sin importarle reasumir su carcter
formales NO es absoluta, es en todo caso
experimental a fin de facilitar a la mayora
convencional, una verdad relativa a cada
su enseanza y aprendizaje, algunos la sistema. Por ejemplo la afirmacin de que
justificaban pues se asuma que as debera exista cero o solo una o ms de una rectas
ser, siendo que era la obra mxima del distintas a la recta original que pasa por un
intelecto humano, de nuevo eso, eso es ms punto exterior y que NO interseca a la
un mito que una realidad, quien siga en esa original a dado pie segn como se postule a
creencia es porque definitivamente no las diferentes Geometras, cada una tiene
conoce nada de la tecnologa java, por tan
solo poner un ejemplo de contrapeso. 5
Tambin no faltan los que justifican, que
http://www.youtube.com/watch?v=60OVlfA
gracias a su estudio con el estricto rigor
UPJg
lgico aun cuando no sirva para nada es
http://www.youtube.com/watch?v=TmTrRn
formativa, o sea contribuye
NxOaY&feature=fvwrel
significativamente a la formacin lgico-
una formulacin distinta del llamado quinto encontrar los nmeros primos dentro de
postulado de las paralelas. 6 cierto rango, o contar con un buen algoritmo
explcito que nos permita encontrar el
Hasta aqu debe quedar claro que ya no todo mximo comn de ciertos nmeros dados.
mundo est de acuerdo que un teorema sea
ms valioso que un algoritmo, mas si el Primero Donald Knuth muy probablemente
teorema se obtuvo por demostracin se percat, y luego Cook en 1972, demostr
indirecta, como bien sostuvo Brouwer hace que es posible clasificar los problemas por el
mas de 100 aos, adems los teoremas tipo de algoritmo que los resuelven, y que
matemticos ya no son verdades absolutas o no todos los algoritmos son del mismo tipo,
dictados de Dios, ya lo ha dejado bien claro y que hay problemas que pueden ser
las Geometras planas y no planas, cada una resueltos por diferentes tipos de algoritmos,
con diferentes variantes del postulado de las y finalmente demostr que hay problemas
paralelas, y por lo consiguiente cada una con que al suponer ser resueltos con cierto tipo
sus propias versiones de teoremas, con de algoritmo ese mismo algoritmo podra ser
orgenes hasta cierto punto contradictorios, usado para resolver otros problemas,
pero igualmente vlidos desde el punto de independientemente que esos problemas ya
vista lgico formal. En otras palabras, si P tuvieran un algoritmo que tambin lo
debe ser cierto, porque al asumir noP nos resuelve.
lleva a una contradiccin dentro de la rama Brouwer hace 100 aos, nos dijo: la verdad
matemtica k1, entonces eso no nos impide lgica conseguida por demostracin
que dentro de la rama k2, suceda al revs, es indirecta, es un mal hbito si eso nos hace
decir, que noP deba ser cierto, porque al descuidar u olvidar la verdad algortmica,
asumir P nos lleva a contradiccin dentro de pero tal afirmacin quedo en el olvido, hasta
la rama k2. que Donald Knuth y Cook retomaron el
Por lo tanto, queda al descubierto, que la tema. Por otro lado, Karl Popper, insiste en
verdad lgico formal es una verdad 1934 y luego 1959 en su libro sobre la
convencional, por eso a largo plazo, como lgica de la investigacin cientfica, que
bien proponan Brouwer, Donald Knuth: ningn enunciado o hiptesis P ser
debemos invertir tiempo, no solo en realmente cientfica, si no se somete a
demostrar teoremas, sino tambin en refutacin o prueba de falsacin, o sea no
desarrollar buenos algoritmos relativos. ser cientfica porque ella se verifique o se
Por ejemplo, podemos definir lo que es un verifiquen sus consecuencias, lo ser en
nmero primo, o lo que es un mximo tanto al suponer noP resulta una
comn divisor, y sin embargo quiz para contradiccin o no podemos explicar todo lo
muchos finalmente sea ms importante y til s se poda con P. Pero aclara el que P sea
contar con un buen algoritmo explcito que cientfica no significa que sea cierta,
nos permita decidir si un numero es primo o significa ms bien que por ahora la
no, o con un buen algoritmo explcito para preferiremos, en lugar de noP, ya que noP
decidir si un numero es mximo comn ha generado contradicciones o no explica de
divisor o no, o ms an contar con un buen modo ms completo o satisfactorio la
algoritmo explcito que nos permita realidad que P. Las posturas de Popper &
Brouwer son una tanto contradictorias, pero
6
no lo son tanto, si uno aclara que la crtica
http://cidcie.ubiobio.cl/wordpress/geometriane de Popper aplica para las ciencias fcticas, y
w/?page_id=138 la de Brouwer para las ciencias formales.
Pero bien es posible hacer de las dos una: justificado, que todas las variables aleatorias
considrese o prefirase a P, si antes ya se son independientes y con distribucin
mostr que noP es incompleta o se demostr Normal. Los estudiosos de inventarios
que es contradictoria, y ser mejor si suponen que la demanda de un artculo es
adems contamos con algn buen algoritmo siempre es constante etc., por eso unos hasta
derivado de P, y adems sera deseable llegan a concluir con sarcasmo matemtico:
verificar de algn modo lo dicho por P. que no es que el modelo matemtico est
mal, lo que pasa es que la realidad se resiste
A manera de parbola, desde el punto de a adaptarse a l.
vista del creyente: Popper dira, prefiero
creer en Dios, si se demuestra que ante la Despus de algunos aos de estudiar
falta de l, nada tiene sentido o hay muchas Matemticas descubrimos que la propia
contradicciones sin l, y Brouwer agregara, notacin matemtica es en s mismo un gran
no sirve de gran cosa saber que existe Dios problema, y el colmo es que aparte de
si no hay un buen camino que nos lleve a complicada, una vez que la dominamos, si
vivir (felizmente) con l, y sera deseable alguna vez pretendemos implementar
verificar de algn modo, digamos con algn computacionalmente el modelo o teorema
milagro bondadoso de su existencia. Y matemtico, descubrimos que la notacin
desde el punto de vista del ateo: Popper matemtica se plante sin el nimo
dira, prefiero NO creer en Dios, si se consciente de facilitar su traduccin a la
demuestra que con l, nada tiene sentido o sintaxis de los lenguajes de programacin
hay muchas contradicciones el suponerlo, y modernos. Quienes siguen defendiendo a
Brouwer agregara, no sirve de gran cosa ultranza la notacin matemtica slo porque
saber que NO existe Dios si no hay un buen se ha aplicado el rigor lgico al
camino que nos lleve a vivir (felizmente) sin desarrollarla, es porque no se han
l, y sera deseable verificar de algn modo, involucrado directa y seriamente con el
digamos con el incumplimiento de alguno de problema de la traduccin algortmica de los
sus planes profticos de su inexistencia. teoremas, o solo les importa su belleza
A la fecha ya tambin se habla de lgica, sin importan si son modelos o no de
computacin cientfica, como una alguna realidad. Cuando Bertrand Russell,
herramienta ms para abordar el problema llev esa creencia al extremo, escribi tres
de la cientificidad de alguna afirmacin en volmenes con el ttulo Principia
cualquier ciencia. Mathematica, a la fecha 100 aos despus,
slo se dice que es una gran obra
En todas las ramas del conocimiento, matemtica, basada casi exclusivamente en
incluida la propia Matemtica es usual el rigor lgico, pero que en la prctica a casi
suponer muchas simplificaciones, por nadie le interesa, o que muy pocos
ejemplo, que las variables son comprenden, de hecho slo est disponible
independientes e idnticamente distribuidas, en papel en muy pocas bibliotecas de
o alguna otra suposicin, propuesta no por escuelas de matemticas; el mismo Russell
adecuada, sino porque eso facilita la declar que prcticamente nadie le compr
construccin del modelo. Por ejemplo, los su obra.7
Fsicos inventan el concepto de partcula, o Afortunadamente es gratis en lnea, al
que NO existe la friccin, o que la menos el volumen uno, de parte de la
aceleracin de la gravedad es constante, etc.
Los Estadsticos suponen, y no siempre est 7http://www.cristina-
ambrosini.com.ar/textos/rusell.htm
Universidad de Michigan.8 9
8
9Hacia un modelo integrado de los algoritmos
http://quod.lib.umich.edu/u/umhistmath/AA metaheursticos
T3201.0001.001?view=toc Modelamiento y simulacin de sistemas complejos
Red HEUR
determinadas tareas previas o matemticos aplicables a la fsica sin
intermedias, basta conocer el suponer todo lo artificialmente convenido a
concepto de mtodo para percatarse fin de facilitarnos la labor de deduccin, es
que en efecto el concepto de casi como volver a empezar: de modo
operacin o funcin matemtica es experimental, como al principio de los
demasiado simplista. tiempos, pero ahora se tiene la ventaja del
uso de la computadora como un medio de
El concepto de vecindad apoyo para simular algunos experimentos.
tradicionalmente asociado a una Probablemente la fsica computacional
medida, muy socorrida y til si apareci en los inicios de la creacin de la
estamos ante una topologa continua Bomba atmica.
y esttica, pero si la topologa es As, es posible argumentar que la nueva
discreta y estocstica, entonces el fsica no necesariamente es determinstica,
enfoque de la topologa clsica pero si computacional, y requiere de
resulta inoperante. modelos probabilsticos, discretos,
aproximados y finitos, tan solo por esto el
Y los ms complicado que adopta la paradigma de la modelacin fsica,
matemtica clsica es cuando acepta apegndose de modo estricto a la
tratar con variables o funciones no matemtica clsica esta ya trastocado o
determinsticas pero que sean las cuestionado.10
menos, independientes y con
distribuciones de probabilidad La incompletitud de los sistemas formales,
conocidas. se evidenci gracias al Teorema de Gdel, el
cual establece que siempre habr al menos
Para estos nuevos intelectuales existen un teorema o enunciado que, aunque
nuevos conceptos, incluso ms elaborados e probablemente cierto, ser indemostrable, a
interesantes que rebasan o compiten con los menos que lo agreguemos como axioma a la
de la matemtica clsica. Basta contemplar rama de la matemtica o sistema formal
el desarrollo de las ciencias de la correspondiente.11 De hecho los axiomas
computacin, o tan slo el de la deben ser enunciados indemostrables o
programacin orientada a objetos, o el de la independientes de los otros axiomas, en
tecnologa java, para quedarse perplejo, y otras palabras, lo que dice el Teorema de
dejar de creer que la matemtica clsica Godel, es que siempre habr un nuevo
tiene el monopolio de la modelacin axioma que no habamos considerado. Por
abstracta, y que sea la nica que ofrezca una eso la pretensin de Bertrand Russell de
buena alternativa prctica de modelaje o de
desarrollo intelectual. 10
http://laboratorios.fi.uba.ar/lmm/nuevo_paradig
Muchos de los modelos de la fsica se ma.html
empezaron a complicar, al tratar de http://mmc.geofisica.unam.mx/acl/Archivos/Con
reformularlos cuando no se dan todas las ferencias/091107/Presentacion.pdf
condiciones que habamos supuesto, o http://www.conicit.go.cr/boletin/boletin85/e_cie
cuando muchas de esas suposiciones en ncia_CENAT.html
realidad eran artificiales, motivadas por 11
lograr deducir fcilmente el modelo. Sin http://www.dgdc.unam.mx/Hipercuadernos/God
embargo, rehacer lgicamente los modelos el/Intro.html
fundar toda la Matemtica en la Lgica demasiado talento matemtico estudiando a
fracas, con Godel quedaba claro que eso no los ngeles en el infinito y mas all y
iba ser posible. Por otro lado, aunque olvidndose de los humanos en el finito y
tengamos la certeza que nuestros axiomas ms ac, por decirlo de alguna otra manera,
son enunciados independientes y no nos sin caer en la afirmacin mas fuerte hasta
moleste que nuestro sistema sea incompleto, grosera de Poincare al respecto.12 Y vaya
sin embargo es probable que nuestro sistema que Henri Poincare era reconocido por el
axiomtico formal sea inconsistente, es propio Bertrand Russell como el ms grande
decir, que tarde que temprano derivemos Matemtico los tiempos modernos de
una contradiccin. Tal fue el caso con la entonces.13
teora Geocntrica, o cuando pretendamos En la matemtica clsica es fcil perder aos
resolver con la fsica clsica o Newtoniana y aos en la demostracin de afirmaciones
algunos problemas en el rango de grandes que de lograrlas o no, NO es clara la
masas o velocidades. diferencia o trascendencia, o lo que es peor
Las pruebas de Independencia y de hay demasiado tiempo invertido en
Consistencia para los sistemas matemticos demostracin de miles de teoremas por
lgico-formales son problemas, adems de dems evidentes, solo que no se haban
no-obvios, que rebasan a la propia demostrado, quien lo logra demostrar se
matemtica y son, en todo caso, problemas asombra de su logro, pero alguien de la calle
de la Metamatemtica, que a la fecha, puede decir: !eso, yo ya lo saba!, de
normalmente, ni los mismos matemticos qu sirvi haberlo demostrado?. Claro que
estudian, ya que antes se asuma que si algo tambin hay teoremas que no son evidentes,
estaba formulado en trminos de la y realmente interesantes pero
Matemtica, no haba de nada de qu paradjicamente: o casi nadie conoce al
preocuparse, pero ahora desde el punto de detalle su demostracin o si hay alguna
vista de la Metamatemtica, la Matemtica demostracin conocida solo unos cuantos
es slo un ejemplo de un sistema lgico lgicos o matemticos la comprenden. Por
formal a estudiar, de entre varios posibles, ejemplo el teorema de Cook, el teorema de
como lo son los lenguajes de Programacin. Godel, el ltimo teorema de Fermat, etc..
18
http://www.scribd.com/doc/9174723/Paradigm
as-de-Programacion