Hacía mucho que no hablaba de nada relacionado a la matemática o la lógica. Y me encontré con un post que me dieron ganas de replicar algunos de sus contenidos aquí, y volver a esos aires lógico-matemáticos…
Voy a empezar por contar un poco sobre el título de este blog, que no debería ser tal, sino la imposibilidad lógica del todopoderoso. Siganme con este razonamiento:
- Dios es todopoderoso.
- “Alguien” o “algo” todopoderoso, todo lo puede hacer*.
- Entonces, Dios puede crear, por ejemplo, un libro que nadie pueda leer.
- Pero al ser Dios todopoderoso, él debería poder leerlo.
- Pero entonces no podría crearlo…
- No existe un ser tal, que todo lo pueda hacer.
- Dios no es todopoderoso.
¿Se entiende la paradoja? Esta es una paradoja lógica, una situación en la que una afirmación no puede ser ni para un lado ni para el otro, 
por decirlo de alguna forma.
En el post en cuestión, titulado “La Paradoja de Russell, barberos, hiperjuegos, Dios y demás“, se presentan varias paradojas de las cuales yo solo elegí una para compartir.
La que más desarrollan en el post, la Paradoja de Russell, es una de las paradojas más importantes de la historia de las matemáticas, que demostró a principios de siglo veinte, que la teoría de conjuntos era contradictoria. Tamaña pavada, en su momento revolucionó la matemática con esta paradoja que nadie podía refutar.
Otras paradojas que podemos ver en el post original son la paradoja del barbero, la paradoja del catálogo y otras más. Un post más que recomendables para los amantes de la lógica.
Y ustedes, ¿alguna paradoja para compartir?
