Podcast Index
Parcourez les podcasts par catégorie, ouvrez les épisodes récents et téléchargez l’audio pour l’écouter hors ligne.
aboutlogic
Deniz Sarikaya, Thorsten Altenkirch
BioGraphics - True Biographies & History's Most Fascinating People
biog
Spoil Me! Dungeon Crawler Carl
UNspoiled! Network
Sheriff Labrador: Crime Fighters Around the World丨Adventures on Bubble Island
BabyBus
Normal Men
George Pearkes
The Isabel Brown Show
The Daily Wire
A More Civilized Age: A Star Wars Podcast
A More Civilized Age
Війна в Україні
Radio NV
Preaching and Teaching from St. John Ev. Lutheran Church (Sherman Center), Random Lake, Wisconsin
Rev. Christopher Gillespie
The DSR Daily
The DSR Network
Washington Nationals News Today | 2 Min News | The Daily News Now!
The Daily News Now!
Nincha - Podcast d'apprentissage des langues (fr)
Nincha
MassiveBall (Tu Podcast NBA en Español)
MassiveBall
Doctor Ramani’s Podcast
Dr. Ramani
Big Mad Morning Show
97.5 KMOD (KMOD-FM)
WNBA News Today | 2 Min News | The Daily News Now!
The Daily News Now!
The Jim Day Podcast
MLB.com
dc
Salai Dawtcemsang
Locked On Rangers - Daily Podcast On The Texas Rangers
Locked On Podcast Network, Brice Paterik
The Walton & Johnson Show
Kenny Webster
Hartford News Today | 2 Min News | The Daily News Now!
The Daily News Now!
The Dan Bongino Show
Cumulus Podcast Network | Dan Bongino
BWI Live: A Penn State football podcast from Blue White Illustrated
Blue White Illustrated
Amy & T.J.
iHeartPodcasts
News - اخبار
Iran International - ایران اینترنشنال
Matters of Democracy podcast
THOMAS MARINO
Kansas City News Today | 2 Min News | The Daily News Now!
The Daily News Now!
گزارش روز با مجتبا پورمحسن - Daily report with Mojtaba Pourmohsen
Iran International - ایران اینترنشنال
Locked On Bama - Daily Podcast On Alabama Crimson Tide Football & Basketball
Locked On Podcast Network, Jimmy Stein, Luke Robinson
North Carolina Tar Heels Football Today | 2 Min News | The Daily News Now!
The Daily News Now!
The Underclass Podcast
Austin Wade Picard
Mindfully Disruptive
Patricia Rundblade
Portland News Today | 2 Min News | The Daily News Now!
The Daily News Now!
Gabinete de Guerra
Observador
+ NOW السودان
DW
Football Picks
Sports Gambling Podcast Network
Momento da Política - Merval Pereira
CBN
Tout
Deniz Sarikaya, Thorsten Altenkirch
The Harry Potter Approach to Proof Assistants – Lean, Agda & AI 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 e...
The Language of Mathematics: Frames, Narratives & AI 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 a...
Synthetic vs. Analytic Math: Inspired by Emily Riehl This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d l...
Higher Category Theory, Homotopy & AI in Math This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to ...
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 Your support helps us keep these conversations going! If...
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...
Remplissez le formulaire ci-dessous. Veillez à sélectionner à la fois Pays et Genres.
Envoyez-nous un message ci-dessous. Nous vous répondrons dans les 24 heures.