Sinopse do Episódio "Podcast #30 – 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".

Ouvir "Podcast #30 – Indecidibilidade 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
• Podcast #36 – A importância da matemática no programa educacional de Platão
• Podcast #35 – A Organização da Lógica Segundo Tomás de Aquino
• Podcast #34 – Os Escritos Lógicos de Aristóteles (Organon)
• Dicas de Estudo do Professor Pierluigi
• Podcast #33 – Lógica, Dialética e Retórica
• Podcast #32 – Definições
• Podcasts e Videocasts
• Podcast #31 – Notas Sobre a Tese de Church
• Podcast #30 – Indecidibilidade e Incompletude em Sistemas Formais
• Podcast #29 – Matemática Reversa (Reverse Mathematics)
• Podcast #28 – Otimização Matemática
• Podcast #027 – Algumas Noções de Metamatemática
• Podcast #026 – Geometrias Não Euclidianas (Parte 2/2)
• Podcast #025 – Geometrias Não Euclidianas (Parte 1/2)
• Podcast #024 – Frege e a Análise Lógica do Conceito de Número
• Podcast #023 – Os Segredos Matemáticos dos Simpsons
• Podcast #022 – Será que ‘N’ (nat.) está contido em ‘Z’ (int.)?
• Podcast #021 – David Hilbert e os Fundamentos da Matemática (Parte 2/2)
• Podcast #020 – David Hilbert e os Fundamentos da Matemática (Parte 1/2)
• Podcast #019 – Teoria(s) Axiomática(s) de Conjuntos
• Podcast #018 – Buscando Inspiração na Natureza
• Podcast #017 – O Argumento Epistemológico de Benacerraf
• Podcast #016 – “P vs. NP” e Criptografia
• Podcast #015 – O Problema “P vs NP”
• Podcast #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído
• Podcast #013 – Lógicas Não Clássicas
• Podcast #012 – Verdade, Incompletude e o Paradoxo do Mentiroso
• Podcast #011 – Julia Robinson e o Décimo Problema de Hilbert
• Podcast #010 – O Infinito de Georg Cantor: Vejo, Mas Não Acredito!
• Podcast #009 – Matemática na Telona (e na Telinha)
• Podcast #008 – Realismo e Antirrealismo em Filosofia da Matemática
• Podcast #007 – O Problema do Programa Elegante de Chaitin
• Podcast #006 – Eu sou um robô! (mas posso estar te enganando)
• Podcast #005 – Uma Jornada Épica em Busca dos Fundamentos da Matemática
• Podcast #004 – Newton da Costa e os Fundamentos da Física
• Podcast #003 – Os limites teóricos da computação
• Podcast #002 – Zero é um número natural?
• Podcast #001 – Axioma
• Podcast #000 – Teste do podcast