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.
#4:
#1 De hecho, lo que los investigadores en cuestión dicen que han probado en realidad es el teorema propuesto por el renombrado matemático austriaco Kurt Gödel y la verdadera noticia no trata de un ser supremo, sino que lo que ahora se puede lograr en los campos científicos que utilizan tecnologías superiores
Si le quitamos el sensacionalismo, queda mucho mejor.
#1 De hecho, lo que los investigadores en cuestión dicen que han probado en realidad es el teorema propuesto por el renombrado matemático austriaco Kurt Gödel y la verdadera noticia no trata de un ser supremo, sino que lo que ahora se puede lograr en los campos científicos que utilizan tecnologías superiores
Si le quitamos el sensacionalismo, queda mucho mejor.
#11 El teorema de Gödel está más que demostrado, así que la primera frase de la entradilla es una estupidez. La segunda frase, la "conclusión", lo del ser superior, es una estupidez aún mayor.
El que escribió eso ha oído campanas, pero muy de lejos, y ni siquiera sabe qué hora tocaban.
Pues yo veo un error clave: "Dios es lo más perfecto que puede ser pensado"; o sea, que lo que existe es "el pensamiento de Dios", pero eso no significa que Dios exista en el mundo real.
He votado sensacionalista sin necesidad de leer el artículo, solo leyendo la entradilla. Quien haya escrito eso no tiene ni puta idea de lo que es el teorema de Gödel.
#6 Probablemente sea un error de traducción. En inglés, la ciencia que estudia la lógica informática (Complejidad computacional, algoritmia, teoría de autómatas...) se conoce en las universidades como "Computer Science" y sus estudiosos "Computer Scientists" diferenciándolos de los "Software Engineers", que estudian el diseño y la implementación del software.
En España, ambas cosas están cubiertas (mal solapadas, diría yo) por los estudios de Ingeniería Informática.
Comentarios
Para encontrarlo hay que conocer los tres ultimos decimales de pi.
Duro golpe a la comunidad de meneame.
#1
De hecho, lo que los investigadores en cuestión dicen que han probado en realidad es el teorema propuesto por el renombrado matemático austriaco Kurt Gödel y la verdadera noticia no trata de un ser supremo, sino que lo que ahora se puede lograr en los campos científicos que utilizan tecnologías superiores
Si le quitamos el sensacionalismo, queda mucho mejor.
#11 El teorema de Gödel está más que demostrado, así que la primera frase de la entradilla es una estupidez. La segunda frase, la "conclusión", lo del ser superior, es una estupidez aún mayor.
El que escribió eso ha oído campanas, pero muy de lejos, y ni siquiera sabe qué hora tocaban.
Pues yo veo un error clave: "Dios es lo más perfecto que puede ser pensado"; o sea, que lo que existe es "el pensamiento de Dios", pero eso no significa que Dios exista en el mundo real.
Irrelevante, han demostrado que si se dan por ciertos esos axiomas concretos, la conclusión lógica alcanzada por gödel es, a su vez, cierta.
1 Las vacas son esféricas,
2 Las esferas ruedan
Conclusión las vacas ruedan.
Eso es demostrable "informáticamente", pero todo el mundo sabe y se puede demostrar empíricamente que las vacas no ruedan.
#7 ¿Que no ruedan las vacas? tu echalas cuesta abajo y veras si ruedan, cuesta abajo hasta la mierda corre...
He votado sensacionalista sin necesidad de leer el artículo, solo leyendo la entradilla. Quien haya escrito eso no tiene ni puta idea de lo que es el teorema de Gödel.
#10 El teorema de Gödel es diferente del argumento ontológico planteado en forma de teorema. Pero sí, es sensacionalista.
¿También vale si crees en el Monstruo de Espaguetti Volador?
Los científicos "informáticos" dicen ramén.
PD: Había oído hablar de matemáticos pero de científicos informáticos no, deben ser informatólogos o científicos frikis, cuesta "de" imaginarlo.
#6 Probablemente sea un error de traducción. En inglés, la ciencia que estudia la lógica informática (Complejidad computacional, algoritmia, teoría de autómatas...) se conoce en las universidades como "Computer Science" y sus estudiosos "Computer Scientists" diferenciándolos de los "Software Engineers", que estudian el diseño y la implementación del software.
En España, ambas cosas están cubiertas (mal solapadas, diría yo) por los estudios de Ingeniería Informática.
Russel está echando gasolina a la motosierra