Podcast #30 – Indecidibilidade e Incompletude em Sistemas Formais

1 de março de 2017·00:00

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

Transcrição

Transcrição indisponível pra este episódio.