Sobre o Episódio
Nesse episódio, apresento brevemente a nova série do projeto intitulada "Máquina de Turing, Problema da Parada e Incompletude em Sistemas Formais".
Materiais Complementares
- Visite o nosso canal no Youtube para acompanhar apresentações de acesso livre sobre lógica matemática, teoria de conjuntos e sistemas formais.
Acompanhe o Projeto
Você também pode nos encontrar no iTunes ou assinar nosso feed através de aplicativos gerenciadores de podcast utilizando o endereço http://feeds.feedburner.com/numeroimaginario.