Gregory Chaitin: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
→Bibliografia: retirando dead link |
|||
Linha 4:
A partir de 2009, Chaitin trabalhou em metabiologia, um campo paralelo da biologia que lida com a [[teoria da evolução]] dos softwares artificiais ([[programa de computador]]) ao contrário de software natural ([[DNA]]).
A partir dos anos 1960, Chaitin fez contribuições para a teoria da informação algorítmica e metamatemática, em particular
Chaitin definiu a constante Chaitin Ω, um [[número real]] cujo dígitos são equidistribuídos, e que é por vezes informalmente descrito como uma expressão da probabilidade de que um programa aleatório será interrompido. Ω tem a propriedade matemática que é decidível mas não computável.
|