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. 

Podcast Número Imaginário

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

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

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

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

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

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

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

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

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

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

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

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

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

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"

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"

História, lógica e fundamentos da matemática.

hubhopper

Podcast Número Imaginário

hubhopper