Podcast Index
Explora podcasts por categoría, abre episodios recientes y descarga audio para escucharlo sin conexión.
The Universe Within Podcast
Jason Grechanik
Hugos There Podcast
Hugos There Podcast
TED-Ed
TED-Ed
A Cut Above: Horror Review
A Cut Above: Horror Review
天方烨谈
基因频道
My Weird Prompts
Daniel Rosehill
Krigskunst Podcast
Krigskunst Podcast
Zero Knowledge
Zero Knowledge Podcast
Talking Apes
GLOBIO
Surfactant Insights Podcast
TKS Publisher
The Stack
Comic Book Club
The Good Trouble Show | Unidentified Flying Objects & UFO Disclosure
Matt Ford | Investigative Journalist on UFOs & Alien Encounters
Hoaxilla - Der skeptische Podcast
Alexa & Alexander
Dva i po psihijatra
PodMedia
Truth Be Told
Dave Thompson
Met Nerds om Tafel - een podcast over technologie, wetenschap en popcultuur
Met Nerds om Tafel
Don't Be Caught Dead
Catherine Ashton
Earth Ancients
Cliff Dunning
PBS Space Time
PBS
Agriculture Today
Kansas State University
ArchaeoEd Podcast
Dr. Ed Barnhart
Evidence 4 Faith
Michael Lane
Τα podcasts του Newshub.gr
newshub.gr
aboutlogic
Deniz Sarikaya, Thorsten Altenkirch
Thrilling Threads - Conspiracy Theories, Strange Phenomena, True Crime, Unsolved Mysteries, etc!
Byte & Pieces
Logically Answered
Logically Answered
Stories of the Supernatural
M.P. Pellicer
The Intergalactic Space Travellers Journal
TTG Music Lab
wifiCFI
wifiCFI
Adeptus Ridiculous
Adeptus Ridiculous
Outrage Overload: Rethinking politics, division, and media
David Beckemeyer
Accès au Marché Mondial des Dispositifs Médicaux
Pure Global
Глобальный доступ на рынок медицинских изделий
Pure Global
चिकित्सा उपकरण वैश्विक बाजार पहुंच
Pure Global
Tıbbi Cihazlar Küresel Pazar Erişimi
Pure Global
Akses Pasar Global Alat Kesehatan
Pure Global
Ciencia
Deniz Sarikaya, Thorsten Altenkirch
Higher Category Theory, Homotopy & AI in Math 00:50 Introduction to Higher Category Theory 02:37 Understanding Homotopy Theory 09:44 Exploring Category Theory Basics 15:52 Limitations and Complexities in Category Theory ...
Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic Further Reading & Resources: Get the HoTT Book for free (...
Dana Scott: Turing Award Winner on Logic & Computation Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Get the HoTT Bo...
Storytelling in Math - A Constructivist Perspective and Captain Ahab's Dilemma Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/ab...
Set Theory, Pluralism & the Multiverse View Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Further Reading & Resource...
Quantum (Physics, Computing), Topos & Homotopy Theory Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic This episode is ...
Feedback, Highlights & Season 2 Preview Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Listen to the podcast on the g...
ABC Conjecture, Epistemic & Linguistic Justice in non-Western maths Further Reading & Resources: Jordi Fairhurst: https://jordifairhurst.weebly.com/ Seunghyun Song: https://www.tilburguniversity.edu/staff/s-song_1 Get th...
5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction Watch this Episode on Youtube: https://youtu.be/sbQi6HjyBHM Further Reading & Resources: Andrej Bauer: https://www.andrej.com/ Get the HoTT Book for fre...
Talking with Set Theorists: Insights in Mathematical Philosophy Watch the Episode on Youtube: https://youtu.be/81CRjASvIng Further Reading & Resources: Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikay...
Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https://xenaproject.wordpre...
Philosophy & Sociology of Mathematics, Epistemic Injustice Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~p...
Homotopy Type Theory, Logic & Philosophy "I am convinced that my Begriffsschrift will find successful application wherever particular value is placed on the rigor of proofs, as in the foundations of the differential and ...
Working with Contradictions — Graham Priest Contradictory Logics and More Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https://xenaproject...
Theorem proving software in education, constructive mathematics, type theory and many more. Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenk...
Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics. Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https:/...
Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org...
From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher. Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://ho...
Completa el formulario de abajo. Asegúrate de seleccionar tanto País como Géneros.
Envíanos un mensaje abajo. Te responderemos en un plazo de 24 horas.