Cargando, por favor espere...

El problema filosófico del conjunto vacío
El filósofo griego Parménides fue el primero en usar el pensamiento lógico deductivo para establecer la verdadera naturaleza del mundo.
Cargando...

El conjunto vacío es aquel objeto matemático que carece de elementos, es decir, que no hay nada en su interior. ¿Existirá algún objeto así? En matemática hemos garantizando su existencia decretándolo a través del axioma del conjunto vacío, que dice: “Existe un conjunto que no posee elementos”. Esta forma de garantizar la existencia de objetos matemáticos básicos, decretándolo, es aceptado actualmente por todos los matemáticos. Sin embargo, desde el punto de vista filosófico es un problema muy antiguo y no garantiza la existencia de tal objeto.

El filósofo griego Parménides (540 a.C. - 470 a.C.) fue el primero en usar el pensamiento lógico deductivo para establecer la verdadera naturaleza del mundo. Fue el primero en establecer la premisa de que algo es o existe (o lo que él llamaba el ser) y que no puede existir simultáneamente con el no es o no ser. Sería una evidente contradicción lógica. Además, afirma que el ser no puede proceder de la nada o del vacío. El ser debe haber existido siempre, y no puede cambiar, puesto que un ser que es permanente no se puede transformar en otra cosa sin dejar de ser permanente. Por lo tanto, todo lo que existe es eterno e inmutable. Estas ideas de Parménides fueron tomadas por Platón para establecer su teoría de las ideas. Para Platón los objetos matemáticos es el ser eterno e inmutable al que se refiere Parménides. Por ejemplo, un triángulo es un “ser” eterno, e inmutable.

En matemática sólo tiene sentido inventar o construir objetos que tengan propiedades o características que lo diferencien de otros objetos. Cualquier objeto matemático que se invente, debe de poseer elementos que lo caractericen, que pueda ser factible establecer subobjetos y que puedan descubrirse sus propiedades específicas. Es la ontología básica de cualquier objeto matemático. Por ejemplo, cuando inventamos el triángulo (como la unión de tres segmentos) es susceptible de establecer asociado al triángulo, su altura, su mediana, su bisectriz, etc., para luego proceder a descubrir las propiedades geométricas de estos subobjetos del triángulo. Los objetos matemáticos se conectan con otros objetos, mediante otros objetos matemáticos, por ejemplo, los triángulos se pueden conectar con otros triángulos mediante las isometrías. 

Cuando se establece un objeto sin elementos, no es posible obtener subobjetos, ni mucho menos establecer propiedades, es decir, el conjunto vacío no cumple la ontología básica para ser llamado un objeto matemático. Aún más, el conjunto vacío cumple cualquier propiedad ( , con el solo hecho de partir de una premisa falsa, se establece esta afirmación. Es decir, no posee alguna propiedad específica, contradiciendo la ontología básica de cualquier objeto matemático.

Si no existe el conjunto vacío como objeto matemático ¿por qué lo decretamos mediante un axioma? Existe otra forma, decretando la “existencia del conjunto infinito”, con este axioma es posible probar que existe un único conjunto que no posee elementos –que podemos llamar “conjunto vacio”–. Pasamos de dejar de inventar un conjunto sin elementos a inventar un conjunto con infinitos elementos (cognitivamente inaccesible para cualquier ser humano). Es un problema profundo, que hemos sido incapaces de dilucidar.

Es importante mencionar que las razones que se arguyen por parte de profesores y matemáticos, sobre la existencia del conjunto vacío, por necesidad y/o por “convención”, es pedagógicamente aceptable, pero filosóficamente no es aceptable, y desde el punto vista racional tampoco. Lo cierto es que hasta el día de hoy el conjunto vació se utiliza para hacer compatible la teoría matemática, con la teoría de conjuntos. En el trabajo matemático, la invención o construcción de algún objeto matemática o estructura se le excluye (se habla siempre de un conjunto diferente del vacío) o cuando es conveniente se le utiliza, por ejemplo, para construir el “cero”, que es otro problema filosófico interesante, más allá del formalismo matemático. Todo esto no explica, la razón de su existencia como objeto matemático.

En la literatura de la filosofía de la matemática no se toca el tema o se hace de manera muy tangencial, este tema se tratará con mayor profundidad en un artículo que enviaremos a la Revista Theorem.


Escrito por Dr. Esptiben Rojas Bernilla

Colaborador


Notas relacionadas

Nos encontramos ante una nueva contradicción: una derecha liberal y una izquierda "woke" o neoliberalismo políticamente “correcte”. ¿Qué las distingue? Casi nada, ¿o acaso notó alguna diferencia entre los candidatos del debate presidencial pasado?

Claudio Beaumont era un hábil creador de eslóganes publicitarios, fantasioso “hombre invisible” y descubridor de “tesoros ocultos”, hasta que la noticia sobre el secuestro de una anciana en un barrio de París lo motivó a enriquecerse.

Las Fábulas políticas y militares de Ludovico Lato–Monte fustigan a los gobernantes que, fingiéndose partidarios de impartir justicia a su pueblo, no hacen más que montar un espectáculo para engañarlo.

Nuestra sociedad, principalmente los sectores más empobrecidos, vive una tragedia.

Esta novela cuenta la historia de familias pobres de Irlanda, Inglaterra, Francia, Italia, Israel y China que en el último tercio del Siglo XIX emigraron a Estados Unidos.

El tránsito hacia una matemática filosófica exige iniciar una quinta revolución matemática; para ello, el estudio de la historia desde el hacer de un matemático es fundamental.

Un matemático chileno dijo en una entrevista: “una cosa es escribir papers y otra cosa es saber matemática… recomendaría a los jóvenes que primero se dediquen a saber matemática y después se dediquen a escribir papers si desean”.

El evento será gratuito y contará con la participación de la Cineteca Nacional.

No fue sólo el huracán “Otis” el que destruyó Acapulco. En todo caso, con su implacable poder natural y su arrolladora fuerza, lo que dejó al descubierto fue el fracaso de la política nacional y la continuidad discursivamente negada de la práctica del neoliberalismo en nuestro país.

Dalton subraya en todo momento los conceptos “construcción” y “lucha”.

Lenin reflexiona si las tareas de los socialdemócratas rusos deben modificarse debido a que las condiciones históricas cambiaron: ¿cómo adaptar la teoría y la práctica a las nuevas condiciones históricas sin que el Partido pierda la coherencia ideológica ni la efectividad revolucionaria?

La proliferación de canciones, series televisivas y otras expresiones culturales centradas en el narcotráfico no es la causa última del terror asociado a este fenómeno.

Las reflexiones filosóficas son la base del conocimiento científico. La ciencia no se entiende completamente sin la filosofía y, por otro lado, la filosofía requiere de la ciencia y de los científicos.

El Premio Abel puede considerarse como el premio Nobel para matemáticos.

La educación universitaria es un paso indispensable para el desarrollo científico y tecnológico.