Podcast #30 – Indecidibilidade e Incompletude em Sistemas Formais

01/03/2017

Ouvir "Podcast #30 – Indecidibilidade e Incompletude em Sistemas Formais"

Descargar episodio Ver en sitio original

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

Mais episódios do podcast podcast – Número Imaginário

Podcast #37 – Pensamento Crítico, Lógica e Argumentação 28/09/2019

Podcast #36 – A importância da matemática no programa educacional de Platão 14/08/2018

Podcast #35 – A Organização da Lógica Segundo Tomás de Aquino 22/07/2018

Podcast #34 – Os Escritos Lógicos de Aristóteles (Organon) 01/06/2018

Dicas de Estudo do Professor Pierluigi 28/05/2018

Podcast #33 – Lógica, Dialética e Retórica 15/05/2018

Podcast #32 – Definições 07/09/2017

Podcasts e Videocasts 14/06/2017

Podcast #31 – Notas Sobre a Tese de Church 25/04/2017

Podcast #29 – Matemática Reversa (Reverse Mathematics) 16/12/2016

Ver todos los episodios