Ideologa y matemticas: el cero, la nada y el conjunto vaco

Ideologa y matemticas: el cero, la nada y el conjunto vaco

Las meigas no existen pero haberlas, hailas Costa Reparaz, Emilio E-mail: ecosta@uniovi.es Lafuente Robledo, Manuel E-mail: manuellafuente@uniovi.es Departamento: Economa cuantitativa

Universidad de Oviedo

RESUMEN
Con estas reflexiones se pretende poner de manifiesto las dificultades de diferente mbito que existen en conceptos, habituales y aparentemente sencillos, en los que no solemos pararnos a pensar sobre ellos. La aceptacin de estas tres ideas est impregnada de una gran carga ideolgica, en su sentido ms amplio de la palabra, desde sus aspectos religiosos a los filosficos pasando por la concepcin de la Fsica.

Palabras claves: nada; vaco; cero Clasificacin JEL (Journal Economic Literature): C00, Z1

rea temtica: Metodologa

XV Jornadas de ASEPUMA y III Encuentro Internacional

Costa y Lafuente

1. INTRODUCCIN
El cero El cero tiene ms importancia que el simple valor posicional?. Naci o se creo para resolver problemas metafsicos?. Parece que no tiene origen filosfico. Se discute su existencia pero se dice tolerancia cero, dficit cero, crecimiento cero, coste cero,...

La nada

Quiz este concepto sea el que ha llevado a ms contradicciones, a la vez que con mayor intensidad ha comprometido e influido en la existencia y creencias de los hombres. La lucha entre el Ser y el no Ser. Entre Tanatos y Eros, (no solo amor, sino vida). Entre las Tinieblas y la Luz. Entre origen y el fin de la vida o quiz solo su origen. Como dira el poeta ... de todo lo que es/ an siendo/ lo que eres/ pues nada es/ donde todo es nada./ Nada

El vaco

Existe el vaco? Dnde? La concepcin fsica e intelectual del vaco ha oscilado desde la celebre mxima horror vacui, hasta considerar que el mundo es un enorme vaco y que la materia es un accidente o una emanacin, en el sentido de desprendimiento del vaco. La

dicotoma vaco no vaco se ha roto. El espacio fsico est lleno de algo. Parece que el matemtico puede no contener objetos o entes

2. EL CERO
Para el desarrollo intelectual del hombre el descubrimiento del cero, su utilizacin y manipulacin quiz sea un descubrimiento tan importante como la rueda para el desarrollo de la humanidad. Como tantos otros descubrimientos, el cero no apareci de motu proprio en un lugar determinado, sino que fue el culmen de trabajos en distintos sitios y de diferentes civilizaciones. Parece que tiene, por lo menos, dos orgenes independientes tanto cultural como geogrficamente. Los aspectos teleolgicos de su interpretacin, tambin han sido diferentes segn los objetivos buscados por los problemas planteados..

XV Jornadas de ASEPUMA y III Encuentro Internacional

Ideologa y matemticas: el cero, la nada y el conjunto vaco

