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

Share:

Listens: 0

Podcast Número Imaginário

Education


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.