Seleccionamos un fragmento del libro Cien preguntas básicas sobre la ciencia, que escribió Isaac Asimov a lo largo de ocho años, colaborando con la revista Science Digest, en una sección titulada «Please Explain» [«Por favor, explique»].
La ilustración la hemos visto en el blog Culturacomic. Mil gracias.
"4. ¿Qué dice el teorema de Gödel? ¿Demuestra que la verdad es inalcanzable?
¿Qué ocurre si establecemos un enunciado y comprobamos que no podemos demostrar que es o así o no así? Supongamos que digo: «El enunciado que estoy haciendo es falso.» ¿Es falso? Si es falso, entonces es falso que esté diciendo algo falso y tengo que estar diciendo algo verdadero. Pero si estoy diciendo algo verdadero, entonces es cierto que estoy diciendo algo falso y sería verdad que estoy diciendo algo falso. Podría estar yendo de un lado para otro indefinidamente.
Es imposible demostrar que lo que he dicho es o así o no así. Supongamos que ajustamos los axiomas de la lógica a fin de eliminar la posibilidad de hacer enunciados de ese tipo. ¿Podríamos encontrar otro modo de hacer enunciados del tipo «ni así ni no así»?
En 1931 el matemático austriaco Kurt Gödel presentó una demostración válida de que para cualquier conjunto de axiomas siempre es posible hacer enunciados que, a partir de esos axiomas, no puede demostrarse ni que son así ni que no son así. En ese sentido, es imposible elaborar jamás un conjunto de axiomas a partir de los cuales se pueda deducir un sistema matemático completo.
¿Quiere decir esto que nunca podremos encontrar la «verdad»? ¡Ni hablar! Primero: el que un sistema matemático no sea completo no quiere decir que lo que contiene sea «falso». El sistema puede seguir siendo muy útil, siempre que no intentemos utilizarlo más allá de sus límites. Segundo: el teorema de Gödel sólo se aplica a sistemas deductivos del tipo que se utiliza en matemáticas. Pero la deducción no es el único modo de descubrir la «verdad». No hay axiomas que nos permitan deducir las dimensiones del sistema solar. Estas últimas fueron obtenidas mediante observaciones y medidas, otro camino hacia la «verdad».
No hay comentarios:
Publicar un comentario