Um podcast dedicado à divulgação de assuntos relacionados ao universo da lógica e da matemática.
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #037 - Pensamento crítico, lógica e argumentação
20:39
20:39
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #036 - A importância da matemática no programa educacional de Platão
14:01
14:01
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #035 - A Organização da Lógica Segundo Tomás de Aquino
15:10
15:10
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #034 - Os Escritos Lógicos de Aristóteles
21:24
21:24
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
21:24
Neste episódio falarei um pouco sobre os escritos lógicos de Aristóteles reunidos na obra Organon.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #033 - Lógica, Dialética e Retórica
18:42
18:42
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #031 - Notas Sobre a Tese de Church
11:08
11:08
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #030 - Indecidibilidade e Incompletude em Sistemas Formais
8:25
8:25
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
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 …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #028 - Otimização Matemática
19:22
19:22
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #027 - Algumas Noções de Metamatemática
16:20
16:20
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
16:20
Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #026 - Geometrias Não Euclidianas - Parte 2
24:03
24:03
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
24:03
Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #025 - Geometrias Não Euclidianas - Parte 1
16:50
16:50
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #024 - Frege e a Análise Lógica do Conceito de "Número"
18:32
18:32
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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..Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #023 - Os Segredos Matemáticos de "Os Simpsons"
8:03
8:03
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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".Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #022 - Será que 'N' está contido em 'Z'?
15:35
15:35
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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?Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #021 - David Hilbert e os Fundamentos da Matemática - Parte 2
7:39
7:39
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #020 – David Hilbert e os Fundamentos da Matemática - Parte 1
18:52
18:52
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #019 – Teoria(s) Axiomática(s) de Conjuntos
15:13
15:13
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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).Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #018 – Buscando Inspiração na Natureza
18:26
18:26
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #017 – O Argumento Epistemológico de Benacerraf
16:49
16:49
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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, apresenta…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #016 – "P vs NP" e Criptografia
19:02
19:02
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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”.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #015 – O Problema "P vs NP"
14:54
14:54
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
14:54
Neste episódio, falarei um pouco sobre os principais conceitos teóricos que envolvem o famoso problema "P vs NP".Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído
15:18
15:18
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #013 – Lógicas Não Clássicas
15:31
15:31
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #012 – Verdade, Incompletude e o Paradoxo do Mentiroso
15:48
15:48
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
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 des…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #011 – O Décimo Problema de Hilbert
19:06
19:06
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
19:06
Neste episódio falarei um pouco sobre a história da resolução do 10º problema de Hilbert – o problema das equações diofantinas.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #010 – O Infinito de Georg Cantor – Parte 1: Vejo, Mas Não Acredito!
26:17
26:17
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
26:17
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 m…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #09 – Matemática na Telona (e na Telinha)
16:07
16:07
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
16:07
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).…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #08 – Realismo e Antirrealismo em Filosofia da Matemática
24:34
24:34
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
24:34
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #07 – O Problema do Programa Elegante de Chaitin
13:41
13:41
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
13:41
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 incomp…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #06 – Eu sou um robô! (mas posso estar te enganando)
14:21
14:21
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
14:21
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 …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #05 – Uma Jornada Épica em Busca dos Fundamentos da Matemática
23:50
23:50
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
23:50
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 f…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #04 – Newton da Costa e os Fundamentos da Física
11:43
11:43
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
11:43
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.Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #03 – Os limites teóricos da computação
23:03
23:03
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
23:03
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).Oleh Número Imaginário
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episódio #02 - Zero é um número natural?
10:55
10:55
Putar nanti
Putar nanti
Daftar
Suka
Menyukai
10:55
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?Oleh Número Imaginário
…
continue reading
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.Oleh Número Imaginário
…
continue reading
Este é um podcast-teste, em que estou verificando algumas configurações. Também faço uma apresentação inicial do projeto.Oleh Vinicius
…
continue reading