Deus surge segundo a teoria de um matemático que sugere que há um poder superior.
Dois cientistas da computação dizem que provaram que há uma força suprema sagrada depois de confirmar as equações.
Em 1978, o matemático Kurt Gödel morreu e deixou para trás uma teoria longa e complexa baseada na lógica modal.
O modelo do Dr. Gödel usa equações matemáticas que são extremamente complicadas, mas a essência é que nenhum poder maior do que Deus pode ser concebido, e se ele ou ela é acreditado como um conceito, então ele ou ela pode existir na realidade.
Ou como o Dr. Gödel colocou através de suas equações: "Ax. 1. {P (φ) ∧◻∀x [φ (x) → ψ (x)] → P (ψ) Ax. 2.P (¬φ) ↔¬P (φ) Th. 1.P (φ) → ◊∃x [φ (x)] Df. 1.G (x) ⟺∀φ [P (φ) → φ (x)] Ax. 3.P (G) Th. 2.◊∃xG (x) Df. 2.φ ess x⟺φ (x) ∧∀ψ {ψ (x) → ◻∀y [φ (y) → ψ (y)]} Ax. 4.P (φ) → ◻P (φ) Th. 3.G (x) → G ess xDf. 3.E (x) ⟺∀φ [φ ess x → ◻∃yφ (y)] Ax. 5.P (E) Th. 4.◻∃xG (x) ".
Mas dois cientistas da computação estão usando computadores para executar tais números complicados que dizem confirmar que a equação realmente soma.
O ponto do argumento dos pesquisadores era que eles não estavam diretamente tentando provar a existência de Deus, mas sim mostrar o poder dos computadores.
Christoph Benzmüller, da Universidade Livre de Berlim, que realizou os cálculos juntamente com Bruno Woltzenlogel Paleo, da Universidade Técnica de Viena, disse ao Spiegel Online: "É totalmente surpreendente que a partir deste argumento liderado por Gödel, tudo isso possa ser comprovado automaticamente em alguns segundos Ou menos ainda em um notebook padrão.
"Eu não sabia que criaria um interesse público tão grande, mas [a prova ontológica de Gödel] era definitivamente um exemplo melhor do que algo inacessível na matemática ou na inteligência artificial ...
"É uma coisa muito pequena e nítida, porque estamos lidando com seis axiomas em um pequeno teorema.
- Podem haver outras coisas que usam lógica semelhante. http://www.express.co.uk/news/science/756870/proof-of-god-kurt-godel