Matematico statunitense (New York 1947). Ha apportato importanti contributi alla teoria algoritmica dell'informazione (AIT), combinando il metodo di C. Shannon (') e la teoria della computabilità di A.M. Turing ('). Autore di molti saggi, i suoi studi hanno portato a dimostrare l'esistenza della casualità anche in aritmetica ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] J., To a mathematical definition of "life", "Association for Computing Machinery SICACT news", 4, 1970, pp. 12-18.
Chaitin 1975: Chaitin, Gregory J., A theory of program size form-ally identical to information theory, "Journal of the Association for ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] non può essere dimostrata. C'è un limite reale al potere della matematica. In particolare, il matematico americano GregoryChaitin ha esplorato le conseguenze di questa linea di pensiero nel contesto di un famoso problema di matematica. Se scriviamo ...
Leggi Tutto