Filosofía – Lógica. Prueban informáticamente que existe un «ser superior»

Los investigadores Christoph Benzmüller de la Universidad Libre de Berlín (Alemania) y Bruno Woltzenlogel de la Universidad Técnica de Viena (Austria) han publicado en el repositorio científico Arxiv.org un artículo donde prueban el argumento ontológico sobre la existencia de Dios del matemático Kurt Gödel. Los científicos han demostrado, usando sistemas computacionales (un MacBook ordinario), que el Teorema de…