Hacia el 2500 a. C. en la civilizacin Maya, aparece el cero y se utiliza para desarrollar sus estudios astronmicos y las aplicaciones arquitectnicas, as como la gran obsesin de este pueblo, la medicin del tiempo. Muy lejos de all, los sumerios, para la mayora de los autores (solo Spengler piensa que fueron los puebles semitas) descubrieron o inventaron- el cero para resolver los problemas aritmticos que el comercio originaba. Alejandro llev el cero a Babilonia y, de all, pas a la India. Las relaciones comerciales de italianos y rabes, lo expandieron por Europa. Los mayas destacan la vertiente tcnica del cero mientras que en oriente se destaca el aspecto contable y posicional. El mundo clsico no dej pasar la oportunidad de considerar los matices filosficos e intelectuales. En efecto, retoman la sensibilidad india, que consideraba el cero como el smbolo de sunya, esto es la nada, y daba la clave de la existencia. Aunque los griegos, interesados en contar y medir, en el sentido geomtrico, destacaron el carcter utilitarista de los nmeros, pasaron a considerar la matemtica como el estudio de los nmeros y las imgenes, las reas y las figuras. El cero como nmero natural Esperemos que no nos pase como a un discpulo de Pitgoras a quien mando ahogar por exponer pblicamente la existencia del cero. Si entendemos que los nmeros indican o simbolizan cantidades, esto es, son la expresin de una cantidad con relacin a una unidad el cero podra tener la interpretacin de una medida. Entonces, tendremos solo smbolos, destacando el carcter posicional y practico sobre el aspecto filosfico. Esta vertiente intelectual del cero traer consigo la aparicin de la contradiccin de tener algo de nada. En este sentido simblico, una cosa es que exista el smbolo, desde la perspectiva semitica, sin entrar en su correlato semntico y otra que exista lo que representa. Si nos fijamos en los nmeros naturales, de la axiomtica de Peano, se suelen hacer dos enunciados, uno incluye el cero como primer nmero natural y el otro que comienza con el uno. Esta axiomtica es contraria a considerar los nmeros como cantidades. Considera que los nmeros son conjuntos. Pero puede haber un conjunto sin elementos?. Si los nmeros

XV Jornadas de ASEPUMA y III Encuentro Internacional

Costa y Lafuente

representan cantidades, la cantidad nula es inexistente, aunque el smbolo si puede existir, y de hecho, existe. El cero entendido como un nmero abstracto o un smbolo, tiene unos matices reales y filosficos que es preciso tener en cuenta. Entre los primero debemos destacar el mundo de la fsica. En este campo el cero indica la ausencia de una magnitud. Hablamos de temperatura cero, pero existe?. Una cosa es que un cuerpo este a 0, en cualquier escala distinta de la absoluta y otra muy distinta que su temperatura sea cero absoluto, esto es, carente de calor y, por tanto de energa. Esa ausencia de energa Existe? Parece que no. Una cosa es que un cuerpo est en reposo y otra que no tenga movimiento que su movimiento sea cero. Pinsese en la fsica quntica. En ella el movimiento no puede ser cero, no puede haber ausencia de movimiento, aunque s de desplazamiento. (Pensemos en el movimiento de La Tierra o de los corpsculos atmicos) En el campo de la Economa nos encontramos con problemas o situaciones parecidas. Un sujeto econmico puede tener cero renta, pero no cero ingresos econmicos o monetarios. La demanda de un bien con elasticidad constante es una hiprbola por tanto el bien es estrictamente necesario. Qu pasara si se demanda cero unidades de ese bien o su precio fuese cero?. Parece claro que cuando hablamos de cero tenemos que incorporar matices y unidades que con otras cantidades o nmeros no son necesarios. La Estadstica y, dentro de ella, la teora de la probabilidad, esta a caballo entre lo que podramos llamar ciencias de la realidad y ciencias filosficas en el sentido popperiano. Cuando decimos que un suceso tiene probabilidad cero no estamos diciendo que su acaecimiento es imposible, sino que es MORALMENTE imposible, lo que quiere decir que no es metafsicamente imposible, podra ocurrir. La probabilidad de que un chimpanc, con una maquina de escribir, escriba El Quijote, es moralmente imposible, pero podra ocurrir. Obsrvese que introducimos un matiz nuevo: la imposibilidad moral, esto es el cero moral.

XV Jornadas de ASEPUMA y III Encuentro Internacional

Ideologa y matemticas: el cero, la nada y el conjunto vaco

