conjunto infinito, puede ser un conjunto de un solo elemento. Por ejemplo, una función computable sobre los números natu- rales es la función definida para cualquier número natural x, f(x) es igual a Ésta es una función computable, entonces f[N] es el conjunto unitario cuyo único elemento es el uno.
Respecto a lo anterior, como a mí no me gusta la contra- dicción, no quiero que queden dudas respecto a esto. Aunque es cierto que todos discutimos, aquí no hay ninguna contradic- ción, yo por lo menos espero no estarme contradiciendo y tampoco nada de lo que he dicho contradice lo que ha dicho el profesor Piscoya. Piscoya ha dicho que si tenemos un sistema en el cual no hay contradicciones y le aplicamos la lógica paraconsistente, la lógica paraconsistente no produce ninguna contradicción. Eso es cierto, o sea, yo estoy de acuerdo con lo que ha dicho el profesor Piscoya. Las cosas que él ha afirmado con respecto a esto y las que yo he afirmado son compatibles, y lo que él ha afirmado es verdad: la lógica paraconsistente no lleva a contradiciones.
El problema, como él mismo ha indicado, es que es de- masiado débil para la matemática. Nuestra diferencia no es una diferencia en cuestiones fácticas, es una diferencia en cuestio- nes apreciativas, valorativas. A mí me parece que la lógica paraconsistente no es contradictoria. En lo que quizá discrepe- mos, mirando las cosas, como decía el profesor Valqui, un poco desde fuera aprecio mucho personalmente a algunas personas que están implicadas en este a mí me parece que por ahí no se va a ninguna parte. Tampoco se va muy lejos con la matemática y la lógica intuicionista; la matemática y la lógica intuicionista son algo tremendamente importante y serio, que evita por completo las contradicciones, desde el principio. Sin embargo, tampoco ha ido a ninguna parte y casi nadie las sigue. ¿Por qué? Porque aquí hay un efecto pragmático. En la vida, si somos racionales, no solamente tratamos de alcanzar nuestras metas, sino que también tratamos de alcanzarlas al
206 JESÚS MOSTERÍN
menor costo posible. Si podemos hacer las mismas cosas de diversas maneras, y hay maneras mucho más sencillas y có- modas de hacerlas, entonces, biológicamente, casi estamos programados para rechazar las maneras complicadas y difíciles y trabajosas de hacer las cosas.
La matemática intuicionista conduce, en aspectos prácti- cos, muchas veces a los mismos resultados que la matemática clásica, y con mucha mayor seguridad. El gran problema que tiene la matemática intuicionista es que un teorema que, en matemática clásica, probamos en diez pasos, en la intuicionista lo probamos en 45 pasos, y el cálculo que en la matemática clásica dura 2 páginas, en la otra dura 45. Por esa razón, la matemática intuicionista nunca se impondrá, porque es muy incómoda. Y lo mismo ocurre con las lógicas paraconsistentes. Yo pienso que es mucho más cómodo usar la lógica clásica, y en el momento que se descubre una contradicción en la teoría, cambiar de teoría, que usar una lógica mucho más complicada paraconsistente, y en el momento que se descubre la contradic- ción, seguir con la misma lógica y seguir con la misma teoría.
Desde el punto de vista de las cuestiones de hecho, lo que hemos dicho Piscoya y yo es compatible y no se contradice. Nuestras posibles discrepancias son simplemente cuestiones de apreciación.
Respecto a encontrar contradicciones, claro, las contradic- ciones en todos los casos son fatales, y muchas veces no se sabe cómo solucionarlas. Lo que sí crean las contradicciones en la ciencia empírica es una situación de gran desasosiego, cuando hay alguna contradicción, como en la cosmología actual.
En la cosmología actual, en los últimos años, tenemos unas teorías que nos dicen cómo evolucionan las estrellas. Esto nos lleva a una serie de cálculos complicados, que nos permiten medir la edad de las estrellas. En nuestra galaxia, por ejemplo, hay una bolas llenas de estrellas que se llaman cú- mulos globulares, y se ha calculado la edad de los cúmulos globulares y parece que es aproximadamente catorce mil mi- llones de años. Por otro lado, cuando se estudia la velocidad de
TEORÍAS CIENTÍFICAS 207
recesión de las galaxias mediante el corrimiento hacia el rojo de la luz de su se puede tratar de determinar un parámetro que se llama la constante de Hubble, y entonces la inversa de la constante de Hubble nos da el tiempo de Hubble, que sometido a ciertos cálculos muy sencillos nos da la edad del Universo. Las mediciones de la constante de Hubble que se han hecho en los últimos años nos han estado llevando a edades del Universo de unos 10 mil millones de años. Total, durante unos años hemos estado diciendo y publicando en las mejores revistas científicas del mundo que la edad de los cúmulos glo- bulares es de 14 mil millones de años y la edad del Universo es de 10 mil millones de años. Todo el mundo es perfectamente consciente que los cúmulos globulares, que son una parte del universo, no pueden ser más viejos que el Universo mismo. Aquí hay una contradicción. Como todo el mundo es conscien- te de que esto es una contradicción, y esta contradicción es to- talmente inaceptable, nadie dice ésta es la edad del Universo y ésta es la edad de los cúmulos globulares. Nadie dice, "sí seño- res, el universo tiene diez mil millones de años y estas estrellas tienen 14 mil millones de años, y ¡qué! pues no pasa nada, yo aplico una lógica paraconsistente y se acabó". Eso no lo dice nadie. Todo el mundo es dolorosamente consciente de que eso es absolutamente inadmisible.
Finalmente un comentario a lo de Es cierto que, a veces, aceptamos algo por la autoridad del que lo dice. Hay dos situaciones distintas. Uno oye hablar de ciertas cosas y no las entiende, y entonces puede aceptarlas por autoridad, y eso está bien a nivel de cosas con las que uno no tiene que ver directamente, pero eso puede ser peligroso. Por ejemplo, yo he mirado la prueba del teorema de ofrecida por Wiles, y la verdad es que no la he entendido en absoluto, y me parece que casi nadie la entiende. Como hay unos pocos que son muy competentes y que la entienden, y dicen que sí, que finalmente está bien, yo pienso que es probable que esto sea una prueba correcta, pero como yo mismo no la entiendo, y no puedo comprobar que es así, yo nunca escribiría un artículo ni daría una conferencia diciendo que esto es así, sino simplemente diría
208 JESÚS
"Me parece que está bien, porque estos señores tienen cierta autoridad", pero nada más. Es decir, yo solamente hablaría con una cierta contundencia de los temas que perso- nalmente entiendo un poco de primera mano. No es que haya que ser escépticos a lo que dicen las autoridades de la ciencia. Cuando personas de una gran competencia en un campo que nosotros no conocemos, dicen algo y hay una cierta unanimi- dad entre ellas, parece razonable y racional creérnoslo, si es algo que no nos afecta de una manera, profesional y directa.
En filosofía, lo que sí es peligroso y ocurre a veces, no en los filósofos serios, sino en los filósofos de medio pelo, es que se habla como de oídas y por autoridades y eso es peligroso. En la ciencia no existe algo así como la autoridad, en la ciencia no existe el Papa, no existe el Presidente de la República, en la ciencia no existen tribunales, en la ciencia cada uno dice lo que quiere y ya está. Lo que pasa es que luego, cuando resulta que casi todo el mundo entiende una cosa, y parece que esa cosa ya vale y ya "va a misa", es normal que la gente que está fuera del grupo, en principio, se la crea. Pero hay que tener cuidado con esto de aceptar las cosas por argumentos de autoridad. Sólo podemos aceptar las cosas por argumentos de autoridad, cuan- do son cosas nos pillan muy lejos y nos interesan poco. Cuando los temas nos pillan cerca y nos interesan mucho, hay que olvidarse de los de autoridad y tratar de com- probar las cosas por uno mismo.
Cuarto día