Episódio #07 – O Problema do Programa Elegante de Chaitin

23/10/2015 13 min

Ouvir "Episódio #07 – O Problema do Programa Elegante de Chaitin"

Descargar episodio Ver en sitio original

Sinopse 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 Andrey Kolmogorov e Gregory Chaitin. Em particular, falarei sobre o problema do programa elegante de Chaitin, que nos permite concluir a incompletude em sistemas formais.

Mais episódios do podcast Número Imaginário

Episódio #037 - Pensamento crítico, lógica e argumentação 28/09/2019

Episódio #036 - A importância da matemática no programa educacional de Platão 14/08/2018

Episódio #035 - A Organização da Lógica Segundo Tomás de Aquino 22/07/2018

Episódio #034 - Os Escritos Lógicos de Aristóteles 01/06/2018

Episódio #033 - Lógica, Dialética e Retórica 15/05/2018

Episódio #032 - Definições 07/09/2017

Episódio #031 - Notas Sobre a Tese de Church 25/04/2017

Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais 01/03/2017

Episódio #029 - Matemática Reversa 16/12/2016

Episódio #028 - Otimização Matemática 19/11/2016

Ver todos los episodios