Alcuni ricercatori austriaci e tedeschi hanno dichiarato di aver dimostrato che il cosiddetto “Teorema di Dio” di Godel, una sorta di prova matematica dell’esistenza di un essere superiore, era corretto. Christoph Benzmuller della Libera Universita’ di Berlino e Bruno Woltzenlogel Paleo dell’Universita’ Tecnica di Vienna hanno usato un MacBook per testare il teorema, sviluppato alla fine del secolo scorso dal matematico austriaco Kurt Godel, che sulla base di principi di logica modale dovrebbe provare che deve esistere un essere superiore.Godel sostenne che, per definizione, non puo’ esistere niente di piu’ grande di un essere supremo e propose un modello matematico per provare l’esistenza di un tale potere, fondato su sei assiomi. I due scienziati, oggi, hanno mostrato su arXiv che la dimostrazione di Godel era matematicamente corretta. Tuttavia, i matematici ci tengono a sottolineare che questo lavoro ha piu’ a che fare con la dimostrazione che una tecnologia superiore puo’ aiutare la scienza, che non col fatto che Dio esista o no. “La prova ontologica dell’esistenza di Dio di Godel – ha commentato Benzmueller – era piu’ che altro un buon esempio di qualcosa di inaccessibile in matematica o per l’intelligenza artificiale, che con l’attuale tecnologia abbiamo risolto”.
(fonte AGI)
Ti è piaciuto l'articolo? Sostienici con un "Mi Piace" qui sotto nella nostra pagina Facebook
