Professional Documents
Culture Documents
MATEMTICA
El Paradigma de la programacin orientada objetos ES UN PARADIGMA QUE MEJOR MODELA LA
Cfr.
Aunque se pretende salvar el sentido lgico, de tal resultado alegando: Este resultado matemtico
posibilidad
de
contar
con
matemticas
con
versiones
contradictorias en al menos uno de sus axiomas respectivos. Ante
la evidencia de tales hechos, (a menos que persista uno en su
postura de no verlos o aceptarlos), finalmente es fcil concebir a la
matemtica como un simple lenguaje o producto cultural humano, y
no como un lenguaje o producto cultural casi divino.
Para los que no recuerden. La hiptesis del continuo afirma: NO existe
conjunto X, cuya cardinalidad est entre las cardinalidades de N & P(N),
luego si alfcero=card(N), alfuno=card(P(N)), entonces la hiptesis del
continuo dira no hay nmeros transfinitos entre alfcero & alfuno, o sea el
infinito mas pequeo es el N, y el inmediato superior de N es P(N), la cual
al generalizarla, entonces el inmediato superior de P(N) sera P(P(N)), y
as sucesivamente. Nos ha parecido natural, pero NO puede demostrarse,
por eso requerimos postularla como axioma. La hiptesis del continuo en
otras palabras dira que NO hay nmeros transfinitos entre alfcero &
alfuno, ni entre alfuno & alfdos, y as sucesivamente.
La negacin de hiptesis del continuo afirmara: s existe al menos un
conjunto X, cuya cardinalidad est entre las cardinalidades de N & P(N),
luego si alfcero=card(N), alfuno=card(P(N)), entonces de suponerla habra
nmeros transfinitos entre alfcero & alfuno, o sea el infinito mas pequeo
es el N, pero el inmediato superior de N no sera P(N), la cual al
generalizarla, entonces el inmediato superior de P(N) no sera P(P(N)), y
as sucesivamente. La negacin de la hiptesis del continuo NO nos ha
parecido natural, pero tampoco puede demostrarse sea falsa, por eso
axiomas y/o de otros teoremas ya demostrados, luego los nicos dogmas de las
matemticas son los axiomas, ya que esos no se demuestran; hasta aqu
parecera que todo esta en orden, no hay mas complicaciones o misterios: NO
habr mas dogmas que los propios axiomas de la teora matemtica
correspondiente, sin embargo al paso del tiempo es facil descuidarse e ir
sumando o aceptando nuevos dogmas que NO son de la matemtica pero s de
los algunos matemticos o de cualquiera que los acepte.
Un primer dogma:
(1). El mundo se puede modelar solo con variables
continuas,
exactas,infinitas y deterministicas. O sea, creer que el mundo es posible
describirlo solo con la matemtica clasica del siglo pasado o anterior.
Afortunadamente algunos matemticos se percatan de existe otro mundo que
requiere para ser modelado mas bien con variables discontinuas, aproximadas,
finitas y NO deterministicas (aleatorias). O sea el que describe la matemtica
NO clasica: discreta y computacional o sea la matemtica que admite abordar
problemas NPC o NPH con el uso de la programacion y la implementacion de
metaheuristicas. O sea el dogma es falso, si la realidad a la que nos referimos
involucra muchas variables y condiciones estocsticas o caticas, ademas hay
que estar seguros, si en efecto queremos un modelo que reproduzca o prediga,
o mas bien uno que permita controlar o transformar la realidad de acuerdo a un
criterio de optimizacion adecuado, entonces a la fecha para este ltimo caso:
los modelos matemticos no clsicos mas recientes y computacionales ya
estn compitiendo con los modelos clsicos.
Segundo dogma:
(2). Todos los modelos o teoremas de las matematics son valiosos sin
importar haya dos que sean contradictorios, ya que lo ms importante es
que su origen es lgico, sin que importe mas.
Un ejemplo de ello son las geometrias no planas. Sin lugar a dudas las
verdades lgicas son importantes o bellas, pero actualmente tambien es
importante que se puede o no hacer con ellas en trminos prcticos.
Tercer dogma:
(3). La matemtica es la nica posedora de las grandes ideas y la clave
Cuarto dogma:
(4).Las matemticas son el lenguaje universal, o al menos el lenguaje de
las ciencias, o al menos el lenguaje de las fsica.
Que sea lenguaje universal es claramente falso, pues es mas universal la
musica o el lenguaje de seas por poner un contraejemplo. Que sea el lenguaje
de las ciencias, parece demasiada pretensin, y que sea el lenguaje de la
fsica,...bueno, en efecto las matemticas le han servido a la fsica como un
lenguaje adecuado para formular sus leyes, pero la fsica no ha podido ni
explicar, ni controlar todo lo que ocurre en la naturaleza, actualmente ya varios
fsicos prestigiados, han declarado que ante los fenomenos complejos de la
naturaleza es mejor alternativa recurrir a los algoritmos computacionales y No a
las formulaciones matemticas tradicionales. Consultar: la nueva ciencia de S.
Wolfram 2002.
Algunos matemticos quedan seducidos con sus modelos, les basta que sean
lgicos y bellos, si alguien alega que no tienen relacin con la realidad, su
subconciente les dicta el quinto dogma:
Quinto dogma:
(5).No es que el modelo matemtico est mal, lo que esta mal es la
realidad que pretendemos ajustar a l, adems no necesitamos asociarle
al modelo matemtico ninguna referencia real, su belleza logica justifica
su existencia.
Recuerdemos que hay al menos tres geometrias: la plana, la esferica, la
hiperbolica; cada una NO es suficiente, ni la mejor; son mas bien
aproximaciones de la realidad. Tambin hay al menos dos teoras de conjuntos,
una que acepta la hiptesis del continuo y otra que NO lo acepta. O sea las
matemticas no es la realidad son simples de modelos de la realidad.
Sexto dogma:
(6). Antes de estudiar las matemticas discretas debes de estudiar las
clsicas o continuas, y por supuesto en el orden como lo marca la
tradicin.
Repito como lo marca la tradicin y no que as deba de ser. Otro colmo, es el
sptimo dogma:
Sptimo dogma:
(7).Una ecuacin matemtica es mas importante que un algoritmo.
Es fcil percatarse que la naturaleza nos demuestra todo lo contrario. Por
ejemplo, si tu quieres un modelo de la hora del dia, por ejemplo, no vas a
recurrir a una ecuacin matemtica, para eso se inventaron los relojes; en todo
caso se puede afirmar que estos son implementaciones algortmicas de una
idea matemtica. O sea las matemticas en el mejor de los casos son buenas
ideas, que de no implementarse algortmicamente, son como las promesas
incumplidas. Afortunadamente actualmente hay ya muchos libros que subrayan
la importancia y trascendencia de los algoritmos, y del uso de la computadora
en el mbito del estudio y del desarrollo de las matemticas, rompiendo con el
paradigma:
si las matemticas son o se pretenden fomales, deben plantearse y
desarrollarse slo con estricto apego a la demostracin lgica inductiva o
deductiva, sin requerir de manera esencial de algun recurso algortmico o
computacional.
Cfr. The Princeton Companion to Mathematics es un libro, editado por
Timothy Gowers con editores June Barrow-Green & Imre Leader, y
publicado en 2008 por Princeton University Press (ISBN 978-0-69111880-2). Ofrece una amplia visin de conjunto de las matemticas, y
se caracteriza por la alta calidad de los contribuyentes. El libro fue el
ganador 2011 del Premio del Libro de Euler de la Asociacin
Matemtica de Amrica, otorgado anualmente a "un libro excepcional
sobre las matemticas". Tomado de:http://en.wikipedia.org/wiki/
The_Princeton_Companion_to_Mathematics.