3. LA NADA
Suponiendo que Nietzsche tuviese razn al decir que el error es el origen de la verdad, debemos concluir que si el mundo existe, y existe, debemos basarnos en estudiar la nada como algo opuesto a la realidad concreta. La idea de la nada es un concepto complejo, fructfero, sugerente y resbaladizo, que se puede simbolizar mediante la oscuridad. En efecto. Por nada podemos entender la carencia o ausencia de todo ser, entendiendo por ser la cosa creada o existente, bien sea contingente o no. Para definir este concepto debemos recurrir a sus aspectos negativos, esto es, debemos considerar lo que no es nada, en otras palabras, tenemos que poner nfasis en lo que no es. No se pude delimitar ni describir por s misma. Tenemos que hacerlo por oposicin a lo que no es, a las ideas contrapuestas de lo que es. El concepto de nada se puede estudiar bajo varios puntos de vista. A partir de la perspectiva de la negacin del ser absoluto o desde la postura de la alteridad, fijndonos en la capacidad de ser otra cosa diferente, como la negacin de un ser determinado. El ser contingente o no es algo, de manera que la nada es la negacin de ese algo, pero para definir, delimitar, acotar un ente lo que es o puede ser- necesitamos una frontera, lo que nos lleva a la necesidad de definir la nada recurriendo a elementos o ideas ajenas. Es lo que podramos llamar un concepto teortico, pues para hablar de esos conceptos con cierta propiedad debemos recurrir y basarnos en otros. La Real Academia define la nada mediante cinco acepciones, la 1 no ser, o carencia absoluta de todo ser. En la 3 acepcin establece Ninguna cosa, negacin absoluta de las cosas, a distincin de las de las personas. En este sentido la idea de la nada es una contradiccin in terminis, pues se supone que existe lo que no existe, es lo que no es. El problema de la posible existencia de la nada nos lleva a otro, en el que NO vamos a entrar, que plantearon otros pensadores desde Leibnitz a Heidegger, pasando por Unamuno: Por qu existe algo?. Por qu existe el mundo? Permtasenos una breve digresin sobre la creacin. Segn la RAE, crear es, en su primera acepcin, producir algo de la nada. Para ello es preciso que exista algo o alguien que pueda crear, un sujeto. Adems lo producido (el objeto creado) debe ser distinto de la realidad del creador y de todo lo dems creado. Lo creado no tienen una gnesis propiamente dicha, no XV Jornadas de ASEPUMA y III Encuentro Internacional 5

Costa y Lafuente

hay materia prima. Sin profundizar en esta cuestin, consintasenos, de nuevo, una pregunta: La nada tambin ha sido creada?. La nada igualmente se crea? Si el mundo ha sido creado, surge otra pregunta Por quien?. Tanto la realidad como la teologa tienen su respuesta. El mundo ha sido creado por Dios, pero Dnde est Dios?. Julin Maras, arroja algo de luz sobre esta postura, de Dios no se puede partir, que es el gran ausente, es absconditus, esta escondido, no se manifiesta. No se puede partir de l. Se le puede buscar, quiz se puede llegar a l por una va o por otra, pero partir noi. El admitir la existencia de la nada como concepto absoluto nos lleva a la idea creacionista y, de aqu, a la existencia del Creador. Para aceptar esta implicacin basta con recordar el axioma de la Metafsica ex nihilo nihil fit que podramos traducir por nada surge de la nada. O el postulado, que no axioma, cristiano ex nihilo fit ens creatum (de la nada hizo los entes). Ferrater Mora, en su diccionario de filosofa, insiste en esta argumentacin cuando sostiene que mientras la idea de que el mundo ha sido creado por Dios es una verdad absoluta, la idea de que de la nada no ha surgido nada es una verdad probable. Si admitimos la existencia de la nada, -lo cual es una contradiccin en si misma- y la experiencia nos (o me) dice que por lo menos existo yo, (o alguien que me ha pensado) concluiremos que la nada se debe terminar, debe tener fronteras, debe tener limites. La frontera es algo qu ocurre fuera de ese algo?. En las ciencias aplicadas el concepto que nos ocupa, tiene unos matices que lo dulcifican o disminuye el rigor (o rigorismo) con que se trata en la teora del conocimiento o en Filosofa en su ms amplia acepcin. Esta situacin nos coloca muy cerca de caer en la reificacion, esto es, en reducir a la condicin de cosa aquello que no lo es, pues podemos incidir en el error de considerar algo abstracto como real y verdadero. En Fsica se considera nada cuado no tenemos cuerpo material alguno, aunque puedan existir otras cosas. Para la Fsica la nada no existe en el sentido que hemos dado de carencia absoluta de todo ser. Es imposible considerar una regin o espacio en que no existan tomos sueltos, luz, ondas electromagnticas, etc. El cero absoluto de temperatura existe como limite, pero todo cuerpo desprende energa. La nada en sentido estricto violara el principio de indeterminacin de Heissemberg pues seria posible determinar el estado energtico de la regin. Por otra parte, esta situacin segn la fsica cuntica, tendra propiedades mensurables, lo que contradice su definicin. 6
XV Jornadas de ASEPUMA y III Encuentro Internacional

