Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais

01/03/2017 8 min

Ouvir "Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais"

Descargar episodio Ver en sitio original

Sinopse do Episódio

Nesse episódio eu apresento brevemente a nova série do nosso projeto intitulada "Máquina de Turing, Problema da Parada e Incompletude em Sistemas Formais". Esta série será desenvolvida especialmente para os atuais e futuros colaboradores do nosso projeto "Número Imaginário" lá no Padrim.

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 #029 - Matemática Reversa 16/12/2016

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

Episódio #027 - Algumas Noções de Metamatemática 30/10/2016

Ver todos los episodios