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

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.

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

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

• Episódio #037 - Pensamento crítico, lógica e argumentação
• Episódio #036 - A importância da matemática no programa educacional de Platão
• Episódio #035 - A Organização da Lógica Segundo Tomás de Aquino
• Episódio #034 - Os Escritos Lógicos de Aristóteles
• Episódio #033 - Lógica, Dialética e Retórica
• Episódio #032 - Definições
• Episódio #031 - Notas Sobre a Tese de Church
• Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais
• Episódio #029 - Matemática Reversa
• Episódio #028 - Otimização Matemática
• Episódio #027 - Algumas Noções de Metamatemática
• Episódio #026 - Geometrias Não Euclidianas - Parte 2
• Episódio #025 - Geometrias Não Euclidianas - Parte 1
• Episódio #024 - Frege e a Análise Lógica do Conceito de "Número"
• Episódio #023 - Os Segredos Matemáticos de "Os Simpsons"
• Episódio #022 - Será que 'N' está contido em 'Z'?
• Episódio #021 - David Hilbert e os Fundamentos da Matemática - Parte 2
• Episódio #020 – David Hilbert e os Fundamentos da Matemática - Parte 1
• Episódio #019 – Teoria(s) Axiomática(s) de Conjuntos
• Episódio #018 – Buscando Inspiração na Natureza
• Episódio #017 – O Argumento Epistemológico de Benacerraf
• Episódio #016 – "P vs NP" e Criptografia
• Episódio #015 – O Problema "P vs NP"
• Episódio #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído
• Episódio #013 – Lógicas Não Clássicas
• Episódio #012 – Verdade, Incompletude e o Paradoxo do Mentiroso
• Episódio #011 – O Décimo Problema de Hilbert
• Episódio #010 – O Infinito de Georg Cantor – Parte 1: Vejo, Mas Não Acredito!
• Episódio #09 – Matemática na Telona (e na Telinha)
• Episódio #08 – Realismo e Antirrealismo em Filosofia da Matemática
• Episódio #07 – O Problema do Programa Elegante de Chaitin
• Episódio #06 – Eu sou um robô! (mas posso estar te enganando)
• Episódio #05 – Uma Jornada Épica em Busca dos Fundamentos da Matemática
• Episódio #04 – Newton da Costa e os Fundamentos da Física
• Episódio #03 – Os limites teóricos da computação
• Episódio #02 - Zero é um número natural?
• Episódio #01 - Axioma
• Episódio #00 - Teste do Podcast