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.