ricerca
avanzata

Alla ricerca di Omega. E-book. Formato EPUB

Un ebook di  Chaitin Gregory  edito da Adelphi, 2017

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 è reso conto che tale numero ha un valore perfettamente definito ma non potrà mai essere calcolato: è irriducibile. Il motivo conduttore della lucida argomentazione di Chaitin è dato dalla nozione di complessità, già anticipata da Leibniz. Il migliore dei mondi possibili, infatti, non è quello ottimistico in cui «tutto è bene», ma quello, ben più interessante, che «è a un tempo il più semplice quanto a ipotesi e il più ricco di fenomeni». L’intelligibilità del mondo – della fisica come della mente – presuppone la possibilità di operare compressioni algoritmiche (riduzioni della complessità). In fisica, e in genere nelle scienze della natura, gli scienziati «comprimono» le loro osservazioni in leggi, e mostrano come dedurre da esse le osservazioni. I matematici «comprimono» i loro esperimenti computazionali in assiomi, e mostrano come dedurre da essi i teoremi. Questa analogia apre la via a una concezione della matematica come scienza empirica, un rovesciamento di prospettiva che assurge a nuovo paradigma: anziché ricercare nuove prove di coerenza, si tratterà di arricchirne i contenuti per tentativi.

Informazioni bibliografiche

Dello stesso autore: Gregory Chaitin
Alla ricerca di Omega. E-book. Formato EPUB ebook di Gregory Chaitin
Alla ricerca di Omega. E-book. Formato EPUB
Gregory Chaitin 
edizioni Adelphi
download immediato
€ 14,99
Potrebbero interessarti anche questi prodotti
Domare l'infinito: Storia della matematica dagli inizi alla teoria del caos. E-book. Formato PDF ebook di Ian Stewart
Domare l'infinito: Storia della matematica dagli inizi alla teoria del caos. E-book. Formato PDF
Ian Stewart 
edizioni Bollati Boringhieri
download immediato
€ 5,99
Dare i numeri. La matematica che non vi hanno mai raccontato. E-book. Formato EPUB ebook di Chris Waring
Dare i numeri. La matematica che non vi hanno mai raccontato. E-book. Formato EPUB
Chris Waring 
edizioni De Agostini
download immediato
€ 4,99
Numeri. Raccontare la matematica. E-book. Formato EPUB ebook di Umberto Bottazzini
Numeri. Raccontare la matematica. E-book. Formato EPUB
Umberto Bottazzini 
edizioni Il Mulino collana Intersezioni. Raccontare la matematica;
download immediato
€ 9,99
Matematici da epurare: I matematici italiani tra fascismo e democrazia. E-book. Formato PDF ebook di Angelo Guerraggio
Matematici da epurare: I matematici italiani tra fascismo e democrazia. E-book. Formato PDF
Angelo Guerraggio 
edizioni Egea
download immediato
€ 15,99
La matematica della democrazia: Voti, seggi e parlamenti da Platone ai giorni nostri. E-book. Formato EPUB ebook di George G. Szpiro
La matematica della democrazia: Voti, seggi e parlamenti da Platone ai giorni nostri. E-book. Formato EPUB
George G. Szpiro 
edizioni Bollati Boringhieri
download immediato
€ 12,99