Scritto da Paolo Centofanti, Direttore SRM
Il logico, matematico e filosofo Kurt Gödel, nato a Brno il 28 aprile 1906, austriaco poi divenuto cittadino americano, è conosciuto sia per i suoi due Teoremi di incompletezza, da lui pubblicati nel 1931, quando aveva solo venticinque anni, sia per i suoi studi sull'Ipotesi del Continuo, sia per aver elaborato, nel 1970, una sua prova ontologica della esistenza di Dio; un modello logico, un teorema basato su sei assiomi e su principi di logica modale, che potesse spiegare l'esistenza del Creatore, solo modo per giustificare la realtà dell'universo, e le leggi matematiche che ne sono alla base.
In questi giorni sono apparsi alcuni articoli e notizie su uno studio realizzato da due ricercatori, il tedesco Christoph Benzmueller e l'austriaco Bruno Woltzenlogel Paleo, i quali utilizzando alcuni software e un MacBook Pro della Apple (quindi un computer portatile che, per quanto molto potente, è di semplice reperibilità), avrebbero dimostrato la veridicità del cosiddetto Teorema di Dio definito da Gödel. ... leggi tutto, SRM
Il logico, matematico e filosofo Kurt Gödel, nato a Brno il 28 aprile 1906, austriaco poi divenuto cittadino americano, è conosciuto sia per i suoi due Teoremi di incompletezza, da lui pubblicati nel 1931, quando aveva solo venticinque anni, sia per i suoi studi sull'Ipotesi del Continuo, sia per aver elaborato, nel 1970, una sua prova ontologica della esistenza di Dio; un modello logico, un teorema basato su sei assiomi e su principi di logica modale, che potesse spiegare l'esistenza del Creatore, solo modo per giustificare la realtà dell'universo, e le leggi matematiche che ne sono alla base.
In questi giorni sono apparsi alcuni articoli e notizie su uno studio realizzato da due ricercatori, il tedesco Christoph Benzmueller e l'austriaco Bruno Woltzenlogel Paleo, i quali utilizzando alcuni software e un MacBook Pro della Apple (quindi un computer portatile che, per quanto molto potente, è di semplice reperibilità), avrebbero dimostrato la veridicità del cosiddetto Teorema di Dio definito da Gödel. ... leggi tutto, SRM
