clases,
mtodos,
propuesta mxima del modelaje, en realidad es solo una propuesta entre varias
posibles, como dicen los hermenuticos, la realidad siempre es mucho ms compleja
y ningn modelo por superior que se presente, finalmente es una de muchas
interpretaciones posibles de ella.
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
hasta podemos postularla como axioma. La negacin de hiptesis del
continuo en otras palabras dira que s hay nmeros transfinitos entre
alfcero & alfuno, y al generalizarla, tamben habra nmeros transfinitos
entre alfuno & alfdos, y as sucesivamente. En resumen y a fin de que
quede claro por analoga. Gracias a la hiptesis del continuo se ha podido
discretizar a los numeros transfinitos, algo as como los nmeros
naturales. Con la negacin de la hiptesis del continuo tendramos que
aceptar que hay otra clase de nmeros transfinitos no tan discretizados,
algo asi como los racionales.
4). Como que no es posible que las matrices en matemticas no
puedan ser modisqueadas y que necesariamente los valores de sus
entradas deban ser todos objetos del mismo tipo?.
El propsito de cada mtodo en los lenguajes orientados a objetos es claro,
sencillo y preciso. Sin embargo en matemticas no siempre es claro el propsito
de ciertas ramas de las matemticas, como el del algebra lineal con matrices
planas o de dimension dos pero de orden infinito, o el desarrollo de una algebra
de cuaterniones como parejas de complejos, alguien podra decir que bueno
Un primer dogma:
(1). El mundo se puede modelar solo con variables
continuas,
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
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.
No restamos el valor de las matemticas, como lenguajes formales, pero no hay
una sola matemtica, cada rama es un sistema, que puede o no tener
coincidencias o traslapes con otros sistemas.
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.
En un plano mas conciliador, dejando de lado los dogmas o creencias, y
concentrando nuestra atencin en el quehacer, mas que en la posturas
ideolgicas, subrayaramos lo siguiente:
se requiere gente para todo, hay quien se concentra en la definicin de las
cosas: en el que son, o en el como deberian o podrian ser; otros en: como
lograr o implementar realmente que las cosas sean lo que son o lo que dijimos
deberian o podrian ser. La postura de la mayora de los matemticos es lograr
modelos que simplemente reproduzcan o predigan la realidad; la postura de
algunos pocos matemticos es lograr modelos que permitan realmente controlar
o transformar la realidad de acuerdo un criterio de optimizacin cada vez mas
adecuado,...
Amemos a las matemticas !, no estoy en contra de eso, en general amemos
lo que hagamos; indudablemte es difcil no aceptar o adoptar dogmas, pero
evitemos eso nos impida ver si nuestra postura es ya obsoleta; as aunque nos
duela tenemos que reconocer que la matemtica NO lo es todo, ni lo abarca
todo, hay muchos problemas que han sido abordados por las ciencias de la
computacin y no por la matemtica clsica al mantenterse sta alejada o
desvinculada de las ciencias de la computacin, as a la fecha hay muchos
lenguajes modernos de programacin han alcanzado un nivel de desarrollo,
aplicabilidad y accesibilidad universal que pareciera debiera ser la materia
obligada de todo estudiante, como algun da as lo creimos con relacin a las
matemticas clsicas. Para que las sirven matemticas clsicas ?, si sus
grandes ideas ( que no son las nicas, ni las mas accesibles , ni las mejores )
NO se implementan o se llevan a la prctica, es por eso que requerimos de una
matemtica computacional. Un monlogo por mas lgico y perfecto que sea,
finalmente es rebasado por un dilogo computacional o algortmico mas
interactivo, real y prctico a pesar de sus imperfecciones.