Gregory Chaitin - Teoria algoritmica della complessità

Escono per la prima volta in Italia i testi divulgativi di Gregory J. Chaitin, uno dei padri della rivoluzione informatica.  Leibniz, Goedel e Turing gli ispiratori delle sue idee. Chaitin affronta i concetti della complessità, della casualità, della probabilità in modo quantitativo, partendo dalla descrizione del contenuto d’informazione disponibile (numero di bit). Ne derivano interessanti applicazioni anche nel campo dei programmi informatici ‘auto-delimitanti’.

“Il filo conduttore di tutti questi saggi è dato dalla nozione di complessità, definita in modo assai specifico come la misura dell’informazione contenuta in una proposizione matematica. Chaitin mostra che la stessa matematica ha infinita complessità, ciò che tra le altre cose comporta la sua inesauribilità; presa come oggetto finito, la mente umana è incapace già solo di creare quel Sacro Graal caro ai fisici, una “teoria del tutto” contenente tutte le possibili verità matematiche. Il dato che emerge con la stessa inesauribilità della matematica è la più forte conferma possibile del fatto che la pratica della matematica è più come una scienza fisica, che un semplice esercizio di logica. Le idee che troverete qui, rappresentano il nucleo stesso della filosofia della matematica e meritano la più ampia audience possibile. La ricerca di Greg Chaitin sarà ricordata affianco a quelle di Godel, di Turing, di von Neumann e di altre semidivinità presenti nel Pantheon della matematica, le cui idee hanno cambiato la nostra prospettiva su ciò che è e ciò che non è. I saggi presentati in questo volume rappresentano una essenza distillata di questa ricerca.” (John Casti).

Gregory J. Chaitin

Matematico nato a New York nel 1947 da emigranti argentini.
A partire dalla metà degli anni ‘60, Chaitin ha dato importanti contributi alla teoria algoritmica dell’informazione, che si occupa della complessità dei programmi, integrando la teoria dell’informazione di Shannon con la teoria della computabilità di Turing.

Chaitin è noto sopratuttto per i suoi studi sulla complessità algoritmica e per i teoremi limitativi, tra i quali l’estensione del teorema dell’incompletezza di Gödel all’interno della teoria dell’informazione. I suoi studi nel campo della matematica e della logica sono tenuti in grande considerazione dalla maggioranza dei matematici, anche se non mancano prese di posizione critiche.
Chaitin è autore di numerosi libri, come pure di numerosissimi articoli, alcuni dei quali pubblicati integralmente su Internet.

Nel 1995 gli è stato conferita la laurea honoris causa dall’Università del Maine e nel 2002 ha ricevuto il titolo di professore onorario dall’Università di Buenos Aires (Argentina).
Attualmente Gregory Chaitin è visiting professor presso il dipartimento di Computer Science dell’Università Auckland e presidente onorario della commissione scientifica del Valparaíso Complex System Institute.

Gregory J. Chaitin, Teoria algoritmica della complessità, pp. 108, Giappichelli, 2006.