Вміст надано Número Imaginário. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Número Imaginário або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
Player FM - додаток Podcast
Переходьте в офлайн за допомогою програми Player FM !
Переходьте в офлайн за допомогою програми Player FM !
Подкасти, які варто послухати
РЕКЛАМА
“I used to be the largest dairy consumer on the planet. I used to eat so much dairy and meat. The more that I looked into the dairy industry, the more that I saw that it was the singular, most inhumane industry on the planet, that we've all been lied to, including myself, for years. I always believed that the picture on the milk carton, the cow standing next to her calf in the green field with the red barn in the back was true. It’s certainly the complete opposite.” – Richard (Kudo) Couto Richard (Kudo) Couto is the founder of Animal Recovery Mission (ARM), an organization solely dedicated to investigating extreme animal cruelty cases. ARM has led high-risk undercover operations that have resulted in the shutdown of illegal slaughterhouses, animal fighting rings, and horse meat trafficking networks. Recently, they released a damning investigation into two industrial dairy farms outside of Phoenix, Arizona supplying milk to Coca-Cola’s Fairlife brand. What they uncovered was systemic animal abuse, environmental violations, and a devastating betrayal of consumer trust. While Fairlife markets its products as being sourced "humanely," ARM’s footage tells a very different story—one of suffering, abuse, and corporate complicity. Despite the evidence, this story has been largely ignored by mainstream media—likely due to Coca-Cola’s massive influence and advertising dollars.…
Número Imaginário
Відзначити всі (не)відтворені ...
Manage series 119887
Вміст надано Número Imaginário. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Número Imaginário або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
Um podcast dedicado à divulgação de assuntos relacionados ao universo da lógica e da matemática.
…
continue reading
90 епізодів
Відзначити всі (не)відтворені ...
Manage series 119887
Вміст надано Número Imaginário. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Número Imaginário або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
Um podcast dedicado à divulgação de assuntos relacionados ao universo da lógica e da matemática.
…
continue reading
90 епізодів
Усі епізоди
×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
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.
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 os escritos lógicos de Aristóteles reunidos na obra Organon.
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.
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 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 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.
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.…
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 apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.
Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann.
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.
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..
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".
Ласкаво просимо до Player FM!
Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.