<<<Científicos informáticos prueban el 'teorema de Dios' de Gödel. Dos científicos europeos han probado informáticamente el teorema de Gödel desarrollado a finales del siglo pasado por el matemático austriaco Kurt Gödel, que concluía que en base a los principios de la lógica debe existir un ser superior;
/*han demostrado que el raciocinio de Gödel era correcto.*/
El hecho de que la formalización de teoremas tan complicados se pueda delegar a los ordenadores abre todo tipo de posibilidades, señaló Benzmüller a 'Spiegel Online'. Es totalmente increíble que a partir de esta discusión dirigida por Gödel, todo esto se pueda probar de forma automática en pocos segundos...
Se trata del alemán Christoph Benzmüller, de la Universidad Libre de Berlín, y el austriaco Bruno Woltzenlogel, de la Universidad Técnica de Viena.>>> Kurt Gödel, el hombre que caminaba con Albert Einstein (y al que comparan con Aristóteles)
https://www.bbc.com/mundo/noticias-43568588
/*han demostrado que el raciocinio de Gödel era correcto.*/
El hecho de que la formalización de teoremas tan complicados se pueda delegar a los ordenadores abre todo tipo de posibilidades, señaló Benzmüller a 'Spiegel Online'. Es totalmente increíble que a partir de esta discusión dirigida por Gödel, todo esto se pueda probar de forma automática en pocos segundos...
Se trata del alemán Christoph Benzmüller, de la Universidad Libre de Berlín, y el austriaco Bruno Woltzenlogel, de la Universidad Técnica de Viena.>>> Kurt Gödel, el hombre que caminaba con Albert Einstein (y al que comparan con Aristóteles)
https://www.bbc.com/mundo/noticias-43568588