venerdì 1 novembre 2013

L'esistenza scientifica del Computer di "Dio"

Due scienziati europei hanno dimostrato computazionalmente il teorema di Gödel sviluppato alla fine del secolo scorso dal matematico austriaco Kurt Gödel, giungendo alla conclusione che sulla base dei principi della logica non ci dovrebbe essere un essere superiore.

Kurt Gödel..
Questi scienziati sono il tedesco Christoph Benzmüller, della Libera Università di Berlino e l'austriaco Bruno Woltzenlogel, dell'Università Tecnica di Vienna.
All'epoca Gödel aveva sostenuto che, per definizione, "nulla può essere più grande di un essere supremo", e aveva proposto un modello matematico per dimostrare la sua esistenza sulla base di sei assiomi. Gli scienziati hanno dimostrato che l'argomento di Gödel era matematicamente corretto sottolineando che questo lavoro è destinato a dimostrare che la tecnologia superiore può aiutare la scienza e non ad affermare che Dio esiste. Dal punto di vista teorico, questa ipotesi è certamente molto attraente: "Gli scienziati provano l'esistenza di Dio", aveva scritto il quotidiano tedesco 'Die Welt'. Tuttavia, come previsto, sorge un dubbio su questa affermazione. In realtà, ciò che i ricercatori in questione affermano e' che hanno effettivamente dimostrato il teorema proposto dal famoso matematico austriaco Kurt Gödel e che la vera novità non è l'esistenza di un essere supremo, ma quella che puo' essere raggiunta in campo scientifico nell'utilizzare tecnologie superiori (pubblicato da Der Spiegel).
Quando Gödel morì nel 1978, lasciò una teoria allettante basata sui principi della logica modale che suggerisce che un essere superiore deve per forza esistere. Questo ragionamento matematico, non si intendeva convincere dell'esistenza di Dio, ma dimostrare che il cosiddetto "argomento ontologico" su Dio è vero. I dettagli della matematica coinvolta nella prova ontologica di Gödel sono complicati, ma in sostanza, l'austriaco aveva sostenuto che "Dio, per definizione, è perfetto. Se pensiamo a Dio come a qualcosa che non esiste, allora non abbiamo davvero un idea di Dio, che per la sua imperfezione non dovrebbe esistere attribuendo alla frase 'Dio esiste' la npstra convinzione che Dio esiste ".
Anche ora, l'argomento non suona come qualcosa di nuovo. Per secoli, molti pensatori avevano cercato di utilizzare questo tipo di ragionamento astratto per dimostrare la possibilità e la necessità di credere nell'esistenza di Dio. Tuttavia, il modello matematico costituito da Gödel voleva mettere alla prova questa idea. I suoi teoremi non potevano essere testati ma espressi solo con equazioni matematiche. Cio' significa che questa teoria si può provare.
Dimostrare l'esistenza di Dio con un MacBook
È qui che il suo collega Woltzenlogel Benzmüller entra in scena. Utilizzando un normale computer MacBook gli scienziati avevano dimostrato che il ragionamento di Gödel era corretto, almeno matematicamente, attraverso una maggiore logica modale. La sua iniziale presentazione di articoli nel server arxiv veniva esposta con questo titolo; 'formalizzazione, meccanizzazione e l'automazione della prova dell'esistenza di Dio'.  Il fatto che la formalizzazione di tali teoremi complicati può essere delegata al computer consente di accettare ogni sorta di possibilità, aveva dichiarato Benzmüller su 'Der Spiegel Online'.
"E 'assolutamente incredibile che da questa discussione guidata da Gödel, tutto cio' può essere dimostratoautomaticamente in pochi secondi su un laptop standard", ha aggiunto Benzmüller.  Il nome di Gödel non può significare molto per alcuni scienziati nonostante che egli goda di una reputazione simile a degli artisti del calibro di Albert Einstein, che tra l'altro era un suo caro amico. Nato nel 1906 in quella che ora è la città ceca di Brno dell'Impero Austro-Ungarico, Gödel aveva studiato a Vienna prima di trasferirsi negli Stati Uniti dopo lo scoppio della seconda guerra mondiale per lavorare a Princeton, dove aveva lavorato con Einstein. La prima versione della prova ontologica risale intorno al 1941, anche se non è mai stata divulgata fino agli anni '70, quando venne resa pubblica per la prima volta pochi anni prima della morte di Gödel.

Nessun commento :

Posta un commento

Related Posts Plugin for WordPress, Blogger...