Podcast Número Imaginário

Follow Podcast Número Imaginário
Share on
Copy link to clipboard

Um podcast dedicado à discussão de assuntos relacionados ao universo matemático.

Vinicius


    • Sep 28, 2019 LATEST EPISODE
    • infrequent NEW EPISODES
    • 16m AVG DURATION
    • 76 EPISODES


    Search for episodes from Podcast Número Imaginário with a specific topic:

    Latest episodes from Podcast Número Imaginário

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

    Play Episode Listen Later Sep 28, 2019 20:39


    Neste episódio falarei um pouco sobre alguns critérios que podemos empregar para avaliarmos se estamos diante de um bom ou um mau argumento.

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

    Play Episode Listen Later Sep 28, 2019 20:39


    Neste episódio falarei um pouco sobre alguns critérios que podemos empregar para avaliarmos se estamos diante de um bom ou um mau argumento.

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

    Play Episode Listen Later Aug 14, 2018 14:01


    Neste episódio falarei um pouco sobre a importância da matemática – segundo a concepção educacional de Platão – para a formação de futuros filósofos.

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

    Play Episode Listen Later Aug 14, 2018 14:01


    Neste episódio falarei um pouco sobre a importância da matemática – segundo a concepção educacional de Platão – para a formação de futuros filósofos.

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

    Play Episode Listen Later Jul 22, 2018 15:10


    Neste episódio falarei um pouco sobre a organização da lógica com base nas três operações do intelecto - a simples apreensão, o juízo e o raciocínio - conforme assim a apresentou o monge dominicano Tomás de Aquino.

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

    Play Episode Listen Later Jul 22, 2018 15:10


    Neste episódio falarei um pouco sobre a organização da lógica com base nas três operações do intelecto - a simples apreensão, o juízo e o raciocínio - conforme assim a apresentou o monge dominicano Tomás de Aquino.

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

    Play Episode Listen Later Jun 1, 2018 21:24


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

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

    Play Episode Listen Later Jun 1, 2018 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

    Play Episode Listen Later May 15, 2018 18:42


    Neste episódio falarei um pouco sobre a lógica, a dialética e a retórica, que constituem, por assim dizer, as três principais vias do discurso argumentativo.

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

    Play Episode Listen Later May 15, 2018 18:42


    Neste episódio falarei um pouco sobre a lógica, a dialética e a retórica, que constituem, por assim dizer, as três principais vias do discurso argumentativo.

    Episódio #032 - Definições

    Play Episode Listen Later Sep 7, 2017 20:31


    Nesse episódio do podcast falarei um pouco sobre o que é uma definição, trazendo a discussão um pouco mais para o campo da lógica matemática e dando ênfase nas definições formais – que são definições que ocorrem no escopo de uma linguagem formal.

    Episódio #032 - Definições

    Play Episode Listen Later Sep 7, 2017 20:31


    Nesse episódio do podcast falarei um pouco sobre o que é uma definição, trazendo a discussão um pouco mais para o campo da lógica matemática e dando ênfase nas definições formais – que são definições que ocorrem no escopo de uma linguagem formal.

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

    Play Episode Listen Later Apr 25, 2017 11:08


    Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo lâmbda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.

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

    Play Episode Listen Later Apr 25, 2017 11:08


    Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo lâmbda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.

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

    Play Episode Listen Later Mar 1, 2017 8:25


    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.

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

    Play Episode Listen Later Mar 1, 2017 8:25


    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.

    Episódio #029 - Matemática Reversa

    Play Episode Listen Later Dec 16, 2016 17:12


    A matemática geralmente funciona assim: a partir de certos princípios especificados (axiomas), obtém-se consequências necessárias desses princípios por meio do raciocínio lógico – os chamados teoremas. Uma área da matemática busca o caminho inverso fazendo a seguinte pergunta: dado um teorema matemático T, quais os princípios mais básicos a partir dos quais podemos provar T? É sobre essa área dos fundamentos da matemática chamada de matemática reversa que falaremos neste episódio.

    Episódio #029 - Matemática Reversa

    Play Episode Listen Later Dec 16, 2016 17:12


    A matemática geralmente funciona assim: a partir de certos princípios especificados (axiomas), obtém-se consequências necessárias desses princípios por meio do raciocínio lógico – os chamados teoremas. Uma área da matemática busca o caminho inverso fazendo a seguinte pergunta: dado um teorema matemático T, quais os princípios mais básicos a partir dos quais podemos provar T? É sobre essa área dos fundamentos da matemática chamada de matemática reversa que falaremos neste episódio.

    Episódio #028 - Otimização Matemática

    Play Episode Listen Later Nov 19, 2016 19:22


    Neste episódio falarei um pouco sobre a otimização matemática, área da matemática aplicada e computacional que tem como objetivo a busca de mínimos e máximos de funções e que possui importantes aplicações nos mais diversos setores da sociedade.

    Episódio #028 - Otimização Matemática

    Play Episode Listen Later Nov 19, 2016 19:22


    Neste episódio falarei um pouco sobre a otimização matemática, área da matemática aplicada e computacional que tem como objetivo a busca de mínimos e máximos de funções e que possui importantes aplicações nos mais diversos setores da sociedade.

    Episódio #027 - Algumas Noções de Metamatemática

    Play Episode Listen Later Oct 30, 2016 16:20


    Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.

    Episódio #027 - Algumas Noções de Metamatemática

    Play Episode Listen Later Oct 30, 2016 16:20


    Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.

    Episódio #026 - Geometrias Não Euclidianas - Parte 2

    Play Episode Listen Later Sep 23, 2016 24:03


    Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann.

    Episódio #026 - Geometrias Não Euclidianas - Parte 2

    Play Episode Listen Later Sep 23, 2016 24:03


    Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann.

    Episódio #025 - Geometrias Não Euclidianas - Parte 1

    Play Episode Listen Later Sep 9, 2016 16:50


    Neste episódio, começarei a falar um pouco sobre as geometrias não euclidianas, partindo de 300 A.C. com Euclides e indo até o início do século XIX, mostrando as principais ideias que mais tarde darão origem a essas novas geometrias.

    Episódio #025 - Geometrias Não Euclidianas - Parte 1

    Play Episode Listen Later Sep 9, 2016 16:50


    Neste episódio, começarei a falar um pouco sobre as geometrias não euclidianas, partindo de 300 A.C. com Euclides e indo até o início do século XIX, mostrando as principais ideias que mais tarde darão origem a essas novas geometrias.

    Episódio #024 - Frege e a Análise Lógica do Conceito de "Número"

    Play Episode Listen Later Aug 20, 2016 18:32


    O que é um número? Neste episódio falarei um pouco sobre a construção lógica do conceito de número realizada pelo matemático, lógico e filósofo Gottlob Frege..

    Episódio #024 - Frege e a Análise Lógica do Conceito de "Número"

    Play Episode Listen Later Aug 19, 2016 18:32


    O que é um número? Neste episódio falarei um pouco sobre a construção lógica do conceito de número realizada pelo matemático, lógico e filósofo Gottlob Frege..

    Episódio #023 - Os Segredos Matemáticos de "Os Simpsons"

    Play Episode Listen Later Jul 12, 2016 8:03


    Neste episódio indicarei um livro que reúne e explica vários conceitos matemáticos que aparecem nas séries de TV "Os Simpsons" e "Futurama".

    Episódio #023 - Os Segredos Matemáticos de "Os Simpsons"

    Play Episode Listen Later Jul 12, 2016 8:03


    Neste episódio indicarei um livro que reúne e explica vários conceitos matemáticos que aparecem nas séries de TV "Os Simpsons" e "Futurama".

    Episódio #022 - Será que 'N' está contido em 'Z'?

    Play Episode Listen Later Jun 30, 2016 15:35


    Neste episódio tentarei responder às seguintes questões: será que o conjunto dos números naturais 'N' está de fato contido no conjunto dos números inteiros 'Z'? É possível que de alguma forma não esteja? O que são números naturais e números inteiros do ponto de vista da teoria formal de conjuntos?

    Episódio #022 - Será que 'N' está contido em 'Z'?

    Play Episode Listen Later Jun 29, 2016 15:35


    Neste episódio tentarei responder às seguintes questões: será que o conjunto dos números naturais 'N' está de fato contido no conjunto dos números inteiros 'Z'? É possível que de alguma forma não esteja? O que são números naturais e números inteiros do ponto de vista da teoria formal de conjuntos?

    Episódio #021 - David Hilbert e os Fundamentos da Matemática - Parte 2

    Play Episode Listen Later Jun 16, 2016 7:39


    Neste episódio farei uma breve observação sobre o episódio #021 do podcast, intitulado "David Hilbert e os Fundamentos da Matemática", explicando em que sentido o programa de Hilbert pretendia salvar, por assim dizer, a matemática clássica.

    Episódio #021 - David Hilbert e os Fundamentos da Matemática - Parte 2

    Play Episode Listen Later Jun 15, 2016 7:39


    Neste episódio farei uma breve observação sobre o episódio #021 do podcast, intitulado "David Hilbert e os Fundamentos da Matemática", explicando em que sentido o programa de Hilbert pretendia salvar, por assim dizer, a matemática clássica.

    Episódio #020 – David Hilbert e os Fundamentos da Matemática - Parte 1

    Play Episode Listen Later Jun 10, 2016 18:52


    Neste episódio falarei um pouco sobre o programa de Hilbert - um conjunto de ideias fundamentais, digamos assim, para se justificar a matemática clássica por meio de um tipo de raciocínio denominado finitário, proposto pelo matemático alemão David Hilbert.

    Episódio #020 – David Hilbert e os Fundamentos da Matemática - Parte 1

    Play Episode Listen Later Jun 10, 2016 18:52


    Neste episódio falarei um pouco sobre o programa de Hilbert - um conjunto de ideias fundamentais, digamos assim, para se justificar a matemática clássica por meio de um tipo de raciocínio denominado finitário, proposto pelo matemático alemão David Hilbert.

    Episódio #019 – Teoria(s) Axiomática(s) de Conjuntos

    Play Episode Listen Later May 25, 2016 15:13


    Neste episódio falarei um pouco sobre algumas teorias de conjuntos e como essas teorias possuem diferentes conceitos e permitem concluir resultados muitas vezes conflitantes entre si (embora corretos dentro de seus próprios escopos).

    Episódio #019 – Teoria(s) Axiomática(s) de Conjuntos

    Play Episode Listen Later May 25, 2016 15:13


    Neste episódio falarei um pouco sobre algumas teorias de conjuntos e como essas teorias possuem diferentes conceitos e permitem concluir resultados muitas vezes conflitantes entre si (embora corretos dentro de seus próprios escopos).

    Episódio #018 – Buscando Inspiração na Natureza

    Play Episode Listen Later May 5, 2016 18:26


    Neste episódio, falarei um pouco sobre computação bioinspirada e mostrarei como cientistas da computação e matemáticos podem utilizar fenômenos, comportamentos e características biológicas de animais (inclusive do próprio ser humano) como fonte de inspiração para resolver problemas complexos.

    Episódio #018 – Buscando Inspiração na Natureza

    Play Episode Listen Later May 5, 2016 18:26


    Neste episódio, falarei um pouco sobre computação bioinspirada e mostrarei como cientistas da computação e matemáticos podem utilizar fenômenos, comportamentos e características biológicas de animais (inclusive do próprio ser humano) como fonte de inspiração para resolver problemas complexos.

    Episódio #017 – O Argumento Epistemológico de Benacerraf

    Play Episode Listen Later Apr 18, 2016 16:49


    Hoje falarei um pouco sobre o argumento epistemológico de Benacerraf. Supondo que o conhecimento se dá de maneira causal entre um agente o o objeto do conhecimento, como é possível que nós, seres humanos, possamos ter algum conhecimento de entidades matemáticas sendo elas objetos abstratos (segundo o platonismo matemático)? Em particular, apresentarei a resposta dada pelo platonismo pleno, de Mark Balaguer.

    Episódio #017 – O Argumento Epistemológico de Benacerraf

    Play Episode Listen Later Apr 18, 2016 16:49


    Hoje falarei um pouco sobre o argumento epistemológico de Benacerraf. Supondo que o conhecimento se dá de maneira causal entre um agente o o objeto do conhecimento, como é possível que nós, seres humanos, possamos ter algum conhecimento de entidades matemáticas sendo elas objetos abstratos (segundo o platonismo matemático)? Em particular, apresentarei a resposta dada pelo platonismo pleno, de Mark Balaguer.

    Episódio #016 – "P vs NP" e Criptografia

    Play Episode Listen Later Mar 18, 2016 19:02


    Neste episódio falarei um pouco sobre o método de criptografia de chave pública, inventado por Diffie e Hellman em 1976 (vencedores do prêmio Turing 2015 por essa contribuição), sobre o algoritmo RSA e a relação desses métodos com o problema “P vs. NP”.

    Episódio #016 – "P vs NP" e Criptografia

    Play Episode Listen Later Mar 18, 2016 19:02


    Neste episódio falarei um pouco sobre o método de criptografia de chave pública, inventado por Diffie e Hellman em 1976 (vencedores do prêmio Turing 2015 por essa contribuição), sobre o algoritmo RSA e a relação desses métodos com o problema “P vs. NP”.

    Episódio #015 – O Problema "P vs NP"

    Play Episode Listen Later Mar 7, 2016 14:54


    Neste episódio, falarei um pouco sobre os principais conceitos teóricos que envolvem o famoso problema "P vs NP".

    Episódio #015 – O Problema "P vs NP"

    Play Episode Listen Later Mar 7, 2016 14:54


    Neste episódio, falarei um pouco sobre os principais conceitos teóricos que envolvem o famoso problema "P vs NP".

    Episódio #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído

    Play Episode Listen Later Feb 12, 2016 15:18


    Olá a todos. Neste episódio farei uma breve introdução às principais ideias construtivistas em matemática. Darei destaque, em particular, à lógica intuicionista e sua relação com o princípio lógico do terceiro excluído.

    Episódio #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído

    Play Episode Listen Later Feb 12, 2016 15:18


    Olá a todos. Neste episódio farei uma breve introdução às principais ideias construtivistas em matemática. Darei destaque, em particular, à lógica intuicionista e sua relação com o princípio lógico do terceiro excluído.

    Episódio #013 – Lógicas Não Clássicas

    Play Episode Listen Later Jan 29, 2016 15:31


    Neste episódio falarei um pouco sobre as chamadas lógicas não clássicas, que podem ser lógicas complementares ou lógicas alternativas àquela lógica que entendemos por clássica.

    Episódio #013 – Lógicas Não Clássicas

    Play Episode Listen Later Jan 29, 2016 15:31


    Neste episódio falarei um pouco sobre as chamadas lógicas não clássicas, que podem ser lógicas complementares ou lógicas alternativas àquela lógica que entendemos por clássica.

    Episódio #012 – Verdade, Incompletude e o Paradoxo do Mentiroso

    Play Episode Listen Later Jan 15, 2016 15:48


    Neste episódio falarei um pouco sobre o famoso paradoxo do mentiroso e sua relação com os fundamentos da matemática. Mais precisamente, falarei de sua influência direta (ou indireta) em dois resultados de grande importância para a lógica – o teorema da indefinibilidade da verdade de Tarski e o teorema da incompletude de Gödel. Ouça o episódio e descubra se tudo o que eu disse é verdade ou se trata de uma grande mentira…

    Claim Podcast Número Imaginário

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel