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

Related Episodes

Continue listening to more episodes from Podcast Número Imaginário.

Episódio #037 - Pensamento crítico, lógica e argumentação

Sep 28, 2019 - 00:20:39

Neste episódio falarei um pouco sobre alguns critérios que podemos empregar para avaliarmos se estamos di...

Episódio #036 - A importância da matemática no programa educacional de Platão

Aug 14, 2018 - 00:14:01

Neste episódio falarei um pouco sobre a importância da matemática – segundo a concepção educacional de Pl...

Episódio #035 - A Organização da Lógica Segundo Tomás de Aquino

Jul 22, 2018 - 00:15:10

Neste episódio falarei um pouco sobre a organização da lógica com base nas três operações do intelecto -...

Episódio #034 - Os Escritos Lógicos de Aristóteles

Jun 1, 2018 - 00:21:24

Neste episódio falarei um pouco sobre os escritos lógicos de Aristóteles reunidos na obra Organon.

Episódio #033 - Lógica, Dialética e Retórica

May 15, 2018 - 00:18:42

Neste episódio falarei um pouco sobre a lógica, a dialética e a retórica, que constituem, por assim dizer...

Episódio #032 - Definições

Sep 7, 2017 - 00:20:31

Nesse episódio do podcast falarei um pouco sobre o que é uma definição, trazendo a discussão um pouco mai...

Episódio #031 - Notas Sobre a Tese de Church

Apr 25, 2017 - 00:11:08

Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a i...

Episódio #029 - Matemática Reversa

Dec 16, 2016 - 00:17:12

A matemática geralmente funciona assim: a partir de certos princípios especificados (axiomas), obtém-se c...