Professional Documents
Culture Documents
ORIGINALMENTE MATEMTICA
Resumen
Se propone que los fundamentos de la meta-tcnica tienen su origen no en la
evolucin de la tcnica del siglo XX, cuando sta se desprende de su carcter ptico-lumnico
arraigado en limitaciones antropomrficas, antropocntricas y geocntricas de la tcnica
anterior; sino en la liberacin de las matemticas del siglo XIX de slo interpretaciones y
modelos puramente concretos de dominios finitos, dando paso a pruebas de logos o
principios inteligibilizadores de consistencia, tambin en dominios infinitos y abstractos. Se
conjetura que la naturaleza de la nootecnia, como lenguaje de interpretacin de la metatcnica, que traduzca la trans-racionalidad del dominio meta-tcnico al racional tcnico ser
la de una nueva rama de la matemtica, posiblemente como la que actualmente se
desarrolla en la lgica cuntica. La racionalidad se limita en este trabajo a los principios o
logos de la lgica matemtica tradicional, y la trans-racionalidad a la modificacin de tales
principios.
Antecedentes
Este trabajo tiene como antecedentes a los Fundamentos de la Meta-tcnica [1], a la
Tcnica y meta-tcnica de la computacin [4], a la Lgica Cuntica [2] y a conversaciones
con el doctor Ernesto Mayz Vallenilla.
Alcance
En esta monografa slo se hace referencia a los conceptos extrados de las
formalizaciones de la Lgica Cuntica segn textos y monografas actuales [2], [15] y [16],
pero no a las formalizaciones en s, con el fin de limitar su extensin a pocas pginas.
1
Objetivo
Pretendemos argumentar en esta monografa que la meta-tcnica es originalmente
matemtica y se gest en el siglo XIX, aunque llega a establecerse y reconocerse como
evolucin ms avanzada de la tcnica en el siglo XX [3]; y a partir de este resultado avizorar
en el dominio de instrumentos cunticos, netamente meta-tcnicos, los elementos transracionales de tal dominio y su nootecnia en una lgica cuntica.
Argumentacin
La meta-tcnica, segn la descubre y desarrolla el doctor Ernesto Mayz Vallenilla en
su original obra Fundamentos de la meta-tcnica [1], es la ruptura revolucionaria o
discontinuidad de cnones inteligibilizadores con sintaxis de logos distintos a los de la
tcnica evolucionada histricamente hasta el siglo XX; identificada por la trans-racionalidad
que abandona un logos de carcter ptico-lumnico de lo sensorio antropomrfico,
antropocntrico y geocntrico de raigambre humana, propio de la tcnica anterior, y
mediante la cual una serie de nuevos productos y artefactos no slo extienden el potencial
sensorial del hombre
epistemolgicos no
Partimos pues de la hiptesis que sin el abandono en las matemticas abstractas del
siglo XIX, de las interpretaciones ptico-lumnicas para los entes matemticos an
presentes en la matemtica moderna hasta el siglo XVIII, por una nueva matemtica sin
tales interpretaciones como la que nace con geometras no eucldeas, lgicas no estndares,
lgebras abstractas universales, conjuntos infinitos de distintos tamaos... la meta-tcnica
no salta a la discontinuidad que la libera de la tcnica antropomrfica, antropocntrica y
geocntrica en el siglo XX y lo que se avizora en el XXI [4].
Ms an, las nuevas dimensiones de la alteridad meta-tcnica de la nanotecnologa,
resultan asombrosas, casi fantsticas, al proponer experimentos netamente meta-tcnicos,
como el diseado por el fsico David Deutsch (premio Dirac), pionero de la computacin
cuntica, quien ha sugerido como prueba de la existencia de universos paralelos
matemticamente expresados en la llamada interpretacin cuntica de H. Everett, bajo el
nombre de del estado-relativo, y segn la cual experimentamos slo un estado que es
relativo a infinitos universos que se crean con historias distintas paralelas y disjuntas al
nuestro, cada vez que se toma una decisin o medida, pero los que podramos conocer
construyendo una inteligencia artificial cuntica que observe esa alteridad por nosotros y
nootecnolgicamente [5] no las comunique.
Sin embargo, es nuestra hiptesis, como antes anunciamos, que no fue la tecnologa
de la fsica o de otros orgenes tecno-cientficos en el siglo XX, donde se germin el
abandono
epistemolgico
de
lo
ptico-lumnico
sus
limitaciones
antropomrficas,
de
la
observacin
interpretaciones
ptico-lumnicas.
Por
siglos
los
matemticos trataron de deducir el postulado de las paralelas que aparece como quinto
axioma de los otros sin lograrlo. Una conclusin importante es que si slo pasa una paralela
a un punto externo a una recta, se tiene la Geometra Plana de Euclides, pero si pasan dos o
ms o ninguna, estas corresponden a geometras de espacios de curvatura positiva o
negativa, no planas.
Si se aceptaban esas tres posibilidades, una es ptico-lumnica, la plana; las otras no.
Si entiendo por ptico-lumnico lo que conozco porque lo captan mis sentidos directamente
con preeminencia de la visin, no mi posterior razonamiento. Con la meta-tcnica amplo
mis capacidades de percepcin, pero tambin para filtrar lo ptico-lumnico en mi posterior
razonamiento.
Le correspondera a Gauss aceptar tal hecho y desarrollarlas independientemente
despus por Bolyai (1802-1860), por Lobachevsky (1793-1856) y por Riemann (18261866); quienes demostraron que el postulado de las paralelas no es deducible de los otros
haba que admitirlo y que aceptando tambin axiomas distintos, como hizo Riemann para
desarrollar la suya, con los postulados de que no hay ninguna paralela que pase por un
punto externo P a una lnea L y que la suma de los ngulos de un tringulo es mayor que la
de dos ngulos rectos; pudo demostrar nuevos e interesantes teoremas; descubriendo as,
como lo estableciera el profesor Felix Klein (1849-1925), que la de Euclides es un caso
particular de las geometras, en que la superficie tiene una curvatura de cero y que cae
entre una geometra de curvatura positiva como la de Lobachevsky y otra negativa como la
de Riemann. Aunque la geometra euclidiana corresponde a la nocin que tenemos del
espacio por sentido comn, existen otras para espacios distintos si partimos de postulados
diferentes. Ello le dio un carcter ms general y abstracto a las matemticas. Se vea que no
era su materia el estudio del espacio o la cantidad, sino que es la ciencia por excelencia de
arribar a conclusiones lgicamente implcitas en un conjunto de axiomas o postulados y que
la validez de la inferencia matemtica no depende de ningn significado especial que pudiera
estar asociado a los trminos de los postulados; esto es, que la matemtica es mucho ms
formal y axiomtica de lo antes pensado y con ello se abran las puertas a nuevos mundos
abstractos, jams concebidos hasta entonces por la imaginacin humana y de ninguna
manera antropomrficos, antropocntricos y geocntricos.
Esto se evidencia por lo siguiente: la validez de los resultados de la geometra
euclidiana era posible comprobarla con la observacin de los hechos en el espacio ordinario
a que se refera; pero, en el caso de las no-eucldeas, que no tenan interpretacin en el
mundo inmediato en que vivimos, segn lo que la intuicin y el sentido comn nos dicen,
cmo podramos asegurar que su conjunto de postulados no lleven a teoremas
contradictorios? Un mtodo general fue considerado: el de encontrar un modelo o
interpretacin para los postulados del sistema de manera tal que los postulados se
conviertan en proposiciones verdaderas del modelo; y el modelo en s pueda ser verificado
por otros medios. Tal fue el caso de la geometra de Riemann, la cual podra interpretarse de
la manera siguiente: la palabra plano de los axiomas de Riemann como la superficie de una
esfera de la geometra de Euclides; la palabra punto como un punto en esta superficie; la
palabra recta, como el arco de un gran crculo en esta superficie, y as. Cada postulado de
Riemann se convierte de tal manera en un teorema demostrado en la geometra euclidiana y
la de Riemann es verdadera si la de Euclides lo es. Pero, no slo la transferencia de dominio
no es una prueba absoluta de un sistema formal y axiomtico, sino que la referencia a
Euclides conlleva a la comprobacin de hechos observables y nunca se estara seguro de que
un hecho no observado la hiciera inconsistente.
Algunos matemticos, particularmente Russell, Whitehead y Hilbert, cada uno por su
parte, intentaron interpretarlas en sistemas ms generales o construyendo sistemas
axiomticos para la geometra cuya enunciacin no tuviese referencia sino a conceptos no
definidos, hacindola cada vez ms abstracta; por ejemplo, Hilbert (1899) slo emplea
conceptos como punto, lnea, cae en, entre, etc. de tal manera que la formalizacin y
axiomatizacin del sistema pueda ser estudiada en s para comprobar su consistencia.
Pero, punto, lnea, cae en, entre que tienen origen ptico-lminico, si se
sustituyen por cualquier cosa y se es consistente en la sustitucin, por smbolos arbitrarios,
como por ejemplo , , , sigue siendo una geometra consistente. En el sistema de
Hilbert, por el procedimiento axiomtico y formal con que se construye. Ms aun, hay
matemticos ciegos de nacimiento que hacen muy bien la matemtica, sin ayuda de smbolos
operables visualmente. En todo caso, se le podra ensear matemtica con los smbolos de
arriba en Braile a un ciego, y sus conceptos no tendran raigambre ptico-lumnica.
Por otra parte, casi todos los campos de las matemticas realmente importantes se
refieren a conjuntos de un nmero infinito de objetos y la teora de conjuntos vino a
convertirse, entonces, en el fundamento ms general y abstracto de casi toda otra teora
matemtica. Pero en sta surgieron paradojas tanto en las clases de infinito y en las clases
infinitas, como en el campo elemental de la lgica; entre ellas, la muy conocida de Russell,
que pona entredicho todo otro fundamento.
Esto condujo al programa de Hilbert concebido para lograr una definicin metamatemtica de la aritmtica, para empezar, que se probara en el propio sistema, y
comprobar que el sistema es consistente y completo. El paso genial lo dio Gdel codificando
proposiciones meta-matemticas en sistemas lgicos, con resultados que le hicieron mover
el piso a todo el esfuerzo por axiomatizar y formalizar todas las matemticas, con la
demostracin que ni siquiera la aritmtica es totalmente formalizable y axiomtica.
Entonces, qu son los smbolos y las frmulas matemticas: son las matemticas? Pues no.
Sirven como lenguaje, quizs como nootecnia, entre esos entes matemticos y la mente
cmo
operamos
con
l?
Toda
nuestra
costumbre
del
razonamiento
como la mayora de los matemticos, que existe una clase de mundo platnico a la que
nuestra mente tiene acceso pero nuestros smbolos o valga decir nuestro lenguaje no
expresa como es. En ese mundo platnico no hay indecidibilidad sino teoremas verdaderos o
falsos, blanco o negro, no los tonos grises con que nuestras limitaciones de alguna manera
antropomrficas, antropocntricas y geocntricas (como se avizora en la meta-tcnica) los
expresa. En palabras de Chaitin:
La filosofa de las matemticas....
El auto-anlisis de la matemtica moderna comienza, es justo decirlo, en las
sorpresas que engendraron las teoras de George Cantor en el siglo XIX y el intento de
Frege, Peano, Whitehead y Russell por fijarle unas bases slidas, lgicas, a las
matemticas... que condujeron a las paradojas... Creo que el trabajo escrito, y en particular
mi propio trabajo en aleatoriedad, no descartan los nmeros enteros. Yo siempre he credo,
como me parece que la mayora de los matemticos probablemente creen, en alguna clase
de universo platnico. Preguntas como Tiene una ecuacin diofntica infinito o finito
nmero de soluciones? Que aunque de poco significado computacional, aunque nunca
nosotros (humanos) lo sepamos, Dios lo sabe y hay o no hay un finito nmero de
soluciones. La realidad en el universo platnico es blanca o negra, no de tonalidades grises
como es para nosotros... no creo que esto sea tan malo, la fsica cuntica que tan
fundamental es en nuestro conocimiento actual de la realidad es aleatoria e impredecible y
estos conceptos lo encontraremos en el corazn de las matemticas puras [8].
Gotlob Frege crea que el pensamiento con que conocemos las matemticas puras es
inmaterial, y que el smbolo con que lo arropamos lo hace material y perceptible para
comunicarnos. Pero los smbolos son convenciones sujetas a circunstancias histricas,
geogrficas y hasta de moda (recurdese la notacin de Newton y la de Leibniz para el
clculo), muy ptico-lumnicos. Sin embargo, las matemticas desde Cantor para ac se han
ido desprendiendo en su aspecto semntico o en su significado de tal limitacin... pero el
smbolo seguir siendo necesario con todo su origen ptico-lumnico si se quiere comunicar
lo que se conoce.
Dominios de la meta-tcnica
No toda la tcnica avanzada es meta-tcnica. Por ejemplo, la computacin tradicional
no cuntica no lo es; pues su paradigma central es el Principio de Turing, segn el cual para
toda computacin existe una mquina de Turing, y el logos de sta es ptico-lumnico; a
saber: los principios de identidad, el tercero excluso, el de no-contradiccin y la funcin de
son
en
consecuencia
ptico-lumnicas
de
logos
antropomrfico,
instantnea de
informacin entre partculas de un mismo origen separadas a distancias tan grandes como
los extremos de una galaxia; y que en el mundo sub-atmico rige el principio de
incertidumbre que nos impide conocer la posicin y el momento a la vez de una partcula es
decir de complementariedad, y prevalece como ley estadstica inexorable de los hechos que
hacen del mundo cuntico un mundo de probabilidades en el que la tecnologa habitual,
tradicional no tiene cabida pues todos los estados del sistema estn superpuestos mientras
no se midan... Una de las consecuencias de este Principio es que el observador cientfico, en
el estudio de los fenmenos del microcosmo, no puede realizar observaciones objetivas: su
participacin altera la realidad. El acto voluntario de su conciencia (escoger entre medir la
posicin, el momento...) influye sobre la medicin. Y esto, que la conciencia aprehenda
directamente la realidad y por s sola la modifica. Es decir, que al medir creamos la realidad
que slo existe potencialmente, no actualmente, como conjetura de las interpretaciones de
la mecnica cuntica. Y, en los ltimos aos, la posibilidad de que existan universos
paralelos al nuestro o multiverso, como los llama David Deutsch, dentro de otra
interpretacin, que se detectan por interferencias cunticas, y que creamos cada momento
con observaciones, mantiene perplejos tanto a cientficos como a filsofos. De manera que el
logos, razn, inteligibilizacin o explicacin que nos proporciona esta teora como lenguaje,
discurso o pensamiento acerca de tal realidad fsica, por ahora slo refleja lo que hemos
alcanzado del conocimiento y no es toda la realidad; y deber ser ajustado en posteriores
avances. Esto es as porque hasta el momento lo que la teora nos presenta es totalmente
anti-intuitivo a lo que el mundo de la vida diaria es para nosotros. En particular, las leyes de
las probabilidades. Y aunque los fsicos suelen recurrir a transformaciones de imgenes con
que pudieran compararse los fenmenos cunticos con los de la vida diaria, estas
comparaciones slo sirven para comunicar en lo posible al hombre comn lo que ocurre a
nivel sub-atmico. Y hasta algunas veces para presentar experimentos imaginarios. Pero, los
expertos entre s, slo pueden entenderse en un logos matemtico sin imgenes. En
consecuencia, no conocemos cmo es la realidad en s, slo la deducimos matemticamente.
Lo que las teoras nos dicen es algo sobre lo que nosotros sabemos, no cmo son las cosas
en s. Por lo tanto, caben interpretaciones o especulaciones cientficas de cmo es la realidad
del mundo en que participamos y cmo deberamos interpretar la teora cuntica.
En tal sentido encontramos un paralelismo aunque diferentes lenguajes, entre lo que
dice el doctor Mayz sobre la trans-racionalidad y los filsofos y cientficos que interpretan la
mecnica cuntica. Segn Mayz la trans-racionalidad del logos meta-tcnico, a pesar de su
disimilitud con la racionalidad humana, posibilita e inaugura una nueva dimensin y/o
proyeccin de la misma (trans-ptica, trans-finita, trans-humana) que, en lugar de
aniquilarla, propicia no slo su enriquecimiento intrnseco, sino paralelamente la transformacin y trans-mutacin de la alteridad total [11]. Ahora, la formalizacin de la
mecnica cuntica por medio de la matemtica de los espacios de Hilbert se hizo con la
lgica clsica (racionalidad); es decir, basada en los principios de identidad, tercero excluso
y consistencia; pero la lgica cuntica que parte de proposiciones verdaderas o falsas segn
se derivan de los sub-espacios de Hilbert es no-clsica, valga decir, no se sostiene en los
anteriores principios o logos (trans-racionalidad) en todas sus consecuencias como es el
caso de la ley distributiva que no es vlida en la lgica cuntica [13].
Desarrollo futuro
Si el argumento anterior es vlido, podramos encontrar algunos paradigmas en las
matemticas actuales que sirvan de modelos a la nootecnia. Puesto que los artefactos metatcnicos se fundamentan y fundamentarn en la mecnica-cuntica como teora no-clsica 2
ms acabada de la fsica actual, su formalizacin matemtica sera un buen dominio para
explorar la nootecnia como lenguaje traductor de la trans-racionalidad meta-tcnica a
nuestra racionalidad humana.
meta-tcnica,
sera
una
opcin
estudiarse
entre
las
siguientes
Referencias
[1]
Editores. 1990.
[2]
[3]
Deustsch, David. The Fabric of Reality. Penguin Books. 1997. Pgina 50.
[6]
[7]
Whitehead, Alfred N. Science and the modern world. A Mentor Book. 1925.
Captulo I.
[8]
Ibidem.
[13]
[15]
http://plato.stanford.edu/entries/qt-quantlog/#2.
[16]
Dickson, Michael. Quantum Logic is alive. History and Philosophy of Science. Indiana
University. http://www.mdickson.com/pubs/Quantum_Logic.pdf.