Professional Documents
Culture Documents
de LORENZO
(Universidad de Valladolid)
JAVIER
1. A mediados del s. XIX se produce, en el hacer matemtico, una inflexin. De la creencia en la certeza absoluta, en la no arbitrariedad de la
Matemtica, se pretende la bsqueda de un fundamento para la misma.
Kant haba escindido la Matemtica de la Lgica de tal mido que la primera tena unos modos propios de razonamiento, ajenos a la Lgica: las
proposiciones de esta ltima eran analticas a priori mientras que las proposiciones aritmticas, por ejemplo, eran sintticas a priori. Ello implicaba la no reduccin del hacer matemtico a la Lgica. Reflejaba, de esta
manera, el sentir de los matemticos de manejar objetos, fenmenos, en
un sentido semejante a como lo hacan los fsicos respecto a la naturaleza.
Sin embargo, el desarrollo del Anlisis, la aparicin de geometras noeucldeas, entre otros, conducan al hacer matemtico a una posicin en
que lo deductivo iba cobrando un papel cada vez ms importante. No
bastaba tener fe en los productos de la razn, haba que demostrarlos. Y.
en esta lnea, la Aritmtica va a tomar el papel relevante de fundamentar
los restantes haceres, papel que haba correspondido, hasta ese momento,
a la Geometra. Un paso ms, y la pregunta se har sobre qu soporta la
Teora de nmeros. Aun admitiendo la certeza y la no arbitrariedad del
hacer matemtico. se har problema el de los ltimos fundamentos del
mismo.
Y esa bsqueda de fundamentacin va a conllevar un proceso reduccionista: en el interior de la Matemtica teora de conjuntos o cantorismo, formalismo hilbertiano.... en el exterior de la misma teora del reflejo, abstraccin inductivista, formalismo linglstico sintctico, logicismo
con su intuicin de estructuras y objetos pertenecientes a un mundo eidlico real....
A partir del s. XIX se hace problemtico el fundamento de lo que, hasta ese momento, se estimaba como una certeza, una seguridad. Seguridad
que, por otro lado, la Matemtica transmite y soporta a otras disciplinas, a
otros haceres bien como apoyatura lingstica mediante el empleo de frmulas, bien como arquetipo incluso de lenguaje donde no hay opiniones
o pareceres sino mera presencia demostrativa de lo verdadero y me reRevista de Fitosofia.
3a
44
Javier de Lorenzo
2. Cabe observar, sin embargo, que la bsqueda de fundamento ltimo no es propia de slo el hacer matemtico, sino mostracin, en este hacer particular, de algo ms profundo y existencial humano. Es la manifestacin del deseo de lo que puede calificarse como principio minimal de
estabilidad.
La bsqueda de la verdad, de la seguridad es inherente al espritu humano en cualesquiera circunstancias, independiente a pocas y lugares.
Algo que se refleja en el principio de identidad de Fichte, en la razn absoluta de Hegel, en la utopa marxiana..., en la plasmacin de Burbujas o
Ambitos como la Simblica donde lo religioso, lo mstico, lo mgico, puede proporcionar, en algn momento, dicho fundamento absoluto. Es lo
que refleja la fe del cientfico en elementos como la simplicidad y la simetria considerndolas inherentes a la naturaleza y, como tales, reflejables
en las leyes de la misma, y que le ha conducido a buscar conceptos mnimos pero unificadores que den cuenta de la realidad y es el xito de la
Fsica al partir de la idea de que las leyes fsicas son invariantes bajo rotaciones del espacio, por ejemplo, as como a la incesante bsqueda, en
estos aos, de una teora unificada de fuerzas como pretensin de una explicacin definitiva de las leyes fsicas...
Lo que se tiene, en el fondo, es que el hombre. mera naturaleza, se ha
forjado como hombre mediante la constmccin de una naturaleza transformada, mediante la elaboracin de un mbito enfrentado a aquello que
ha estimado siempre como irregularidades, como caos; enfrentado como
naturaleza a la naturaleza que le entorna. Frente al caos, frente al paso
del tiempo, ha construido la forma como elemento compensatorio, como
elemento que le posibilita evitar los desajustes entre los elementos no homogneos de la naturaleza. Forma frente a caos, frente a irregularidad,
frente a temporalidad. De ah la importancia de la Geometra eucldea como creacin de un espacio homogneo, isotropo, ilimitado, atemporal... en
lo estrictamente conceptual, geometra acusada de modo permanente de
estatismo; de ah la importancia de lo arquitectnico manifestado en la
construccin del monumento cuya permanencia se convierte en el elemento aglutinador morfolgico de lo urbano, sea de identidad para
quien vive, para quien pasa realmente un instante, en su entorno.
Bsqueda de absoluto frente a un medio que manifiesta, en su concrecin diaria, todo lo contrario. Con una permanente contradiccin, alienadora: ese absoluto es, siempre, una utopa porque no slo lo que entorna
45
3. En esa bsqueda de utopas estables, la razn conceptual, constitutiva, creadora, ha construido uno de los recursos humanos para la consecucin de una Burbuja o Ambito conceptual donde refugiarse y, a la vez,
transformar el caos mediante la elaboracin de unas formas estables, con
la ilusin de su validez para todo tiempo y lugar. Razn instrumental,
ciertamente, pero razn constructora de formas. Razn que, sin embargo,
y es contradiccin inherente, requiere a su vez de un fundamento, de una
seguridad frente al proceso, frente a: caos y al azar.
En esa creacin de formas estables, desde el mbito de lo conceptual,
el hombre ha creado el Ambito de la Matemtica. Ambito que muestra,
desde mi punto de vista, desde una mirada al interior, diversos rasgos segn sean los planos con los cuales se enfoque y que, a su vez, entraan
distintas cuestiones problemticas.
46
Javier de Lorenzo
meros elementos de un nivel conceptual superior que es el que, como nuevo objeto, constituye, ahora, el constructo a estudio. Estructuras que pueden ser las estructuras madre o combinaciones de las mismas...
El estudio de estos constructos, en sus niveles propios, da paso a teoras que tambin se escinden en distintos planos. Y as puede estudiarse la
Teora de grupos y la estructura de grupo aparece como objeto en sus relaciones con otros grupos, por ejemplo, ola Teora de grupos abelianos,
o el Clculo diferencial o integral de una variable real, o la Geometra diferencial, o la Geometra eucldea... O esta ltima enfocada desde lo sinttico o bien considerada como la manifestacin de unas transformaciones
que dejan invariantes unos grupos algebraicos determinados. O bien una
teora de teoras por decirlo as, como el Algebra universal.
En un momento un constructo puede presentarse como elemento individual y puede estudiarse como tal en cuanto a sus componentes que lo
articulan como dicho objeto o bien puede enfocarse como miembro de
una estructura. Anlogo con las teoras, que pueden enfocarse como teoras en si o como formando los elementos de otra teora. Por unos
ejemplos:
Un nmero real puede establecerse como la clase de equivalencia de
todas las sucesiones de nmeros racionales equivalentes entre s mdulo
una sucesin racional nula, o bien puede estimarse como un algo absoluto, elemento de un determinado conjunto real;
Un subeonjunto de los nmeros reales puede estimarse como un intervalo cerrado con unas propiedades intrnsecas, que pueden culminar
con la establecida en el teorema de Bolzano-Weierstrass, o bien puede considerarse como miembro de una familia de cerrados que se estructura como una topologa, o bien cabe aceptar dicho cerrado instrumentalmente
como dominio para el estudio de una funcin de variable real;
Los nmeros naturales pueden estudiarse en s y ello en distintos
niveles: planteamiento de una conjetura como la de Golbach, resolucin
de ecuaciones diofnticas, divisibilidad..., o como subestruetura de los
nmeros reales y, en este caso, con propiedades analticas y no aritmticas, o como subeonjunto amorfb incluido en el conjunto de los reales
con lo que aparece el problema de la cardinalidad y las cuestiones relacionadas con los cardinales transfinitos, o algebraicamente y aparecen como
un semianillo eucldeo abeliano bien ordenado...
Como objeto en s. como miembro de. Dos enfoques que, por supuesto, plantean en cada caso cuestiones diferentes y obligan a mtodos de tratamiento tambin diferentes ya que en un nivel pueden relacionarse unos
con otros y tratar las propiedades que reflejan tales relaciones de modo
axiomtico y a otro nivel como apoyatura para otros conceptos, y a un tercer nivel como problema intrinseco e. incluso, mero juego. En cada nivel,
los objetos matemticos creados por el matemtico muestran una realidad
absoluta, pero su configuracin intrnseca vara segn el nivel en el que se
47
48
Javier de Lorenzo
49
nen, e incluso condiciona, de modo indirecto, la adopcin del segundo enfoque, ya racional, del hacer matemtico.
b. Instrumental El segundo enfoque pretende la supresin de cualquier elemento simblico del hacer matemtico. Este se mostrar como
un hacer demostrativo, ajeno aparentemente a la naturaleza. Y desde esta
posicin se pretender su aplicacin, a travs de otras ciencias, a la naturaleza, de la que no forma parte intrnseca. En tal aplicacin se muestra
como un hacer instrumental bsicamente para la cuantificacin, para la
metrizacton.
En este punto suele cometerse un error de base. De hecho, puede
adoptarse una frmula, un algoritmo para un uso inmediato; pero ello no
es aplicar la Matemtica o emplearla como slo instrumento. Cuando se
suman dos limones con dos limones, se obtienen cuatro limones, pero la
frmula de la suma de naturales no siempre es correcta: basta sumar dos
gotas de un iquido con dos gotas del mismo liquido para no obtener cuatro gotas. En la aplicacin de una frmula hay que hacer, previas, unas
suposiciones, en general implcitas, que es donde clava su raz, precisamente, la aplicacin de la Matemtica.
Si se pasa de frmulas aritmticas o procesos simples de medida
como el que requiere medir esta mesa en la que me encuentro a teoras
completas como el Clculo diferencial o integral, el de Probabilidades... se observa que muy pocas disciplinas pueden hacer uso de tales
instrumentos. Cuando Carlos Marx pretende obtener las leyes econmicas en su formulacin matemtica no hace ms que poner de relieve el
fracaso de tal aplicacin directa. Cuando en Qumica se ha intentado la
expresin matemtica de la interaccin entre dos molculas algo complejas lo que se ha obtenido es la manifestacin de que esa interaccin no
admite una formulacin matemtica precisa... Y una cosa es el empleo de
recetas matemticas como se viene haciendo en Economa, Sociologia.
Biologa. Etologa... y otra es obtener una autntica matematizacin de
las disciplinas en cuestin. Y creo que la equivocacin se centra en pensar
que la Matemtica se aplica, por modo nico, en lo cuantificable y siempre a posteriori de la disciplina que la emplea, y de aqu que se adopte como criterio cientfico, casi por modo exclusivo, la cuantificacin y se llegue a sostener que slo los conceptos cuantitativos son los conceptos autnticamente cientficos.
El hacer matemtico es algo ms que lo estrictamente cuantificable o
lo estrictamente operacional. No es slo la plasmacin de un cierto tipo
de universo racionat que exige su propia configuracin sgnica. El hacer
matemtico slo ser aplicable all donde se muestre como un hacer constitutivo. y no meramente regulativo, para una determinada concepcin
cientfica. Quiero decir, el hacer matemtico es creador de los marcos de
validez, de los espacios conceptuales en los que puede establecerse una
50
Javier de Lorenzo
51
to en sus principios bsicos como en sus derivados. Lo que estoy afirmando es que la Matemtica condiciona la creacin de teoras fsicas y de tal
manera que no es algo exterior de lo que se tomen unas frmulas, una herramienta parcial e inocua, sino que es su base constitutiva. Es el hacer
matemtico el que da el mareo imprescindible sin el cual esa teora cientfica carece de toda posibilidad de construccin. Marco que no puede enfocarse como fundamento nico y ltimo, sino como aquel que posibilita
unas reglas de juego y que, por lo indicado, pueden ir variando. Marco al
que, una vez creado, hay que agregar otra serie de caractersticas, de reglas
de juego como la creencia tambin constitutiva del hacer fsico en la
invariancia cosmolgica de las leyes de la naturaleza, o la invariancia que
regula los aparatos de instrumentalizacin experimentaL..
52
Javier de Lorenzo
53