Ideologa y matemticas: el cero, la nada y el conjunto vaco

Es claro que si la nada existiese, estuviese acotada, la pudisemos imaginar o la pudisemos intuir, seria un concepto relativo y la estaramos confundiendo con el vaco. Una cosa es la nada y otra muy distinta el vaco. Para la Fsica, no para la Filosofa, la nada se corresponde con el concepto de vaco.

4 . EL VACIO
El conjunto vaco es otro de los conceptos que, intuitivamente, estn y son claros aunque semioticamente, presenta dificultades. D. Julio Rey Pastor escribe la observacin de cada ente material, cualquiera que sea su naturaleza, despierta en nosotros la idea de unidad; la consideracin de varios entes, prescindiendo de su naturaleza y de su ordenacin en el espacio o en el tiempo, da origen a la idea de pluralidad o conjunto. Estas ideas tienen un valor puramente relativo pues todo ente material es a su vez un conjunto de otros entes que lo componen, y todo conjunto puede considerarse tambin como una unidadii. Ms adelante da los criterios para definir un conjunto: un conjunto esta determinado cuando se da un criterio que permita reconocer para cada ente arbitrario, si pertenece o no al conjuntoiii Evidentemente por objeto entenderemos cualquier ente, en su sentido ms amplio, tal y como se ha definido ms arriba Con el fonema vaco tratamos de expresar la carencia de entes. En el mundo de la Fsica la falta de materia, se suele considerar vaco. Aunque haya aire, energa y tomos o partculas sueltas en muy baja densidad. En este contexto podemos hablar de varias categoras o grados de vaco, en relacin con la presin atmosfrica. Ya Aristteles, en su obra la Fsica, niega la existencia del vaco absoluto, esto es del vaco abstracto. En estos trminos podemos considerar que la expresin conjunto vaco, autentica antfrasis, indica una "contradictio in terminis pues si un conjunto no tiene elementos es un conjunto?. Admitiendo que existiera una regin del espacio fsico, matemtico,... - sin elementos, no se podra hablar de vaco pues tendra frontera o lmite y en ese lmite o frontera y fuera de ella Qu pasara? dejara de ser vaco. Si el tamao de un conjunto lo llamamos cardinalidad del conjunto, podemos concluir que el cardinal del conjunto vaco es el cero. Volvamos a la naturaleza y comprensin del concepto de vaco.
XV Jornadas de ASEPUMA y III Encuentro Internacional

Costa y Lafuente

