NO matemática, filosofia, computação, educação, filosofia da matemática, lógica Um podcast dedicado à divulgação de assuntos relacionados ao universo da lógica e da matemática. cultura matemática Vinicius numeroimaginario@hotmail.com pt-br https://numeroimaginario.wordpress.com Um podcast dedicado à divulgação de assuntos relacionados ao universo da lógica e da matemática. Fri, 13 Aug 2015 00:13:00 -3000 Número Imaginário numeroimaginario@hotmail.com https://numeroimaginario.wordpress.com https://archive.org/download/capa-itunes-branco-juba/capa-itunes-branco-juba.jpg Número Imaginário 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. https://numeroimaginario.wordpress.com/2019/09/28/podcast-37-pensamento-critico-logica-e-argumentacao/ Sat, 28 Sep 2019 14:50:00 -0300 00:20:39 lógica, dialética, argumentação, educação 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2018/08/14/podcast-36-a-importancia-da-matematica-no-programa-educacional-de-platao/ Tue, 14 Aug 2018 18:55:00 -0300 00:14:01 lógica, dialética, retórica, platão, matemática, educaçã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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2018/07/22/podcast-35-a-organizacao-da-logica-segundo-tomas-de-aquino/ Sun, 22 Jul 2018 14:10:00 -0300 00:15:10 lógica, dialética, retórica, Aristóteles, organon, tomás de aquino, escolástica 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. 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. Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre os escritos lógicos de Aristóteles reunidos na obra Organon. https://numeroimaginario.wordpress.com/2018/05/31/podcast-34-os-escritos-logicos-de-aristoteles-organon/ Fri, 01 Jun 2018 10:40:00 -0300 00:21:24 lógica, dialética, retórica, Aristóteles, organon Neste episódio falarei um pouco sobre os escritos lógicos de Aristóteles reunidos na obra Organon. Neste episódio falarei um pouco sobre os escritos lógicos de Aristóteles reunidos na obra Organon. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2018/05/15/podcast-33-logica-dialetica-e-retorica/ Tue, 15 May 2018 20:10:00 -0300 00:18:42 lógica, dialética, retórica, Aristóteles, argumentação 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2017/09/07/podcast-32-definicoes/ Thu, 07 Sep 2017 19:30:00 -0300 00:20:31 matemática, lógica, fundamentos da matemática, teoria da definição 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2017/04/25/podcast-31-notas-sobre-a-tese-de-church/ Tue, 25 Apr 2017 09:50:00 -0300 00:11:08 matemática, lógica, fundamentos da matemática, teoria da computabilidade, computação, alan turing, tese de church 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2017/03/01/indecidibilidade-e-incompletude-em-sistemas-formais/ Wed, 01 Mar 2017 09:10:00 -0300 00:08:25 matemática, lógica, fundamentos da matemática, teoria da computabilidade, computação, alan turing 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/12/16/podcast-29-matematica-reversa-reverse-mathematics/ Fri, 16 Dec 2016 14:30:00 -0300 00:17:12 matemática, lógica, fundamentos da matemática, matemática reversa Dado um teorema matemático T, quais os princípios mais básicos a partir dos quais podemos provar T? Falaremos neste episódio sobre a matemática reversa. Dado um teorema matemático T, quais os princípios mais básicos a partir dos quais podemos provar T? Falaremos neste episódio sobre a matemática reversa. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/11/19/podcast-28-otimizacao-matematica/ Sat, 19 Nov 2016 16:25:00 -0300 00:19:22 matemática, lógica, programação linear, otimização 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. 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. Número Imaginário NO no Número Imaginário Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais. https://numeroimaginario.wordpress.com/2016/10/30/podcast-027-algumas-nocoes-de-metamatematica/ Sun, 30 Oct 2016 16:00:00 -0300 00:16:20 matemática, lógica, metamatemática Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais. Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais. Número Imaginário NO no Número Imaginário Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann. https://numeroimaginario.wordpress.com/2016/09/23/podcast-026-geometrias-nao-euclidianas-parte-2/ Fri, 23 Sep 2016 14:40:00 -0300 00:24:03 matemática, lógica, geometria, Euclides, geometrias não euclidianas, filosofia da matemática, gauss, riemann, bolyai, Lobachevsky Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann. Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/09/09/podcast-025-geometrias-nao-euclidianas-parte-1/ Fri, 09 Sep 2016 14:45:00 -0300 00:16:50 matemática, lógica, geometria, Euclides, geometrias não euclidianas, filosofia da matemática 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. 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. Número Imaginário NO no Número Imaginário 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.. https://numeroimaginario.wordpress.com/2016/08/19/podcast-024-frege-e-a-analise-logica-do-conceito-de-numero/ Fri, 19 Aug 2016 21:30:00 -0300 00:18:32 matemática, lógica, Frege, número, logicismo, filosofia da matemática 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. 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. Número Imaginário NO no Número Imaginário 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". https://numeroimaginario.wordpress.com/2016/07/12/podcast-023-os-misterios-matematicos-de-os-simpsons/ Tue, 12 Jul 2016 20:30:00 -0300 00:08:03 os simpsons, matemática, livro, simon singh, futurama 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". 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". Número Imaginário NO no Número Imaginário 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? https://numeroimaginario.wordpress.com/2016/06/29/podcast-022-sera-que-n-naturais-esta-contido-em-z-inteiros/ Wed, 29 Jun 2016 21:05:00 -0300 00:15:35 teoria de conjuntos, matemática 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? 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? Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/06/14/podcast-021-observacoes-sobre-o-episodio-anterior/ Wed, 14 Jun 2016 23:30:00 -0300 00:07:39 david hilbert, fundamentos da matemática, matemática 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/06/10/podcast-020-david-hilbert-fundamentos-matematica/ Fri, 10 Jun 2016 11:42:00 -0300 00:18:52 david hilbert, fundamentos da matemática, matemática, 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. 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. Número Imaginário NO no Número Imaginário 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). https://numeroimaginario.wordpress.com/2016/05/25/podcast-19-teorias-axiomaticas-de-conjuntos/ Wed, 25 May 2016 12:00:00 -0300 00:15:13 teoria de conjuntos, conjuntos, lógica, zermelo, fraenkel, skolem, matemática 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). 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). Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/05/05/podcast-018-buscando-inspiracao-na-natureza/ Thu, 05 May 2016 14:22:00 -0300 00:18:26 computação bioinspirada, redes neurais, colônia de formigas, otimização 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/04/18/podcast-o-argumento-epistemologico-de-benacerraf/ Mon, 18 Apr 2016 12:20:00 -0300 00:16:49 platonismo,filosofia da matemática, benacerraf, gödel, penelope maddy, mark balaguer 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. 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. Número Imaginário NO no Número Imaginário 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”. https://numeroimaginario.wordpress.com/2016/03/18/podcast-episodio-016-p-np-criptografia/ Fri, 18 Mar 2016 13:00:00 -0300 00:19:02 criptografia,computação, complexidade de algoritmos, matemática 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”. 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”. Número Imaginário NO no Número Imaginário Neste episódio, falarei um pouco sobre os principais conceitos teóricos que envolvem o famoso problema "P vs NP". https://numeroimaginario.wordpress.com/2016/03/07/podcast-episodio-015-o-problema-p-vs-np/ Mon, 07 Mar 2016 13:00:00 -0300 00:14:54 computação, complexidade de algoritmos, matemática,Cook Neste episódio, falarei um pouco sobre os principais conceitos teóricos que envolvem o famoso problema "P vs NP". Neste episódio, falarei um pouco sobre os principais conceitos teóricos que envolvem o famoso problema "P vs NP". Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/02/12/episodio-014-logica-intuicionista-e-o-principio-do-terceiro-excluido/ Fri, 12 Feb 2016 13:00:00 -0300 00:15:18 lógica, lógica intuicionista, matemática,intuicionismo, terceiro excluído 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. 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. Número Imaginário NO no Número Imaginário 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. https://numeroimaginario.wordpress.com/2016/01/29/episodio-013-logicas-nao-classicas/ Fri, 29 Jan 2016 13:00:00 -0300 00:15:31 lógica, lógicas não clássicas, matemática 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. 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. Número Imaginário NO no Número Imaginário 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… https://numeroimaginario.wordpress.com/2016/01/15/episodio-012-verdade-incompletude-e-o-paradoxo-do-mentiroso/ Fri, 15 Jan 2016 13:00:00 -0300 00:15:48 Gödel, Tarski, lógica, matemática, paradoxo do mentiroso, paradoxo 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… 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… Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre a história da resolução do 10º problema de Hilbert – o problema das equações diofantinas. https://numeroimaginario.wordpress.com/2016/01/01/episodio-011-o-decimo-problema-de-hilbert/ Fri, 01 Jan 2016 13:00:00 -0300 00:19:06 Hilbert, matemática,equações diofantinas,Davis, Putnam, Julia Robinson Neste episódio falarei um pouco sobre a história da resolução do 10º problema de Hilbert – o problema das equações diofantinas. Neste episódio falarei um pouco sobre a história da resolução do 10º problema de Hilbert – o problema das equações diofantinas. Número Imaginário NO no Número Imaginário Olá. Esta é a primeira parte do episódio “O Infinito de Georg Cantor”. Neste episódio falarei sobre a teoria intuitiva de conjuntos criada pelo matemático Georg Cantor. Em particular, darei ênfase em alguns resultados encontrados sobre conjuntos infinitos que vão contra nossa intuição imediata. O que poderia acontecer de tão surpreendente para um matemático exclamar “Vejo, mas não acredito”? Finalmente, farei ainda uma introdução aos números cardinais infinitos. https://numeroimaginario.wordpress.com/2015/12/04/episodio-010-o-infinito-de-georg-cantor-parte-1-vejo-mas-nao-acredito/ Fri, 04 Dec 2015 13:00:00 -0300 00:26:17 Georg Cantor, infinito, cardinalidade,matemática, teoria de conjuntos Olá. Esta é a primeira parte do episódio “O Infinito de Georg Cantor”. Neste episódio falarei sobre a teoria intuitiva de conjuntos criada pelo matemático Georg Cantor. Em particular, darei ênfase em alguns resultados encontrados sobre conjuntos infinitos que vão contra nossa intuição imediata. O que poderia acontecer de tão surpreendente para um matemático exclamar “Vejo, mas não acredito”? Finalmente, farei ainda uma introdução aos números cardinais infinitos. Olá. Esta é a primeira parte do episódio “O Infinito de Georg Cantor”. Neste episódio falarei sobre a teoria intuitiva de conjuntos criada pelo matemático Georg Cantor. Em particular, darei ênfase em alguns resultados encontrados sobre conjuntos infinitos que vão contra nossa intuição imediata. O que poderia acontecer de tão surpreendente para um matemático exclamar “Vejo, mas não acredito”? Finalmente, farei ainda uma introdução aos números cardinais infinitos. Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre alguns filmes e seriados que fazem referência direta ou indireta à matemática. Observação: Nem todos eles são rigorosos na matemática (afinal, matemáticos também merecem relaxar) ou possuem final feliz (mas um deles sim, afinal, matemáticos também merecem a felicidade). https://numeroimaginario.wordpress.com/2015/11/20/episodio-009-matematica-na-telona-e-na-telinha/ Fri, 20 Nov 2015 13:00:00 -0300 00:16:07 moebius, pi, história da matemática, bbc, numbers Neste episódio falarei um pouco sobre alguns filmes e seriados que fazem referência direta ou indireta à matemática. Observação: Nem todos eles são rigorosos na matemática (afinal, matemáticos também merecem relaxar) ou possuem final feliz (mas um deles sim, afinal, matemáticos também merecem a felicidade). Neste episódio falarei um pouco sobre alguns filmes e seriados que fazem referência direta ou indireta à matemática. Observação: Nem todos eles são rigorosos na matemática (afinal, matemáticos também merecem relaxar) ou possuem final feliz (mas um deles sim, afinal, matemáticos também merecem a felicidade). Número Imaginário NO no Número Imaginário Dando continuidade a nossa viagem épica em busca dos fundamentos da matemática, neste episódio apresentarei a vocês mais algumas ideias filosóficas sobre a matemática que, com certa simplificação, podem ser agrupadas sob dois pontos de vista – o realismo e o antirrealismo em filosofia da matemática. Em particular, tratarei de possíveis respostas do realismo e do antirrealismo para a seguinte questão: os objetos matemáticos, como números, conjuntos e funções, existem de fato ou são meras ficções? https://numeroimaginario.wordpress.com/2015/11/06/episodio-008-realismo-e-antirrealismo-em-filosofia-da-matematica/ Fri, 06 Nov 2015 13:00:00 -0300 00:24:34 realismo, antirrealismo,platonismo,Gödel, field, Quine, Putnam Dando continuidade a nossa viagem épica em busca dos fundamentos da matemática, neste episódio apresentarei a vocês mais algumas ideias filosóficas sobre a matemática que, com certa simplificação, podem ser agrupadas sob dois pontos de vista – o realismo e o antirrealismo em filosofia da matemática. Em particular, tratarei de possíveis respostas do realismo e do antirrealismo para a seguinte questão: os objetos matemáticos, como números, conjuntos e funções, existem de fato ou são meras ficções? Dando continuidade a nossa viagem épica em busca dos fundamentos da matemática, neste episódio apresentarei a vocês mais algumas ideias filosóficas sobre a matemática que, com certa simplificação, podem ser agrupadas sob dois pontos de vista – o realismo e o antirrealismo em filosofia da matemática. Em particular, tratarei de possíveis respostas do realismo e do antirrealismo para a seguinte questão: os objetos matemáticos, como números, conjuntos e funções, existem de fato ou são meras ficções? Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre os conceitos matemáticos de compressibilidade, aleatoriedade e complexidade residentes na teoria da informação algorítmica desenvolvida principalmente pelos matemáticos Andrey Kolmogorov e Gregory Chaitin. Em particular, falarei sobre o problema do programa elegante de Chaitin, que nos permite concluir a incompletude em sistemas formais. https://numeroimaginario.wordpress.com/2015/10/23/episodio-007-o-problema-do-programa-elegante-de-chaitin/ Fri, 23 Oct 2015 13:00:00 -0300 00:13:41 chaitin, Turing, informação Neste episódio falarei um pouco sobre os conceitos matemáticos de compressibilidade, aleatoriedade e complexidade residentes na teoria da informação algorítmica desenvolvida principalmente pelos matemáticos Andrey Kolmogorov e Gregory Chaitin. Em particular, falarei sobre o problema do programa elegante de Chaitin, que nos permite concluir a incompletude em sistemas formais. Neste episódio falarei um pouco sobre os conceitos matemáticos de compressibilidade, aleatoriedade e complexidade residentes na teoria da informação algorítmica desenvolvida principalmente pelos matemáticos Andrey Kolmogorov e Gregory Chaitin. Em particular, falarei sobre o problema do programa elegante de Chaitin, que nos permite concluir a incompletude em sistemas formais. Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre o famoso Jogo da Imitação. Não é sobre o filme homônimo, mas sim sobre o experimento proposto pelo matemático inglês Alan Turing em 1950, hoje mais conhecido por Teste de Turing, no qual ele propõe uma forma de investigarmos a seguinte questão: poderão as máquinas pensar? De forma breve, apresentarei ainda uma das grandes objeções ao Teste de Turing proposta pelo filósofo americano John Searle – o experimento mental conhecido como O Quarto Chinês. https://numeroimaginario.wordpress.com/2015/10/09/episodio-006-eu-sou-um-robo-mas-posso-estar-te-enganando/ Fri, 09 Oct 2015 13:00:00 -0300 00:14:21 Turing, Searle, jogo da imitação, quarto chinês, lógica,filosofia Neste episódio falarei um pouco sobre o famoso Jogo da Imitação. Não é sobre o filme homônimo, mas sim sobre o experimento proposto pelo matemático inglês Alan Turing em 1950, hoje mais conhecido por Teste de Turing, no qual ele propõe uma forma de investigarmos a seguinte questão: poderão as máquinas pensar? De forma breve, apresentarei ainda uma das grandes objeções ao Teste de Turing proposta pelo filósofo americano John Searle – o experimento mental conhecido como O Quarto Chinês. Neste episódio falarei um pouco sobre o famoso Jogo da Imitação. Não é sobre o filme homônimo, mas sim sobre o experimento proposto pelo matemático inglês Alan Turing em 1950, hoje mais conhecido por Teste de Turing, no qual ele propõe uma forma de investigarmos a seguinte questão: poderão as máquinas pensar? De forma breve, apresentarei ainda uma das grandes objeções ao Teste de Turing proposta pelo filósofo americano John Searle – o experimento mental conhecido como O Quarto Chinês. Número Imaginário NO no Número Imaginário Neste episódio iniciaremos uma viagem cujo destino é o entendimento da própria natureza fundamental da matemática – uma busca épica pelos seus fundamentos, onde várias surpresas e reviravoltas nos esperam. Nosso ponto de partida são três linhas de pensamento – o logicismo de Frege e Russel, o intuicionismo de Brouwer e o formalismo de Hilbert. Ao final do episódio, deixarei sugestões de dois livros especiais sobre o assunto. https://numeroimaginario.wordpress.com/2015/09/18/episodio-005-uma-jornada-epica-em-busca-dos-fundamentos-da-matematica/ Fri, 18 Sep 2015 13:00:00 -0300 00:23:50 logicismo, intuicionismo, formalismo, Hilbert, lógica, matemática, Brouwer, Frege,Gödel Neste episódio iniciaremos uma viagem cujo destino é o entendimento da própria natureza fundamental da matemática – uma busca épica pelos seus fundamentos, onde várias surpresas e reviravoltas nos esperam. Nosso ponto de partida são três linhas de pensamento – o logicismo de Frege e Russel, o intuicionismo de Brouwer e o formalismo de Hilbert. Ao final do episódio, deixarei sugestões de dois livros especiais sobre o assunto. Neste episódio iniciaremos uma viagem cujo destino é o entendimento da própria natureza fundamental da matemática – uma busca épica pelos seus fundamentos, onde várias surpresas e reviravoltas nos esperam. Nosso ponto de partida são três linhas de pensamento – o logicismo de Frege e Russel, o intuicionismo de Brouwer e o formalismo de Hilbert. Ao final do episódio, deixarei sugestões de dois livros especiais sobre o assunto. Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre o lógico brasileiro Newton da Costa e seus trabalhos sobre lógica e os fundamentos da física, em particular, sobre a lógica paraconsistente e o conceito de quase-verdade. Deixarei sugestões de vídeos e textos no final deste post. https://numeroimaginario.wordpress.com/2015/09/11/episodio-004-newton-da-costa-e-os-fundamentos-da-fisica/ Fri, 11 Sep 2015 13:00:00 -0300 00:11:43 Newton da Costa, lógica,matemática,computação,física Neste episódio falarei um pouco sobre o lógico brasileiro Newton da Costa e seus trabalhos sobre lógica e os fundamentos da física, em particular, sobre a lógica paraconsistente e o conceito de quase-verdade. Deixarei sugestões de vídeos e textos no final deste post. Neste episódio falarei um pouco sobre o lógico brasileiro Newton da Costa e seus trabalhos sobre lógica e os fundamentos da física, em particular, sobre a lógica paraconsistente e o conceito de quase-verdade. Deixarei sugestões de vídeos e textos no final deste post. Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre os limites teóricos da computação. Mostrarei que existem problemas matemáticos que não podem ser resolvidos computacionalmente. O mais interessante é que este fato é independente da capacidade física – velocidade, memória – de qualquer computador (clássico). https://numeroimaginario.wordpress.com/2015/09/04/episodio-003-os-limites-teoricos-da-computacao/ Fri, 04 Sep 2015 13:00:00 -0300 00:23:03 Turing, lógica,matemática,computação Neste episódio falarei um pouco sobre os limites teóricos da computação. Mostrarei que existem problemas matemáticos que não podem ser resolvidos computacionalmente. O mais interessante é que este fato é independente da capacidade física – velocidade, memória – de qualquer computador (clássico). Neste episódio falarei um pouco sobre os limites teóricos da computação. Mostrarei que existem problemas matemáticos que não podem ser resolvidos computacionalmente. O mais interessante é que este fato é independente da capacidade física – velocidade, memória – de qualquer computador (clássico). Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre os axiomas de Peano (ou Dedekind-Peano) e tentarei responder à seguinte questão: zero é um número natural? https://numeroimaginario.wordpress.com/2015/08/28/episodio-002-zero-e-um-numero-natural/ Fri, 28 Aug 2015 13:00:00 -0300 00:10:55 Dedekind, Peano,lógica,matemática Neste episódio falarei um pouco sobre os axiomas de Peano (ou Dedekind-Peano) e tentarei responder à seguinte questão: zero é um número natural? Neste episódio falarei um pouco sobre os axiomas de Peano (ou Dedekind-Peano) e tentarei responder à seguinte questão: zero é um número natural? Número Imaginário NO no Número Imaginário Neste episódio falarei um pouco sobre o conceito de "axioma" do ponto de vista da teoria de sistemas formais, passando por Euclides, Hilbert e chegando às teorias atuais. https://numeroimaginario.wordpress.com/2015/08/21/episodio-001-axioma/ Fri, 21 Aug 2015 13:00:00 -0300 00:24:37 Axioma, Euclides, Hilbert,matemática,lógica Neste episódio falarei um pouco sobre o conceito de "axioma" do ponto de vista da teoria de sistemas formais, passando por Euclides, Hilbert e chegando às teorias atuais. Neste episódio falarei um pouco sobre o conceito de "axioma" do ponto de vista da teoria de sistemas formais, passando por Euclides, Hilbert e chegando às teorias atuais. Número Imaginário NO no Número Imaginário Este é um podcast-teste, em que estou verificando algumas configurações. Também faço uma apresentação inicial do projeto. https://numeroimaginario.wordpress.com/2015/08/13/teste-podcast/ Fri, 13 Aug 2015 13:00:00 -0300 00:03:23 Teste Este é um podcast-teste, em que estou verificando algumas configurações. Também faço uma apresentação inicial do projeto. Este é um podcast-teste, em que estou verificando algumas configurações. Também faço uma apresentação inicial do projeto. Vinicius NO no