Podcast #007 – O Problema do Programa Elegante de Chaitin

Notas do episódio

Neste episódio falarei um pouco sobre os conceitos matemáticos de compressibilidade, aleatoriedade e complexidade residentes na teoria da informação algorítmica desenvolvida principalmente pelos matemáticos Andrei Kolmogorov e Gregory Chaitin. Em particular, falarei sobre o problema do programa elegante de Chaitin, que nos permite concluir a incompletude em sistemas formais.