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

Notas 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.