Alla ricerca di Omega

Descrizione

Tutta la scienza d’Occidente poggia sulla matematica, ma sin dagli anni Trenta i matematici sono divenuti penosamente consapevoli del fatto che la loro disciplina soffre di serie limitazioni. Lo ha messo in luce per la prima volta il teorema di incompletezza di Kurt Gödel: ogni sistema assiomatico formale contiene enunciati veri non dimostrabili all’interno del sistema stesso. Gregory Chaitin ne ha ampliato il concetto, sostenendo che vi sono molte condizioni dove le verità non possono essere dimostrate da alcuna regola a priori. «Gödel ha rivelato solo la punta dell’iceberg: ci sono infiniti teoremi che non possono essere dimostrati da nessun sistema finito di assiomi» spiega il matematico, che ha trovato nel numero Omega il concetto chiave per confermare l’incompletezza della sua scienza. Omega ha preso forma quando Chaitin si è provato a calcolare la probabilità che un programma informatico prima o poi si fermi (il famoso problema della fermata di Alan Turing) e si...

Scopri questo prodotto sul sito dell'editore