Podcast Index
Browse podcasts by category, open recent episodes, and download audio to listen offline.
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
Bird’s Eye View
Mathew G. Radford
The Pilot Life
Aviation
Sunny Banana
Jarvah Biltong
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
Astronomie : Fragments d'Univers
Astronomie : Fragments d'Univers
Dead America - Zombie Audiobook Series
DerekSlatonAuthor
Science Tech Brief By HackerNoon
HackerNoon
Beyond the Void: Philosophy & Psychology for the Modern Mind
btv
State of Mind with Debra Sloss
Debra Sloss
Talk Is Sheep
Kyle Stelter and Greg Rensmaag
The Voice of the Duck Hunter – A Delta Waterfowl Podcast
Delta Waterfowl Foundation
Seafood Matters Podcast
Jim Cowie
Dark Mysteries — Unsolved Mysteries. Forgotten Secrets. Unanswered Questions.
Darkest Mysteries Online
Pop Syllabus
Pop Syllabus with Christiana Mbakwe Medina
Yesterday’s Star Trek
Sol One Arts
Science
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...
Fill in the form below. Make sure to select both Country and Genres.
Send us a message below. We will get back to you within 24 hours.