Buf, Gödell me parece uno de los pensadores cumbres del siglo XX, un personaje en todos los sentidos. El teorema de incompletitud me parece de una complejidad tremenda dado el nivel de abstracción que tuvo que alcanzar. Así se chifló. Es muy conocido su análisis de la constitución, pero creo que eso es casi trivial para alguien con un poco de capacidad de análisis.
#2 Yo no me creo con la capacidad en esta vida de entender casi nada de Gödell. La incompletitud viene a decir que por más lógico que seamos, no podemos decir lógicamente todo dentro de la lógica, al menos así lo entiendo, lo que es una patada al "proyecto racionalista", y que creo que aún no se ha asimilado completamente. La lógica es finita, por decirlo así, por tanto así son finistas las matemáticas, la física, etc. Eso intentó Rusell y Whitehead (creo que se llamaba) y no, no lo… » ver todo el comentario
Recuerdo con jolgorio el caso de una chica que trabajaba en la redacción de una revista, a la que encargaron que hiciera un artículo sobre Gödel. Le puso la fotografía ésta de debajo, con el texto de "Gödel en Princenton junto a un campesino del lugar"
Hizo una demostración formal de la existencia de dios: es.wikipedia.org/wiki/Prueba_ontológica_de_Gödel
Luego un apunte sobre la prueba de la existencia de dios, y es que la prueba de Gödell dice que "es posible que sea necesario que exista" dios.
Y no solo eso, si no, que técnicamente con su misma demostración también se demuestra la posibilidad de que sea necesario que Pikachu exista.
cuentoscuanticos.wordpress.com/2013/11/02/pikachu-existe-y-puedo-demos
La razón para esto es que los axiomas elegidos son ... Cuanto menos discutibles.
Creo que fue
Más info:
naukas.com/2013/11/04/godel-y-la-demostracion-de-algo-llamado-dios/
Algo pillo, pero me queda la sensación que en realidad no lo entiendo.