Como hemos dicho mas arriba, en todo espacio hay algo. Cuando la fsica cuntica nos dice que el vaco emite o de l surge algo que se convertir en materia, parece que, cuando menos es chocante. Pues parece que el concepto de vaco es un concepto inconsistente, poco coherente y con escasa firmeza. Podra decirse que la fsica cuntica lucha contra la intuicin ms elemental. Durante muchos siglos, desde Aristteles hasta mediados del siglo XVII se consider que la naturaleza tena horror al vaco. La celebre sentencia horror vacui. Ser Torrichelli quien con sus experimentos y estudios relacione el comportamiento de la naturaleza en el vaco con la presin atmosfrica. En el campo emprico, los estudios de Pascal, Boyle y otros, contribuyeron a romper la idea de sus contradicciones, admitiendo la posibilidad de que existiese algo parecido al vaco. Sin embargo los filsofos, rigurosos y rigoristas, seguan manteniendo que deba existir una materia, un fluido o un gas ms sutil que rellenase el supuesto vaco. No esta claro si a Descartes le horrorizaba el vaco, la Inquisicin o quera mantener un entente cordiale con los jesuitas al negar el vaco. Esta oposicin de Descartes retras la revolucin newtoniana Newton con su Philosophiae Naturalis Principia, admite la existencia del vaco como algo imprescindible para el equilibrio csmico, pues el vaco evita perturbaciones en las fuerzas que regulan el sistema planetario. Con la revolucin newtoniana el mundo pasa de ser algo lleno, compacto y continuo, a considerarse como algo vaco en su mayor parte. Recurdese la frase, atribuida a Rutherford si el universo fuese compacto, cabria, y sobrara espacio, en la cabeza de un alfiler. Desde la perspectiva de la fsica cuntica se considera el vaco como una fluctuacin de partculas-antipartculas que den como resultado unas fluctuaciones de medida nula, lo que podra explicar que el vaco emita energa que se transformar en materia o que de los agujeros negros salgan partculas. En el siglo XX se termin con la dicotoma vaco- no vaco. Admitiendo esta evolucin histrica del concepto y aceptacin del vaco en la fsica, quedan sin resolver los problemas fundamentales: Existe el vaco? Es la idea o el concepto de vaco lo que se mantiene? En el mundo real existe el vaco o el casi vaco?.

XV Jornadas de ASEPUMA y III Encuentro Internacional

Ideologa y matemticas: el cero, la nada y el conjunto vaco

5. CONCLUSIONES
5.1.- En la bibliografa cientfica se suelen utilizar como conceptos sinnimos, aunque como hemos visto existen matices que los diferencian. 5.2.- Son conceptos muy sutiles que se prestan a diferentes interpretaciones y estn condicionados por una gran carga ideolgica. Hasta el punto de negar o defender su existencia. 5.3.- Cuando se utilizan como sinnimos, el cero se aplica ms a los aspectos cuantitativos, especialmente a las Matemticas. El conjunto vaco se utiliza, fundamentalmente en el lgebra. El vaco para los estudios de Fsica. La nada en Filosofa. 5.4.- En el aspecto matemtico a) El cero se puede considerar desde la perspectiva posicional, numrico (el cero es el referente de los dems nmeros, pero no al contrario) o como medida de una magnitud. b) El conjunto vaco tiene como cardinal el cero c) En este campo la nada carece de sentido salvo interpretaciones mostrencas, en el sentido del concepto que no tiene casa ni hogar, ni seor o amo conocido.

El contenido de los epgrafes se escribe aqu.

XV Jornadas de ASEPUMA y III Encuentro Internacional

Costa y Lafuente

6. REFERENCIAS BIBLIOGRFICAS

CAPANNA,

Pablo.

El

cero

la

nada.

En

http://www.geocities.com/juegosdeingenio/lecturas/cero.htm

GRIBBIN, John. Historia de la ciencia 1543-2001. Ed. Crtica. Serie mayor, 2005 IFRACH, George. Las cifras. Alianza Editorial, 1987 KAPLAN, Robert. The nothing that is: A natural history of zero. Oxford Univ. Press, 2000 MARIAS, Julin. Creado y creatura. Conferencia. Ed. Renato Jos Moraes, 1999 REY PASTOR, Julio. Elementos del anlisis algebraico. Biblioteca matemtica, , 1966 RIBAS MASSANA, Albert. Biografa del vaco. Su historia cientfica y filosfica desde la Antigedad a la Edad Moderna. Destino, 1997

RIBAS MASSANA, Albert. En los limites de la realidad : El vaco. Mundo Cientfico. La Recherche, nm. 2002 (junio 1999) WARUSFEL, Andr. Los nmeros y sus misterios. Martnez Roca, 1968
i

.- Marias Julin (1999). Creado y Creatura. Conferncia. Ed. Renato Jos Moraes. .- Rey Pastor, julio. (1966) Elementos de Anlisis algebraico. 15 edicin. Madrid.

Madrid
ii

Pg. 17
iii

.- Rey Pastor, Julio op. cit. Pg. 18

10

XV Jornadas de ASEPUMA y III Encuentro Internacional