Education

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

Podcast Número Imaginário by Número Imaginário

Mar 1, 201700:08:25Education

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

About This Episode

Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais is an episode from Podcast Número Imaginário by Número Imaginário. Nesse episódio eu apresento brevemente a nova série do nosso projeto intitulada "Máquina de Turing, Probl...

Podcast

This episode belongs to Podcast Número Imaginário.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Mar 1, 2017, 00:08:25 long, audio available.

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

About This Episode

Related Episodes