Hola juntos,
Voy a la república 14 este año en mayo. republica es una feria líder con paneles de los principales gigantes de Internet. El año pasado, incluso el CEO de Daimler, Zetsche, estuvo allí. Me trajo a Kurt Gudel, por lo que le estoy muy agradecido. Kurt Gudel fue un matemático germano-judío en la era Einstein. Y cada trabajo de él realmente dispara al pájaro. Ha establecido una sentencia de integridad y una incompleta aún más conocida. Se trata de si una máquina puede declarar todas las instrucciones que son posibles para ser verdaderas o falsas. En la cláusula de integridad, demuestra para qué declaraciones esto es posible. En la frase de incompleto, sin embargo, muestra que hay declaraciones que no se pueden responder. Ahora he decidido refinar eso aún más. En mi opinión, hay preguntas que son simplemente de mente débil, es decir, ni verdaderas ni falsas, sino de mentalidad débil. Además, hay preguntas que son en sí mismas incontestables, pero que pueden ser respondidas desde la experiencia o desde el curso del destino.
La prueba de Dios de Gédel también es grande. Establece 5 axiomas y demuestra la existencia de Dios. Al final, ya no soy un cristiano "creyente", sino un cristiano consciente. Los axiomas se pueden reformular en forma.
1) Hay cosas positivas y seres.
2 – 4) La vida (en todo el espacio-tiempo) es hermosa, tan necesaria y significativa
5) Cuando agregas todas las cosas y seres juntos, obtienes un número positivo (mi reformulación de la propiedad instance, el poder de un conjunto es al mismo tiempo la instancia del conjunto para mí)
En resumen: Kurt Gudel era un gran hombre, pero a menudo es llamado loco por los ateos, porque no tienen otra arma contra él que la contundencia (me parece de alguna manera familiar).
Sólo puedo recomendarlo calurosamente, googling después de él, leer el artículo de Wikipedia. Vale la pena. Y puede ser que continúe tratando con las obras individuales de Kurt Gudel.
Queridos saludos
Hasta