Podcast Número Imaginário
Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 0:08:25
- Mais informações
Informações:
Sinopse
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.
